11172 search results - page 765 / 2235 » Testing Physical Systems |
171
click to vote
ISCAS
2003
IEEE
16 years 27 days ago
2003
IEEE
We consider adaptive fault diagnosis for array multiprocessor systems. We show that three testing rounds are necessary and sufficient for adaptive parallel diagnosis of an Nproce...
151
click to vote
LREC
2008
15 years 9 months ago
2008
We present the procedures we implemented to carry out system oriented evaluation of a syntax-based word aligner --ALIBI. We take the approach of regarding cross-corpus evaluation ...
362
click to vote
POPL
2007
ACM
16 years 8 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
192
click to vote
ICCAD
2006
IEEE
16 years 4 months ago
2006
IEEE
With the advent of deep sub-micron (DSM) era, floorplanning has become increasingly important in physical design process. In this paper we clarify a misunderstanding in using Lag...
211
click to vote
GECCO
2005
Springer
16 years 1 months ago
2005
Springer
Because of the large number of possible combinations for the fuel assembly loading in the core, the design of the loading pattern (LP) is a complex optimization problem. It requir...