4719 search results - page 806 / 944 » Newtonian program analysis |
137
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
The GCA (Global Cellular Automata) model consists of a collection of cells which change their states synchronously depending on the states of their neighbors like in the classical...
130
click to vote
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
142
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity an...
138
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Dictionary code compression is a technique where long instructions in the memory are replaced with shorter code words used as index in a table to look up the original instructions...
122
click to vote
ISLPED
2006
ACM
15 years 10 months ago
2006
ACM
Many techniques have been developed for adaptive power management of computing systems. These techniques rely on the presence of varying power phases to detect opportunities for a...