4311 search results - page 717 / 863 » Code Generation for Distributed Systems |
152
click to vote
ISSTA
2009
ACM
16 years 27 days ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
159
click to vote
CCGRID
2008
IEEE
16 years 26 days ago
2008
IEEE
Understanding the potential and implications of asymmetric multi-core processors for cluster computing is necessary, as these processors are rapidly becoming mainstream components...
164
click to vote
SRDS
2008
IEEE
16 years 23 days ago
2008
IEEE
In many reliable Wireless Sensor Network (WSN) applications, messages have different priorities depending on urgency or importance. For example, a message reporting the failure of...
187
click to vote
ASIAMS
2007
IEEE
16 years 22 days ago
2007
IEEE
Composability, the capability to select and assemble offthe-shelf model components in various combinations to satisfy user requirements, is an appealing approach in reducing the t...
159
click to vote
ICPADS
2007
IEEE
16 years 21 days ago
2007
IEEE
The Katsevich image reconstruction algorithm is the first theoretically exact cone beam image reconstruction algorithm for a helical scanning path in computed tomography (CT). Ho...