12333 search results - page 377 / 2467 » System Level Modelling for Hardware Software Systems |
171
click to vote
FASE
2005
Springer
16 years 8 days ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
267
click to vote
BMVC
2001
15 years 9 months ago
2001
In this paper we present a system that combines the benefits of 3D deformable models and level set methods for medical volume segmentation. Our 3D deformable model is a very comp...
162
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We study languages of nested trees--structures obtained by augmenting trees with sets of nested jump-edges. These graphs can naturally model branching behaviors of pushdown program...
205
click to vote
ICPP
2006
IEEE
16 years 24 days ago
2006
IEEE
— This paper focuses on the transfer of large data in SMP systems. Achieving good performance for intranode communication is critical for developing an efficient communication s...
172
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
We describe the design and implementation of Dynamo, a software dynamic optimization system that is capable of transparently improving the performance of a native instruction stre...