7167 search results - page 1177 / 1434 » A Technique for Invariant Generation |
213
click to vote
FAC
2008
15 years 7 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
212
click to vote
HEURISTICS
2008
15 years 7 months ago
2008
Instruction scheduling is an important step for improving the performance of object code produced by a compiler. A fundamental problem that arises in instruction scheduling is to ...
202
click to vote
CG
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents an energy-based approach that models the distinct wrinkle shapes to represent the different material properties of non-rigid objects at an interactive speed. O...
229
click to vote
CJ
2006
15 years 7 months ago
2006
Anonymous channels or similar techniques that can achieve sender's anonymity play important roles in many applications. However, they will be meaningless if cryptographic prim...
160
click to vote
COR
2006
15 years 7 months ago
2006
The objective of the present paper is to select the best compromise irrigation planning strategy for the case study of Jayakwadi irrigation project, Maharashtra, India. Four-phase...