64 search results - page 3 / 13 » Reducing the Size of NFAs by Using Equivalences and Preorder... |
VMCAI
2009
Springer
14 years 1 days ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
DATE
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
TCAD
2008
13 years 5 months ago
2008
Abstract--Simplifying a combinational circuit while preserving its range has a variety of applications, such as combinational equivalence checking and random simulation. Previous a...
ESSMAC
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. While there is strong motivation for using Gaussian Processes (GPs) due to their excellent performance in regression and classiļ¬cation problems, their computational com...
SIGCOMM
2004
ACM
13 years 10 months ago
2004
ACM
All Internet routers contain buļ¬ers to hold packets during times of congestion. Today, the size of the buļ¬ers is determined by the dynamics of TCPās congestion control algor...