Sciweavers

50808 search results - page 10014 / 10162
» A New
Sort
View
LCTRTS
2010
Springer
15 years 4 months ago
Translating concurrent action oriented specifications to synchronous guarded actions
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
Jens Brandt, Klaus Schneider, Sandeep K. Shukla
LCTRTS
2010
Springer
15 years 4 months ago
Improving both the performance benefits and speed of optimization phase sequence searches
The issues of compiler optimization phase ordering and selection present important challenges to compiler developers in several domains, and in particular to the speed, code size,...
Prasad A. Kulkarni, Michael R. Jantz, David B. Wha...
178
Voted
MASS
2010
173views Communications» more  MASS 2010»
15 years 4 months ago
Efficient routing in delay tolerant networks with correlated node mobility
Abstract--In a delay tolerant network (DTN), nodes are connected intermittently and the future node connections are mostly unknown. Since in these networks, a fully connected path ...
Eyuphan Bulut, Sahin Cem Geyik, Boleslaw K. Szyman...
189
Voted
MICCAI
2010
Springer
15 years 4 months ago
Construction of Patient Specific Atlases from Locally Most Similar Anatomical Pieces
Radiotherapy planning requires accurate delineations of the critical structures. To avoid manual contouring, atlas-based segmentation can be used to get automatic delineations. How...
Liliane Ramus, Olivier Commowick, Grégoire ...
161
Voted
MICRO
2010
IEEE
170views Hardware» more  MICRO 2010»
15 years 4 months ago
Tolerating Concurrency Bugs Using Transactions as Lifeguards
Abstract--Parallel programming is hard, because it is impractical to test all possible thread interleavings. One promising approach to improve a multi-threaded program's relia...
Jie Yu, Satish Narayanasamy
« Prev « First page 10014 / 10162 Last » Next »