Sciweavers

2621 search results - page 331 / 525
» Near orders and codes
Sort
View
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
DIMVA
2009
15 years 7 months ago
Polymorphing Software by Randomizing Data Structure Layout
Abstract. This paper introduces a new software polymorphism technique that randomizes program data structure layout. This technique will generate different data structure layouts f...
Zhiqiang Lin, Ryan Riley, Dongyan Xu
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 6 months ago
Detecting Coordination Problems in Collaborative Software Development Environments
Software development is rarely an individual effort and generally involves teams of developers collaborating to generate good reliable code. Among the software code there exist te...
Chintan Amrit, Jos van Hillegersberg
190
Voted
CORR
2008
Springer
91views Education» more  CORR 2008»
15 years 6 months ago
Exchange of Limits: Why Iterative Decoding Works
We consider communication over a family of binary-input memoryless output-symmetric channels using lowdensity parity-check codes under message passing decoding. The asymptotic (in ...
Satish Babu Korada, Rüdiger L. Urbanke
CORR
2010
Springer
66views Education» more  CORR 2010»
15 years 6 months ago
Certifying cost annotations in compilers
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
Roberto M. Amadio, Nicholas Ayache, Yann Ré...