1554 search results - page 165 / 311 » A New Simulation Tool for the Modeling and Control of Distri... |
SSS
2007
Springer
14 years 2 months ago
2007
Springer
We introduce a new abstract system, called the truth system. In the truth system, a process deduces a true value, with high probability, from an incoming stream of both true and fa...
VW
2000
Springer
13 years 11 months ago
2000
Springer
This article describes a 3D biomechanical simulation of a salamander to be used in experiments in computational neuroethology. The physically-based simulation represents the salama...
COMPSAC
1998
IEEE
14 years 13 days ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
SIGMETRICS
2005
ACM
14 years 1 months ago
2005
ACM
Peer-to-peer (p2p) file sharing systems are characterized by highly replicated content distributed among nodes with enormous aggregate resources for storage and communication. Th...
CAV
2010
Springer
14 years 23 hour ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...