7557 search results - page 530 / 1512 » Modeling Timed Concurrent Systems |
210
click to vote
NPIV
1999
ACM
15 years 11 months ago
1999
ACM
We built a tool to visualize and explore program execution traces. Our goal was to help programmers without any prior knowledge of a program, quickly get enough knowledge about it...
198
click to vote
ANSS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present, in this paper, an algorithm which integrates flow control and dynamic load balancing in Time Warp. The algorithm is intended for use in a distributed memory environme...
187
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: The fundamental role that intrinsic stochasticity plays in cellular functions has been shown via numerous computational and experimental studies. In the face of such e...
174
click to vote
EOR
2010
15 years 7 months ago
2010
Resources including various assets of supply chains, face random demand over time and can be shared by others. We consider an operational setting where a resource is shared by two...
181
click to vote
ICS
2009
Tsinghua U.
15 years 4 months ago
2009
Tsinghua U.
In the search for high performance, most transactional memory (TM) systems execute atomic blocks concurrently and must thus be prepared for data conflicts. The TM system must then...