Sciweavers

7080 search results - page 573 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
EMSOFT
2001
Springer
15 years 10 months ago
Interface Theories for Component-Based Design
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
Luca de Alfaro, Thomas A. Henzinger
EVOW
2003
Springer
15 years 11 months ago
GAME-HDL: Implementation of Evolutionary Algorithms Using Hardware Description Languages
Evolutionary Algorithms (EAs) have been proposed as a very powerful heuristic optimization technique to solve complex problems. Many case studies have shown that they work very eff...
Rolf Drechsler, Nicole Drechsler
SP
2010
IEEE
158views Security Privacy» more  SP 2010»
15 years 10 months ago
Tamper Evident Microprocessors
Abstract—Most security mechanisms proposed to date unquestioningly place trust in microprocessor hardware. This trust, however, is misplaced and dangerous because microprocessors...
Adam Waksman, Simha Sethumadhavan
BMCBI
2006
137views more  BMCBI 2006»
15 years 6 months ago
Improving the accuracy of protein secondary structure prediction using structural alignment
Background: The accuracy of protein secondary structure prediction has steadily improved over the past 30 years. Now many secondary structure prediction methods routinely achieve ...
Scott Montgomerie, Shan Sundararaj, Warren J. Gall...
SBCCI
2006
ACM
139views VLSI» more  SBCCI 2006»
16 years 8 days ago
Infrastructure for dynamic reconfigurable systems: choices and trade-offs
Platform-based design is a method to implement complex SoCs, avoiding chip design from scratch. A promising evolution of platform-based design are MPSoC. Such generic architecture...
Leandro Möller, Rafael Soares, Ewerson Carval...