1456 search results - page 58 / 292 » DYANA: An Environment for Embedded System Design and Analysi... |
164
click to vote
IESS
2007
Springer
16 years 16 days ago
2007
Springer
: Much effort in RTL design has been devoted to developing “push-button” types of tools. However, given the highly complex nature, and lack of control on RTL design, push-butt...
191
click to vote
WORDS
2005
IEEE
15 years 12 months ago
2005
IEEE
The latest version of Real-Time CORBA defines a Distributable Thread primitive to support real-time computing in a dynamic distributed environment. However, this standard does not...
199
click to vote
MATA
2004
Springer
15 years 11 months ago
2004
Springer
Distribution of product updates to embedded devices can increase product lifetimes for consumers and boost revenues for vendors. Dynamic provisioning of application solutions to e...
172
click to vote
FDL
2006
IEEE
16 years 13 days ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
174
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Graphs and networks are common analysis representations for biological systems. Many traditional graph algorithms such as k-clique, k-coloring, and subgraph matching h...