1643 search results - page 269 / 329 » Consistability: Describing Usually Consistent Systems |
COMPSAC
1997
IEEE
15 years 2 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
ICCAD
1997
IEEE
15 years 2 months ago
1997
IEEE
Asynchronous circuits operate correctly only under timing assumptions. Hence testing those circuits for delay faults is crucial. This paper describes a three-step method to detect...
AVBPA
1997
Springer
15 years 2 months ago
1997
Springer
In this paper we describe a system to reliably localize the position of the speaker’s face and mouth in videophone sequences. A statistical scheme based on a subspace method is p...
114
click to vote
HICSS
1996
IEEE
15 years 2 months ago
1996
IEEE
The venerable problem solving technique of simulation finds itself inthe midstof a revolution. Where once it was regarded as a "technique of last resort" for systems ana...
MICRO
1996
IEEE
15 years 2 months ago
1996
IEEE
For decades, the serialization constraints imposed by true data dependences have been regarded as an absolute limit--the dataflow limit--on the parallel execution of serial progra...