1991 search results - page 270 / 399 » Using a Coding Standard to Improve Program Quality |
104
click to vote
VMCAI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
136
click to vote
ECOOPW
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
123
Voted
ICCAD
2001
IEEE
15 years 10 months ago
2001
IEEE
In this paper we describe a software pipelining framework, CALiBeR (Cluster Aware Load Balancing Retiming Algorithm), suitable for compilers targeting clustered embedded VLIW proc...
135
Voted
IV
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Dynamic recompilation tries to produce more efficient code by exploiting runtime information. Virtual machines like the Jikes RVM use recompilation heuristics to decide h...
118
click to vote
TCAD
2008
15 years 1 months ago
2008
Starting at the 65-nm node, stress engineering to improve the performance of transistors has been a major industry focus. An intrinsic stress source--shallow trench isolation (STI)...