1202 search results - page 189 / 241 » Sortings for Reactive Systems |
NSDI
2008
15 years 4 months ago
2008
This paper presents the design, implementation, and experimental evaluation of CMAP (Conflict Maps), a system that increases the number of successful concurrent transmissions in a...
123
click to vote
EURONGI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The integration of mobile ad hoc networks into IP-based access networks demands the presence of a gateway which is responsible for propagating some configuration paramete...
104
click to vote
CAINE
2007
15 years 3 months ago
2007
We present multi-scale tracking features for the In Silico Liver (ISL) and their simulation results. The features were developed to support tracking of dynamic pharmacokinetic/pha...
CATS
2008
15 years 3 months ago
2008
Weak equivalences are important behavioral equivalences in the course of specifying and analyzing the reactive systems using process algebraic languages. In this paper, we propose...
121
click to vote
CSREAESA
2006
15 years 3 months ago
2006
- This paper presents a dual-core embedded System-on-Chip for a wide range of application fields with particularly high processing demands, including general signal processing, vid...