1015 search results - page 137 / 203 » Syntactic Control of Concurrency |
METRICS
2002
IEEE
15 years 2 months ago
2002
IEEE
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...
MICRO
2000
IEEE
15 years 2 months ago
2000
IEEE
A slipstream processor reduces the length of a running program by dynamically skipping computation non-essential for correct forward progress. The shortened program runs faster as...
WISE
2000
Springer
15 years 2 months ago
2000
Springer
In this paper, we present a web-based architecture of a spatiotemporal video data management system, which can accommodate a wide range of activities by various types of users. Be...
ASM
2000
ASM
15 years 2 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
COMPUTE
2010
ACM
15 years 2 months ago
2010
ACM
In the literature, speculation-based protocols have been proposed to improve the performance of read-only transactions (ROTs) over the existing two-phase locking (2PL) and snapsho...