7080 search results - page 851 / 1416 » Designing High Integrity Systems Using Aspects |
212
click to vote
ICCAD
2006
IEEE
16 years 4 months ago
2006
IEEE
Efficient communication modeling is a critical task in SoC design and exploration. In particular, fast and accurate communication is needed to predict the performance of a system....
203
click to vote
SECON
2007
IEEE
16 years 1 months ago
2007
IEEE
— In wireless sensor networks, it is desirable to maintain good sensing coverage while keeping the number of active sensor nodes small to achieve long system lifetime. Existing c...
210
click to vote
PE
2008
Springer
15 years 7 months ago
2008
Springer
As the size of parallel computers increases, as well as the number of sources per router node, congestion inside the interconnection network rises significantly. In such systems, ...
397
Voted
CASES
2011
ACM
14 years 7 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
216
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
This paper proposes a framework in which Lagrangian Particle Dynamics is used for the segmentation of high density crowd flows and detection of flow instabilities. For this purpos...