52 search results - page 4 / 11 » A Component-Oriented Model for the Design of Safe Multi-thre... |
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...
CODES
2006
IEEE
13 years 9 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
— We describe the design and implementation of MOCCA, a distributed CCA framework implemented using the H2O metacomputing system. Motivated by the quest for appropriate metasyste...
WSC
1997
13 years 9 months ago
1997
A simulation model was developed to predict with a certain degree of probability the optimal escape routs from the coastal areas of the Rio Grand Valley. Along with that, the mode...