14190 search results - page 2548 / 2838 » Abstractions for hybrid systems |
171
Voted
CONCURRENCY
2008
15 years 7 months ago
2008
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
201
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
175
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract-- Wideband communications are asymptotically impossible with signals that are spread over a very wide band and are transmitted over a multipath channel unknown ahead of ti...
209
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract-- Wireless Sensor Networks (WSNs) rely on innetwork aggregation for efficiency, however, this comes at a price: A single adversary can severely influence the outcome by co...
193
Voted
ENTCS
2010
15 years 7 months ago
2010
Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each others, which leads to the formation of a huge num...