828 search results - page 69 / 166 » Modularity for Timed and Hybrid Systems |
109
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Analog and hybrid computation methods are areas of continued interest, particularly in specific applications where traditional digital computation techniques cannot achieve the de...
132
Voted
AHS
2006
IEEE
15 years 9 months ago
2006
IEEE
The paper presents a novel integrated system in which a number of image processing algorithm are embedded within a Genetic Algorithm (GA) based framework in order to provide an ad...
132
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Future Systems-on-Chips will include multiple heterogeneous processing units, with complex data-dependent shared resource access patterns dictating the performance of a design. Cu...
170
Voted
CEC
2010
IEEE
14 years 10 months ago
2010
IEEE
High-throughput analytical techniques such as nuclear magnetic resonance, protein kinase phosphorylation, and mass spectroscopic methods generate time dense profiles of metabolites...
227
Voted
POPL
2006
ACM
16 years 3 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...