984 search results - page 155 / 197 » A Hybrid MPI Simulator |
ICANN
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Solutions to the symbol grounding problem, in psychologically plausible cognitive models, have been based on hybrid connectionist/symbolic architectures, on robotic appro...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— Lithium-ion batteries are the core of new plug-in hybrid-electrical vehicles (PHEV) as well as considered in many 2nd generation hybrid electric vehicles (HEV). In most cases t...
119
click to vote
SIGCOMM
1999
ACM
15 years 4 months ago
1999
ACM
Internet service providers face a daunting challenge in provisioning network resources, due to the rapid growth of the Internet and wide fluctuations in the underlying traffic pa...
MOVEP
2000
15 years 3 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
139
click to vote
HYBRID
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...