11017 search results - page 401 / 2204 » Closure Systems and their Structure |
161
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Complexity in concurrent or distributed systems can be managed by dividing component into smaller components. However, such transformations change the coordination behaviour betwe...
280
click to vote
EVOW
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Electronic embedded systems designers aim at finding a tradeoff between cost and power consumption. As cache memory management has been shown to have a significant imp...
163
click to vote
MICCAI
2008
Springer
16 years 8 months ago
2008
Springer
This paper presents an interactive system for the annotation of brain anatomical structures in Magnetic Resonance Images. The system is based on hybrid knowledge and techniques. Fi...
144
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extensi...
183
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...