11097 search results - page 336 / 2220 » Hera presentation generator |
216
click to vote
TVLSI
2008
15 years 6 months ago
2008
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...
192
click to vote
HYBRID
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
193
click to vote
DATE
2005
IEEE
16 years 13 days ago
2005
IEEE
In this paper, the application of a cycle accurate binary translator for rapid prototyping of SoCs will be presented. This translator generates code to run on a rapid prototyping ...
149
click to vote
SAMOS
2004
Springer
16 years 4 days ago
2004
Springer
This paper presents a novel micro-architecture for high-performance and low-power DSPs. The underlying Synchronous Transfer Architecture (STA) fills the gap between SIMD-DSPs and ...
154
click to vote
ICALT
2003
IEEE
16 years 3 days ago
2003
IEEE
In this contribution we present the dialogue generator module of a Dialogue-based Interactive Diagnostic and Learning System (DIDLS) for Historical Text Comprehension (HTC). The d...