828 search results - page 67 / 166 » Modularity for Timed and Hybrid Systems |
125
Voted
SFM
2004
Springer
15 years 9 months ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
157
Voted
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we analyze the problem of finding a periodic schedule for the wake-up times of a set of nodes in a Wireless Sensor Network that optimizes the coverage of the region...
137
Voted
WIOPT
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— The ever-increasing popularity of web services, growing demand for wireless multimedia and introduction of new, feature-enhanced, hand-held devices has already given bi...
118
Voted
ARC
2010
Springer
15 years 10 months ago
2010
Springer
Dot-products are one of the essential and recurrent building blocks in scientific computing, and often take-up a large proportion of the scientific acceleration circuitry. The ac...
139
click to vote
ISCC
2007
IEEE
15 years 10 months ago
2007
IEEE
We analyze the problem of reducing packet losses due to the authentication time which is required when an ad hoc node switches across different gateways in a mobile ad hoc network...