Sciweavers

2067 search results - page 288 / 414
» Modeling and Simulation of Operating System Behavior
Sort
View
IS
2000
14 years 9 months ago
Concurrency control in mobile distributed real-time database systems
Abstract With the rapid advances in mobile computing technology, there is an increasing demand for processing realtime transactions in a mobile environment. This paper studies con...
Kam-yiu Lam, Tei-Wei Kuo, Wai-Hung Tsang, Gary C. ...
ASPDAC
2004
ACM
94views Hardware» more  ASPDAC 2004»
15 years 1 months ago
Improving simulation-based verification by means of formal methods
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
Görschwin Fey, Rolf Drechsler
CGF
2006
111views more  CGF 2006»
14 years 10 months ago
Efficient Large Scale Acquisition of Building Interiors
We describe a system for the rapid acquisition of building interiors. In 40 hours, a two member team with a single acquisition device captured a model of the corridors and 20 indi...
Gleb Bahmutov, Voicu Popescu, Mihai Mudure
CASCON
1996
151views Education» more  CASCON 1996»
14 years 11 months ago
Performance aspects of dynamic re-allocation for partitioned data
The correct and ecient management of data in distributed databases or mobile computing environments is dicult. Communication disruptions within such systems render the execution o...
Paul A. Jensen, Monica Brockmeyer, Nandit Soparkar
CGF
2008
125views more  CGF 2008»
14 years 10 months ago
Interactive Visualization for Memory Reference Traces
We present the Memory Trace Visualizer (MTV), a tool that provides interactive visualization and analysis of the sequence of memory operations performed by a program as it runs. A...
A. N. M. Imroz Choudhury, Kristin C. Potter, Steve...