Sciweavers

1231 search results - page 115 / 247
» A Model Transformation Approach for Design Pattern Evolution...
Sort
View
DAC
2012
ACM
13 years 7 months ago
Equivalence checking for behaviorally synthesized pipelines
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
Kecheng Hao, Sandip Ray, Fei Xie
IPPS
2003
IEEE
15 years 10 months ago
An Executable Analytical Performance Evaluation Approach for Early Performance Prediction
Percolation has recently been proposed as a key component of an advanced program execution model for future generation high-end machines featuring adaptive data/code transformatio...
Adeline Jacquet, Vincent Janot, Clement Leung, Gua...
147
Voted
NPL
2002
110views more  NPL 2002»
15 years 4 months ago
Biologically Plausible Associative Memory: Continuous Unit Response + Stochastic Dynamics
A neural network model of associative memory is presented which unifies the two historically more relevant enhancements to the basic Little-Hopfield discrete model: the graded resp...
Enrique Carlos Segura Meccia, Roberto P. J. Perazz...
GLVLSI
2000
IEEE
95views VLSI» more  GLVLSI 2000»
15 years 9 months ago
MCM placement using a realistic thermal model
— Typically, placement algorithms attempt to minimize the total net length of a printed circuit board (PCB). However, an MCM’s increased throughput and dense circuitry can easi...
Craig Beebe, Jo Dale Carothers, Alfonso Ortega
DAC
1998
ACM
16 years 5 months ago
Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
James Shin Young, Josh MacDonald, Michael Shilman,...