Sciweavers

53 search results - page 4 / 11
» Ideal Address Translation: Principles, Properties, and Appli...
Sort
View
SRDS
2005
IEEE
13 years 11 months ago
Consistent Main-Memory Database Federations under Deferred Disk Writes
Current cluster architectures provide the ideal environment to run federations of main-memory database systems (FMMDBs). In FMMDBs, data resides in the main memory of the federati...
Rodrigo Schmidt, Fernando Pedone
FM
1999
Springer
111views Formal Methods» more  FM 1999»
13 years 10 months ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff
ICDE
2008
IEEE
122views Database» more  ICDE 2008»
14 years 7 months ago
On Signatures for Communication Graphs
Abstract-- Communications between individuals can be represented by (weighted, multi-) graphs. Many applications operate on communication graphs associated with telephone calls, em...
Graham Cormode, Flip Korn, S. Muthukrishnan, Yihua...
WSC
2004
13 years 7 months ago
How Factory Physics Helps Simulation
Factory physics provides a systematic description, expressed as laws, of the underlying behavior of a system. These laws can provide important assistance in performing simulation ...
Charles R. Standridge
ICRA
2008
IEEE
117views Robotics» more  ICRA 2008»
14 years 6 days ago
Kinematics and calibration of active cannulas
Abstract— Active cannulas are remotely actuated thin continuum robots with the potential to traverse narrow and winding environments without relying on “guiding” environmenta...
Robert J. Webster III, Joseph M. Romano, Noah J. C...