6740 search results - page 1129 / 1348 » Using Classification as a Programming Language |
164
click to vote
DFT
2005
IEEE
16 years 5 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...
167
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
192
click to vote
CALCO
2005
Springer
16 years 2 days ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
154
click to vote
CP
2005
Springer
16 years 2 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...
165
click to vote
CP
2005
Springer
16 years 2 days ago
2005
Springer
We introduce a novel and exciting research area: symmetrising levels of consistency to produce stronger forms of consistency and more efficient mechanisms for establishing them. W...