515 search results - page 64 / 103 » A Dynamic Programming Approach to Optimal Integrated Code Ge... |
102
click to vote
VMV
2003
15 years 1 months ago
2003
We propose a new approach to collision and self– collision detection of dynamically deforming objects that consist of tetrahedrons. Tetrahedral meshes are commonly used to repre...
101
Voted
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
116
Voted
VLDB
1990
ACM
15 years 4 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
106
click to vote
IEEEPACT
2002
IEEE
15 years 5 months ago
2002
IEEE
Java exception checks are designed to ensure that any faulting instruction causing a hardware exception does not terminate the program abnormally. These checks, however, impose so...
115
click to vote
CASES
2006
ACM
15 years 6 months ago
2006
ACM
Previous object code compression schemes have employed static and semiadaptive compression algorithms to reduce the size of instruction memory in embedded systems. The suggestion ...