2584 search results - page 261 / 517 » On the Forward Checking Algorithm |
136
click to vote
ESOP
2010
Springer
16 years 15 days ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
139
click to vote
ICCAD
2002
IEEE
16 years 1 days ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
110
click to vote
CSL
2009
Springer
15 years 9 months ago
2009
Springer
One of Courcelle’s celebrated results states that if C is a class of graphs of bounded tree-width, then model-checking for monadic second order logic (MSO2) is fixed-parameter t...
121
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Two or more components (e.g., objects, modules, or programs) interoperate when they exchange data, such as XML data. Using Application Programming Interface (API) calls exported b...
141
click to vote
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...