1724 search results - page 252 / 345 » Concurrency in the Data Warehouse |
192
click to vote
LCN
2000
IEEE
15 years 10 months ago
2000
IEEE
The migration of the Internet from classic computer communication to a platform for multimedia applications with real-time communication requires end-to-end improvements of the ne...
136
click to vote
MICRO
2000
IEEE
15 years 10 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...
183
click to vote
ASM
2000
ASM
15 years 10 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...
155
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
184
click to vote
VTS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents a new technique for on-line consistency checking of embedded DRAMs. The basic idea is to use the periodic refresh operation for concurrently computing a test c...