1151 search results - page 199 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
240
click to vote
FDL
2004
IEEE
15 years 7 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
135
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Benchmarking algorithms in structural bioinformatics often involves the construction of datasets of proteins with given sequence and structural properties. The SCOP da...
132
click to vote
WSC
2004
15 years 5 months ago
2004
The Virtual Test Bed (VTB) is a prototype of a virtual engineering environment to study operations of current and future space vehicles, spaceports, and ranges. The HighLevel Arch...
141
click to vote
CASES
2003
ACM
15 years 9 months ago
2003
ACM
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the po...
144
click to vote
SAC
2003
ACM
15 years 9 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...