1711 search results - page 259 / 343 » Completing pseudojump operators |
EURODAC
1994
IEEE
14 years 3 days ago
1994
IEEE
This paper presents an algorithm for generation of test patterns for strong robust path delay faults, i.e. tests that propagate the fault along a single path and additionally are ...
ER
1992
Springer
14 years 1 days ago
1992
Springer
In this paper, we address the problem of supporting more exibility on the schema of object-oriented databases. We describe a general framework based on an object-oriented data mode...
IFIP
1992
Springer
14 years 1 days ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
PLDI
1989
ACM
14 years 12 hour ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...
CDC
2009
IEEE
13 years 12 months ago
2009
IEEE
Abstract-- The control of the toroidal current density spatial profile in tokamak plasmas will be absolutely critical in future commercial-grade reactors to enable high fusion gain...