517 search results - page 53 / 104 » Optimizing the Implementation of Communication in Synchronou... |
122
Voted
CASES
2005
ACM
15 years 3 months ago
2005
ACM
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
MASA
2001
Springer
15 years 6 months ago
2001
Springer
Abstract 1 Different definitions of agents use concepts such as autonomy, pro-activity, reactivity, social abilities, and intentional models. Very few (if any), however, refer to...
125
click to vote
SEUS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...
142
click to vote
CONCUR
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
131
Voted
LFCS
2007
Springer
15 years 7 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...