1522 search results - page 47 / 305 » Control-Driven Tasks: Modeling and Analysis |
133
Voted
SERP
2004
15 years 4 months ago
2004
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
159
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
We investigate the average-case speed and scalability of parallel algorithms executing on multiprocessors. Our performance metrics are average-speed and isospeed scalability. By m...
127
click to vote
RTCSA
2006
IEEE
15 years 9 months ago
2006
IEEE
From a real-time perspective, the Garbage Collector (GC) introduces unpredictable pauses that are not tolerated by real-time tasks. Real-time collectors eliminate this problem but...
130
click to vote
GI
2001
Springer
15 years 8 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
137
Voted
SCFBM
2008
15 years 2 months ago
2008
Background: The construction of complex spatial simulation models such as those used in network epidemiology, is a daunting task due to the large amount of data involved in their ...