4323 search results - page 398 / 865 » Callback Implementations in C |
177
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— We propose two contrasting approaches to the scalable distributed control of a swarm of self-assembling miniaturized robots, specifically the formation of chains of a desired ...
185
click to vote
ISLPED
2010
ACM
15 years 4 months ago
2010
ACM
The shift towards multicore processors and the well-known drawbacks imposed by lock-based synchronization have forced researchers to devise new alternatives for building concurren...
153
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We address the problem of runtime monitoring for hard realtime programs—a domain in which correctness is critical yet has largely been overlooked in the runtime monitor...
174
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
In this paper we consider an alternative, highly agile approach called backpressure routing for Delay Tolerant Networks (DTN), in which routing and forwarding decisions are made o...
124
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
SpinJa is a model checker for promela, implemented in Java. SpinJa is designed to behave similarly to Spin, but to be more easily extendible and reusable. Despite the fact that Spi...