1471 search results - page 188 / 295 » Composing concurrency control |
HPDC
2002
IEEE
15 years 2 months ago
2002
IEEE
Increasing complexity of distributed applications and commodity of resources through grids are making the tasks of deploying those applications harder. There is a clear need for s...
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...