1991 search results - page 27 / 399 » Using a Coding Standard to Improve Program Quality |
CAV
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...
98
Voted
DCC
1994
IEEE
15 years 1 months ago
1994
IEEE
abstract Dzung T. Hoang Philip M. Longy Je rey Scott Vitterz Department of Computer Science Duke University Box 90129 Durham, NC 27708 0129 We compare methods for choosing motion ...
INFSOF
2010
14 years 8 months ago
2010
Context: Measurement programs have been around for several decades but have been often misused or misunderstood by managers and developers. This misunderstanding prevented their a...
109
click to vote
CASES
2005
ACM
14 years 11 months ago
2005
ACM
Code compression is a field where compression ratios between compiler-generated code and subsequent compressed code are highly dependent on decisions made at compile time. Most op...
ICIP
2009
IEEE
15 years 10 months ago
2009
IEEE
H.264/AVC has brought an important increase in coding efficiency in comparison to previous video coding standards. One of its features is the use of macroblock partitioning in a t...