Sciweavers

3108 search results - page 158 / 622
» An Approach to Incremental Design of Distributed Embedded Sy...
Sort
View
ASYNC
2002
IEEE
120views Hardware» more  ASYNC 2002»
15 years 8 months ago
Relative Timing Based Verification of Timed Circuits and Systems
Advanced clock-delayed1 and self-resetting domino circuits are becoming increasingly important design styles in aggressive synchronous as well as asynchronous design. Their design...
Peter A. Beerel, Ken S. Stevens, Hoshik Kim
263
Voted
FM
1997
Springer
258views Formal Methods» more  FM 1997»
15 years 7 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
151
Voted
GECCO
2005
Springer
125views Optimization» more  GECCO 2005»
15 years 9 months ago
Improving EA-based design space exploration by utilizing symbolic feasibility tests
This paper will propose a novel approach in combining Evolutionary Algorithms with symbolic techniques in order to improve the convergence of the algorithm in the presence of larg...
Thomas Schlichter, Christian Haubelt, Jürgen ...
ICSE
2001
IEEE-ACM
15 years 8 months ago
Composition Patterns: An Approach to Designing Reusable Aspects
Requirements such as distribution or tracing have an impact on multiple classes in a system. They are cross-cutting requirements, or aspects. Their support is, by necessity, scatt...
Siobhán Clarke, Robert J. Walker
129
Voted
KDD
1999
ACM
199views Data Mining» more  KDD 1999»
15 years 7 months ago
The Application of AdaBoost for Distributed, Scalable and On-Line Learning
We propose to use AdaBoost to efficiently learn classifiers over very large and possibly distributed data sets that cannot fit into main memory, as well as on-line learning wher...
Wei Fan, Salvatore J. Stolfo, Junxin Zhang