58 search results - page 3 / 12 » Simulator for Real-Time Abstract State Machines |
114
click to vote
COLT
1992
Springer
15 years 1 months ago
1992
Springer
This paper deals with finite size networks which consist of interconnections of synchronously evolving processors. Each processor updates its state by applying a "sigmoidal&q...
104
click to vote
RTSS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Power dissipation has constrained the performance boosting of modern computer systems in the past decade. Dynamic power management has been widely applied to change the ...
MICCAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a fast image synthesis procedure for elastic volumes under deformation. Given the node displacements of a mesh and the 3D image voxel data of an undef...
HICSS
2000
IEEE
15 years 2 months ago
2000
IEEE
A new tool for computing and visualizing the operation of power system components and systems is presented. One component of the tool is a time domain simulator that operates in t...
WDAG
2005
Springer
15 years 3 months ago
2005
Springer
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...