7557 search results - page 19 / 1512 » Modeling Timed Concurrent Systems |
132
click to vote
CODES
2008
IEEE
15 years 7 months ago
2008
IEEE
Software-controlled scratchpad memory is increasingly employed in embedded systems as it offers better timing predictability compared to caches. Previous scratchpad allocation alg...
PADS
2005
ACM
15 years 6 months ago
2005
ACM
Parallel and distributed simulations enable the analysis of complex systems by concurrently exploiting the aggregate computation power and memory of clusters of execution units. I...
116
click to vote
TCS
2008
15 years 1 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
143
click to vote
ICEIS
2003
IEEE
15 years 6 months ago
2003
IEEE
: In order to meet their temporal constraints, current applications such as Web-based services and electronic commerce use the technique of data replication. To take the replicatio...
127
click to vote
LICS
1994
IEEE
15 years 5 months ago
1994
IEEE
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...