Sciweavers

2144 search results - page 279 / 429
» Exact Flow Analysis
Sort
View
EMSOFT
2003
Springer
15 years 11 months ago
Constraint-Based Design-Space Exploration and Model Synthesis
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
Sandeep Neema, Janos Sztipanovits, Gabor Karsai, K...
DATE
2002
IEEE
119views Hardware» more  DATE 2002»
15 years 11 months ago
UML for Embedded Systems Specification and Design: Motivation and Overview
The specification, design and implementation of embedded systems demands new approaches which go beyond traditional hardware-based notations such as HDLs. The growing dominance of...
Grant Martin
ICPR
2002
IEEE
15 years 11 months ago
Simulated Static Electric Field (SSEF) Snake for Deformable Models
In this paper, a novel design of external force for snake is proposed. This kind of external force is actually a field, which we call the Simulated Static Electric Field (SSEF). T...
Dan Yuan, Siwei Lu
CIKM
2001
Springer
15 years 10 months ago
Automatic Recognition of Distinguishing Negative Indirect History Language in Judicial Opinions
We describe a model-based filtering application that generates candidate case-to-case distinguishing citations. We developed the system to aid editors in identifying indirect rela...
Jack G. Conrad, Daniel P. Dabney
QOFIS
2001
Springer
15 years 10 months ago
On the Utility of FEC Mechanisms for Audio Applications
FEC mechanisms have been proposed to recover from packet losses, and hence to improve the perceived quality in audio applications. Recently, it has been shown in [1] that the redun...
Eitan Altman, Chadi Barakat, Víctor M. Ramo...