2947 search results - page 464 / 590 » Analyzing Program Analyses |
115
click to vote
MICRO
2003
IEEE
15 years 4 months ago
2003
IEEE
A virtual instruction set architecture (V-ISA) implemented via a processor-specific software translation layer can provide great flexibility to processor designers. Recent examp...
ICAIL
2003
ACM
15 years 4 months ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
106
click to vote
IPPS
2000
IEEE
15 years 3 months ago
2000
IEEE
To solve real-world discrete optimization problems approximately metaheuristics such as simulated annealing and other local search methods are commonly used. For large instances o...
112
click to vote
KBSE
2000
IEEE
15 years 2 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
121
click to vote
ADBIS
1995
Springer
15 years 2 months ago
1995
Springer
Crash recovery in database systems aims to provide an acceptable level of protection from failure at a given engineering cost. A large number of recovery mechanisms are known, and...