801 search results - page 81 / 161 » The Core Language of Aldwych |
169
click to vote
DFT
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper presents a new test methodology which utilizes the Programming Language Interface (PLI) for performing fault simulation of combinational or full scan Intellectual Prope...
177
click to vote
FDL
2005
IEEE
16 years 11 days ago
2005
IEEE
Although Moore’s Law enables a huge number of components to be integrated into a single chip, design methods that will allow system architects to put the components together to ...
160
click to vote
CP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The sub-optimality approximation problem considers an optimization problem O, its optimal solution σ∗ , and a variable x with domain {d1, . . . , dm} and returns appro...
155
click to vote
SIGOPSE
2004
ACM
16 years 5 days ago
2004
ACM
The architecture of an operating system, e.g. micro kernel or monolithic kernel, is usually seen as something static. Even during the long lasting evolution of operating system co...
155
click to vote
CAV
2004
Springer
16 years 5 days ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...