2947 search results - page 387 / 590 » Analyzing Program Analyses |
122
click to vote
RTAS
1998
IEEE
15 years 6 months ago
1998
IEEE
Static timing analyzers need to know the minimum and maximum number of iterations associated with each loop in a real-time program so accurate timing predictions can be obtained. ...
129
Voted
IPPS
1996
IEEE
15 years 6 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
123
Voted
ICRA
1994
IEEE
15 years 6 months ago
1994
IEEE
A systematic approach to modeling of deformable soft parts for their manipulation is presented. Various deformable parts such as cords, leather products, and sheet metals are mani...
123
Voted
WSC
2007
15 years 4 months ago
2007
Over the 50 year history of discrete event simulation the growth in applications has been facilitated by some key advances in modeling that have simplified the process of building...
128
Voted
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...