6960 search results - page 1252 / 1392 » Continuity Analysis of Programs |
121
click to vote
SEFM
2006
IEEE
15 years 9 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...
135
click to vote
APLAS
2006
ACM
15 years 9 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...
131
Voted
CASES
2006
ACM
15 years 9 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...
109
click to vote
ISLPED
2006
ACM
15 years 9 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...
127
click to vote
PPOPP
2006
ACM
15 years 9 months ago
2006
ACM
IP forwarding is one of the main bottlenecks in Internet backbone routers, as it requires performing the longest-prefix match at 10Gbps speed or higher. IPv6 forwarding further ex...