Sciweavers

1953 search results - page 220 / 391
» codes 2010
Sort
View
ESOP
2010
Springer
15 years 9 months ago
A Semantic Framework for Declassification and Endorsement
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
Aslan Askarov, Andrew Myers
GLVLSI
2010
IEEE
149views VLSI» more  GLVLSI 2010»
15 years 8 months ago
Lightweight runtime control flow analysis for adaptive loop caching
Loop caches provide an effective method for decreasing memory hierarchy energy consumption by storing frequently executed code in a more energy efficient structure than the level ...
Marisha Rawlins, Ann Gordon-Ross
SAC
2010
ACM
15 years 8 months ago
Reactive parallel processing for synchronous dataflow
The control flow of common processors does not match the specific needs of reactive systems. Key issues for these systems are preemption and concurrency, combined with timing pred...
Claus Traulsen, Reinhard von Hanxleden
EUROPAR
2010
Springer
15 years 7 months ago
Multithreaded Geant4: Semi-automatic Transformation into Scalable Thread-Parallel Software
This work presents an application case study. Geant4 is a 750,000 line toolkit first designed in the mid-1990s and originally intended only for sequential computation. Intel's...
Xin Dong 0004, Gene Cooperman, John Apostolakis
ICMCS
2010
IEEE
268views Multimedia» more  ICMCS 2010»
15 years 7 months ago
Scalable MDC for 3D Stereoscopic Video using motion vector encoding
Interest in 3D video visualization systems is a ever growing field. Such areas include the provision of 3D content to users thus opening the exploration of 3D video communication ...
Steven Adedoyin, Warnakulasuriya Anil Chandana Fer...