4042 search results - page 249 / 809 » The EXODUS Optimizer Generator |
186
click to vote
VMCAI
2005
Springer
16 years 1 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
156
click to vote
WEA
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Extensions of the randomized tournaments techniques introduced in [6, 7] to approximate solutions of 1-median and diameter computation of finite subsets of general metri...
138
click to vote
ACMACE
2004
ACM
16 years 5 hour ago
2004
ACM
Video Poker in Australia is on the verge of extinction. These machines are being replaced in casinos as it is claimed they generate less money than the traditional slot machines. ...
166
click to vote
ASPDAC
2004
ACM
16 years 4 hour ago
2004
ACM
As gate delays decrease faster than wire delays for each technology generation, buffer insertion becomes a popular method to reduce the interconnect delay. Several modern buffer in...
164
click to vote
LCPC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...