170 search results - page 15 / 34 » A Model-Based Approach for Executable Specifications on Reco... |
124
click to vote
IFIP12
2004
15 years 1 months ago
2004
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
DFT
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper presents the first implementation of Built-In Self-Test (BIST) of Field Programmable Gate Arrays (FPGAs) using a soft core embedded processor for reconfiguration of the...
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
Individual Data Processing Units (DPUs) are commonly used for operational control and specific data processing of scientific space instruments. To overcome the limitations of trad...
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
Architectures with software-writable parameters, or configurable architectures, enable runtime reconfiguration of computing platforms to the applications they execute. Such dynami...
ASPDAC
2000
ACM
15 years 4 months ago
2000
ACM
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...