Sciweavers

3108 search results - page 230 / 622
» The Elements of Computer Credibility
Sort
View
CAISE
1993
Springer
15 years 10 months ago
Similarity for Analogical Software Reuse: A Conceptual Modelling Approach
We present our approach to defining similarity between software artifacts and discuss its potential exploitation in software reuse by analogy. We first establish properties of si...
George Spanoudakis, Panos Constantopoulos
COCO
1989
Springer
110views Algorithms» more  COCO 1989»
15 years 10 months ago
The Complexity of Iterated Multiplication
For a monoid G, the iterated multiplication problem is the computation of the product of n elements from G. By re ning known completeness arguments, we show that as G varies over ...
Neil Immerman, Susan Landau
ASPDAC
2006
ACM
726views Hardware» more  ASPDAC 2006»
15 years 10 months ago
Newton: a library-based analytical synthesis tool for RF-MEMS resonators
Newton is a library-based CAD tool with an analytical synthesis engine which has been developed to support the direct synthesis of the physical design and an electromechanically eq...
Michael S. McCorquodale, James L. McCann, Richard ...
FCCM
2004
IEEE
144views VLSI» more  FCCM 2004»
15 years 10 months ago
Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine
In this paper we present a novel use of an FPGA as a computing element for streaming based application. We investigate the virtualized execution of dynamic reconfigurable tasks. We...
Matthias Dyer, Marco Platzner, Lothar Thiele
CAE
2005
15 years 9 months ago
Form Follows Function: Aesthetic Interactive Labels
Labels effectively convey co-referential relations between textual and visual elements and are a powerful tool to support learning tasks. Therefore, almost all illustrations in sc...
Timo Götzelmann, Kamran Ali, Knut Hartmann, T...