Sciweavers

3224 search results - page 117 / 645
» Abstract Error Projection
Sort
View
ICC
2009
IEEE
116views Communications» more  ICC 2009»
16 years 1 months ago
Optimization for Fractional Cooperation in Multiple-Source Multiple-Relay Systems
Abstract—In fractional cooperation, many relays simultaneously assist the source, and each relay is responsible to relay only a fraction of the source transmission. In this paper...
Josephine P. K. Chu, Andrew W. Eckford, Raviraj Ad...
TMI
2002
90views more  TMI 2002»
15 years 6 months ago
Volume Rendering of Segmented Image Objects
This paper describes a new method of combining ray-casting with segmentation. Volume rendering is performed at interactive rates on standard laptop computers, and visualizations in...
Elizabeth Bullitt, Stephen R. Aylward
CF
2008
ACM
15 years 8 months ago
A distributed evolutionary method to design scheduling policies for volunteer computing
Volunteer Computing (VC) is a paradigm that takes advantage of idle cycles from computing resources donated by volunteers and connected through the Internet to compute large-scale...
Trilce Estrada, Olac Fuentes, Michela Taufer
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
16 years 6 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert
FM
2009
Springer
95views Formal Methods» more  FM 2009»
16 years 27 days ago
It's Doomed; We Can Prove It
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podel...