1157 search results - page 204 / 232 » Descriptive Complexity and Model Checking |
114
Voted
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
83
Voted
ICFP
2007
ACM
16 years 17 days ago
2007
ACM
In the light of evidence that Haskell programs compiled by GHC exhibit large numbers of mispredicted branches on modern processors, we re-examine the "tagless" aspect of...
78
Voted
ICCAD
2008
IEEE
15 years 9 months ago
2008
IEEE
—Connecting system-level performance models with circuit information has been a long-standing problem in analog/mixed-signal front-ends, like radios and high-speed links. High-sp...
103
click to vote
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— In this paper, we investigate the problem of 3D object categorization of objects typically present in kitchen environments, from data acquired using a composite sensor. Our fra...
112
click to vote
MFCS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...