755 search results - page 60 / 151 » Sequential Diagnosis by Abstraction |
DAC
1996
ACM
13 years 12 months ago
1996
ACM
- Functional verification of the new generation microprocessor developed by SGS-THOMSON Microelectronics makes extensive use of advanced technologies. This paper presents a global ...
PACT
1997
Springer
13 years 12 months ago
1997
Springer
Abstract. In this paper, we apply a competitive coevolutionary approach using loosely coupled genetic algorithms to a distributed optimization of the Rosenbrock's function. Th...
SC
1992
ACM
13 years 12 months ago
1992
ACM
This paper presents Jade, a high-level parallel programming language for managing coarse-grain concurrency. Jade simplifies programming by providing the programmer with the abstra...
HPCC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...
AIIA
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. In a recent work we have carried out CarpeDiem, a novel algorithm for the fast evaluation of Supervised Sequential Learning (SSL) classifiers. In this paper we point out...