2632 search results - page 451 / 527 » Alternating Timed Automata |
MIDDLEWARE
2007
Springer
15 years 6 months ago
2007
Springer
Snowbird is a middleware system based on virtual machine (VM) technology that simplifies the development and deployment of bimodal applications. Such applications alternate betwee...
115
click to vote
INFOCOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— In this paper, we propose a simulation framework, TranSim, that reduces the rate at which packet-events are generated, in order to accelerate large-scale simulation of IP netwo...
130
Voted
IROS
2006
IEEE
15 years 6 months ago
2006
IEEE
— We propose to classify the behaviors of a mobile robot thanks to topological methods as an alternative to metric ones. To do so, we adapt an analysis scheme from Physics of non...
115
click to vote
CD
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
ISCA
2003
IEEE
15 years 5 months ago
2003
IEEE
Scaling of CMOS technology causes the power supply voltages to fall and supply currents to rise at the same time as operating speeds are increasing. Falling supply voltages cause ...