Sciweavers

1204 search results - page 199 / 241
» Hybrid Probabilistic Programs
Sort
View
FAST
2008
13 years 12 months ago
Portably Solving File TOCTTOU Races with Hardness Amplification
The file-system API of contemporary systems makes programs vulnerable to TOCTTOU (time of check to time of use) race conditions. Existing solutions either help users to detect the...
Dan Tsafrir, Tomer Hertz, David Wagner, Dilma Da S...
ICIP
2006
IEEE
14 years 11 months ago
Optimal Unequal Error Protection with User Cooperation for Transmission of Embedded Source-Coded Images
This paper studies the transmission of images encoded using an embedded source encoder over a wireless network allowing user cooperation. A dynamic programming algorithm is applie...
Andres Kwasinski, K. J. Ray Liu
CP
2009
Springer
14 years 4 months ago
Why Cumulative Decomposition Is Not as Bad as It Sounds
Abstract. The global cumulative constraint was proposed for modelling cumulative resources in scheduling problems for finite domain (FD) propagation. Since that time a great deal ...
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, M...
GLOBECOM
2009
IEEE
14 years 4 months ago
LA-MAC: A Load Adaptive MAC Protocol for MANETs
—The performance of prevalent MAC protocols in MANETs relies on the level of contention in networks. While contention-based MAC protocols such as CSMA suffer from inefficiency u...
Weihong Hu, Xiaolong Li, Homayoun Yousefi'zadeh
IPPS
2009
IEEE
14 years 4 months ago
High-level estimation and trade-off analysis for adaptive real-time systems
We propose a novel design estimation method for adaptive streaming applications to be implemented on a partially reconfigurable FPGA. Based on experimental results we enable accu...
Ingo Sander, Jun Zhu, Axel Jantsch, Andreas Herrho...