640 search results - page 65 / 128 » Knowledge-Based Automation of a Design Method for Concurrent... |
147
click to vote
DC
2010
15 years 3 months ago
2010
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...
121
Voted
VR
2003
IEEE
15 years 8 months ago
2003
IEEE
We designed, developed, deployed, and evaluated the Collaborative nanoManipulator (CnM), a distributed, collaborative virtual environment system supporting remote scientific colla...
144
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...
128
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
It has been widely recognized that the dynamic range information of an application can be exploited to reduce the datapath bitwidth of either processors or ASICs, and therefore th...
121
Voted
DSVIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...