433 search results - page 67 / 87 » Contracts: From Analysis to C Implementation |
146
click to vote
ENVSOFT
2007
15 years 5 months ago
2007
: Integrated environmental resources management is a purposeful activity with the goal to maintain and improve the state of an environmental resource affected by human activities. ...
148
Voted
SOSP
2003
ACM
16 years 2 months ago
2003
ACM
This paper presents Capriccio, a scalable thread package for use with high-concurrency servers. While recent work has advocated event-based systems, we believe that threadbased sy...
162
click to vote
SPAA
2004
ACM
15 years 11 months ago
2004
ACM
This paper introduces a new adaptive method, Channel Queue Routing (CQR), for load-balanced routing on k-ary n-cube interconnection networks. CQR estimates global congestion in th...
163
click to vote
LCTRTS
2009
Springer
16 years 16 days ago
2009
Springer
Most programming languages support a call stack in the programming model and also in the runtime system. We show that for applications targeting low-power embedded microcontroller...
181
click to vote
CASES
2006
ACM
15 years 9 months ago
2006
ACM
Device scaling trends dramatically increase the susceptibility of microprocessors to soft errors. Further, mounting demand for embedded microprocessors in a wide array of safety c...