506 search results - page 12 / 102 » Where Is the Value in a Program Verifier |
193
click to vote
POPL
2007
ACM
16 years 22 days ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
94
Voted
CC
2001
Springer
15 years 4 months ago
2001
Springer
Compilers can exploit knowledge that a variable has a fixed known value at a program point for optimizations such as code specialization and constant folding. Recent work has shown...
102
Voted
CP
2007
Springer
15 years 6 months ago
2007
Springer
Symmetry is an important factor in solving many constraint satisfaction problems. One common type of symmetry is when we have symmetric values. We can eliminate such value symmetr...
111
click to vote
AAAI
2007
15 years 2 months ago
2007
We present a method of visualizing and adjusting the evaluation functions in game programming in this paper. It is widely recognized that an evaluation function should assign a hi...
97
Voted
DSN
2009
IEEE
15 years 7 months ago
2009
IEEE
MAP queueing networks are recently proposed models for performance assessment of enterprise systems, such as multi-tier applications, where workloads are significantly affected b...