2514 search results - page 305 / 503 » Design, Implementation, and Evaluation of a Digital Lectern ... |
199
click to vote
ATVA
2007
Springer
16 years 21 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
168
click to vote
LCTRTS
2005
Springer
16 years 20 hour ago
2005
Springer
Efficient implementation of DSP applications is critical for many embedded systems. Optimising C compilers for embedded processors largely focus on code generation and instructio...
160
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Multimedia-dominated consumer electronics devices (such as cellular phone, digital camera, etc.) operate under soft real-time constraints. Overly pessimistic worst-case execution ...
184
click to vote
ISBI
2008
IEEE
16 years 28 days ago
2008
IEEE
In this paper, we present a Case Based Reasoning (CBR) system for the retrieval of medical cases made up of a series of images with semantic information (such as the patient age, ...
197
click to vote
MONET
2011
15 years 1 months ago
2011
Critical Infrastructures (CIs) such as the Power Grid play an important role in our lives. Of all important aspects of CIs, real-time data delivery is the most important one becaus...