Sciweavers

3280 search results - page 380 / 656
» Design Families and Design Individuals
Sort
View
ARCS
2006
Springer
15 years 11 months ago
Biologically-Inspired Optimization of Circuit Performance and Leakage: A Comparative Study
State-of-the-art technologies in very large scale integration (VLSI) allow for the realization of gates with varying energy consumptions and hence delays (i.e., processing speeds) ...
Ralf Salomon, Frank Sill
ATAL
2006
Springer
15 years 11 months ago
Using CHI-scores to reward honest feedback from repeated interactions
Online communities increasingly rely on reputation information to foster cooperation and deter cheating. As rational agents can often benefit from misreporting their observations,...
Radu Jurca, Boi Faltings
CSMR
2004
IEEE
15 years 11 months ago
Source Code Modularization Using Lattice of Concept Slices
Most legacy systems have been altered due to prolonged maintenance to the point that they deviate significantly from their original and intended design and consequently, they lack...
Raihan Al-Ekram, Kostas Kontogiannis
CAV
2001
Springer
80views Hardware» more  CAV 2001»
15 years 11 months ago
Transformation-Based Verification Using Generalized Retiming
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
Andreas Kuehlmann, Jason Baumgartner
ITS
2000
Springer
156views Multimedia» more  ITS 2000»
15 years 11 months ago
A Coached Collaborative Learning Environment for Entity-Relationship Modeling
Abstract. We discuss the design of an agent for coaching collaborative learning in a distance learning context. The learning domain is entity-relationship modeling, a domain in whi...
María de los Angeles Constantino-Gonz&aacut...