Search Constraints
Filtering by:
Collection
Default Admin Set
Remove constraint Collection: Default Admin Set
Collection
Scholars Archive
Remove constraint Collection: Scholars Archive
Resource type
article
Remove constraint Resource type: article
Search Results
-
Traits : the Formal Model
-
Traits : composable units of behavior
-
Fault detection for salinity sensors in the Columbia Estuary
-
A practical method for realizing semantics-based concurrency control
-
Sparse data-flow analysis for DAG parallel programs
-
A reference chain approach for live variables
-
Termination issues in automated syntheses
-
ASTRE : towards a fully automated program transformation System
-
cse-94-026
-
Defunctionalization of typed programs