1366 search results - page 176 / 274 » Modularizing Contexted Constraints |
145
click to vote
OSDI
2000
ACM
15 years 4 months ago
2000
ACM
Knit is a new component definition and linking language for systems code. Knit helps make C code more understandable and reusable by third parties, helps eliminate much of the per...
145
click to vote
OSDI
1996
ACM
15 years 4 months ago
1996
ACM
Traditional processor scheduling mechanisms in operating systems are fairly rigid, often supportingonly one fixed scheduling policy, or, at most, a few "scheduling classes&qu...
181
click to vote
BMCBI
2010
14 years 10 months ago
2010
Background: Digital atlases provide a common semantic and spatial coordinate system that can be leveraged to compare, contrast, and correlate data from disparate sources. As the q...
151
click to vote
EJWCN
2010
14 years 10 months ago
2010
Flexbility and deployment simplicity are among the numerous advantages of wireless links when compared to standard wired communications. However, challenges do remain high for wire...
144
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...