Sciweavers

1213 search results - page 94 / 243
» Traceability for System Families
Sort
View
108
Voted
ARC
2010
Springer
177views Hardware» more  ARC 2010»
15 years 7 months ago
An FPGA-Based Real-Time Event Sampler
This paper presents the design and FPGA-implementation of a sampler that is suited for sampling real-time events in embedded systems. Such sampling is useful, for example, to test ...
Niels Penneman, Luc Perneel, Martin Timmerman, Bjo...
105
Voted
ICTAI
1996
IEEE
15 years 5 months ago
Automatic Diagnoses for Properly Stratified Knowledge-Bases
We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing ...
Ofer Arieli, Arnon Avron
105
Voted
COMPCON
1994
IEEE
15 years 5 months ago
Low Power Hardware for a High Performance PDA
The first product in the Newton family operates under severe constraints in the areas of performance, cost, heat dissipation, power consumption, scalability, size and weight. This...
Michael Culbert
84
Voted
WMP
2000
15 years 4 months ago
Parikh Mapping and Iteration
orms of Grammars, Finite Automata, Abstract Families, and Closure Properties of Multiset Languages . . . . 135 Manfred Kudlek, Victor Mitrana On Multisets in Database Systems . . ....
Jürgen Dassow
123
Voted
SFP
2003
15 years 2 months ago
O'Camelot: adding objects to a resource-aware functional language
Abstract: We outline an object-oriented extension to Camelot, a functional language in the ML family designed for resource aware computation. Camelot is compiled for the Java Virtu...
Nicholas Wolverson, Kenneth MacKenzie