10707 search results - page 286 / 2142 » Designing executable abstractions |
139
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
Particle filtering methods provide powerful techniques for solving non-linear state-estimation problems, and are applied to a variety of application areas in signal processing. Be...
185
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
135
click to vote
MICRO
1997
IEEE
15 years 8 months ago
1997
IEEE
Highly aggressive multi-issue processor designs of the past few years and projections for the next decade require that we redesign the operation of the cache memory system. The nu...
142
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
A large part of safety-critical embedded systems has to satisfy hard real-time constraints. These need sound methods and tools to derive reliable run-time guarantees. The guarante...
165
click to vote
TCAD
2010
14 years 11 months ago
2010
Protein crystallization is a commonly used technique for protein analysis and subsequent drug design. It predicts the 3-D arrangement of the constituent amino acids, which in turn ...