695 search results - page 111 / 139 » Symbolic Simulation of Hybrid Systems |
ISCA
1993
IEEE
14 years 9 days ago
1993
IEEE
Advances in circuit and integration technology are continuously boosting the speed of microprocessors. One of the main challenges presented by such developments is the effective u...
INFOSCALE
2007
ACM
13 years 9 months ago
2007
ACM
Several caching techniques have been used to reduce the bandwidth consumption and to provide faster answers in P2P systems. In this paper, we address the problem of reducing unnec...
AUTOMATICA
2006
13 years 8 months ago
2006
In this paper a novel, Gibbs sampler-based algorithm is proposed for coordination of autonomous swarms. The swarm is modeled as a Markov random field (MRF) on a graph with a time-...
JOLLI
2002
13 years 7 months ago
2002
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
BOINC is a platform for volunteer computing. The server component of BOINC embodies a number of scheduling policies and parameters that have a large impact on the projects through...