9626 search results - page 1671 / 1926 » Invariant Based Programming |
179
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. In recent years, there has been a surge of interest in Javabased volunteer computing systems, which aim to make it possible to build very large parallel computing network...
170
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
The main objectives of Built-In Self Test (BIST) are the design of test pattern generator circuits which achieve the highest fault coverage, require the shortest sequence of test ...
165
click to vote
ITC
1999
IEEE
15 years 11 months ago
1999
IEEE
A new synthesis technique for designing finite state machines with on-line parity checking is presented. The output logic and the next-state logic of the finite state machines are...
178
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
175
click to vote
SP
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes an expert system development toolset called the Production-Based Expert System Toolset (P-BEST) and how it is employed in the development of a modern generic ...