Sciweavers

5962 search results - page 686 / 1193
» Working with Patterns and Code
Sort
View
174
Voted
GLOBECOM
2007
IEEE
16 years 1 months ago
Optimal Sink Deployment for Distributed Sensing of Spatially Nonstationary Phenomena
— The optimal deployment of sinks in a sensor region for power efficient data gathering of a physical phenomenon is investigated in this work. In the system of consideration, no...
Lorenzo A. Rossi, Bhaskar Krishnamachari, C. C. Ja...
188
Voted
HICSS
2007
IEEE
125views Biometrics» more  HICSS 2007»
16 years 1 months ago
Stochastic Formal Methods: An Application to Accuracy of Numeric Software
— This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implic...
Marc Daumas, David Lester
176
Voted
ICC
2007
IEEE
154views Communications» more  ICC 2007»
16 years 1 months ago
Error Prediction Based Redundancy Control for Robust Transmission of Video Over Wireless Links
—The loss of UDP/IP packets has a high impact on the quality of the low-rate video streaming, since one UDP/IP packet typically represents a considerable part of a picture, which...
Olivia Nemethova, Wolfgang Karner, Markus Rupp
SIES
2007
IEEE
16 years 1 months ago
Design Space Exploration with Evolutionary Multi-Objective Optimisation
— High level synthesis is one of the next major steps to improve the hw/sw co-design process. The advantages of high nthesis are two-fold. At first the level of abstraction is r...
Martin Holzer 0002, Bastian Knerr, Markus Rupp
226
Voted
TASE
2007
IEEE
16 years 1 months ago
Design of a Certifying Compiler Supporting Proof of Program Safety
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Chen...