6808 search results - page 473 / 1362 » Distributed Concurrency Control |
187
click to vote
LPAR
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
135
click to vote
VLDB
2005
ACM
16 years 13 days ago
2005
ACM
In a recent paper [8], it was shown how tests for database application systems can be executed efficiently. The challenge was to control the state of the database during testing ...
157
click to vote
ITC
2003
IEEE
16 years 7 days ago
2003
IEEE
Composite microsystems that integrate mechanical and fluidic components are fast emerging as the next generation of system-on-chip designs. As these systems become widespread in s...
154
click to vote
ITC
2003
IEEE
16 years 7 days ago
2003
IEEE
Motivated by the increasing area and performance overhead caused by wrapping the embedded cores for modular SOC testing, this paper proposes a solution for reducing the number of ...
152
click to vote
MICRO
2000
IEEE
15 years 11 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...