Sciweavers

3616 search results - page 265 / 724
» Conditional Memory Ordering
Sort
View
SIGSOFT
2006
ACM
15 years 11 months ago
Bit level types for high level reasoning
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
Ranjit Jhala, Rupak Majumdar
FCCM
2002
IEEE
126views VLSI» more  FCCM 2002»
15 years 10 months ago
Hyperspectral Image Compression on Reconfigurable Platforms
NASA’s satellites currently do not make use of advanced image compression techniques during data transmission to earth because of limitations in the available platforms. With th...
Thomas W. Fry, Scott Hauck
LISA
2007
15 years 7 months ago
Stork: Package Management for Distributed VM Environments
In virtual machine environments each application is often run in its own virtual machine (VM), isolating it from other applications running on the same physical machine. Contentio...
Justin Cappos, Scott M. Baker, Jeremy Plichta, Duy...
ATAL
2009
Springer
15 years 11 months ago
Team competition
In a team competition, two participating teams have an equal number of players, and each team orders its players linearly based on their strengths. A mechanism then specifies how...
Pingzhong Tang, Yoav Shoham, Fangzhen Lin
ICIP
2008
IEEE
15 years 11 months ago
Temporal scalability and layered transmission
The deployment of mobile multimedia broadcast services like Mobile TV over cellular networks has just started. The coverage in terms of delivered quality per receiver is an import...
Cornelius Hellge, Thomas Schierl, Jörg Huschk...