Sciweavers

13181 search results - page 353 / 2637
» Design and Implementation of Cohesion
Sort
View
PVM
1997
Springer
15 years 11 months ago
Message-Passing Program Development by Ensemble
We present Ensemble, a message-passing implementation methodology, applied to PVM. Ensemble overcomes problems and complexities in developing applications in messagepassing enviro...
John Yiannis Cotronis
DDECS
2009
IEEE
95views Hardware» more  DDECS 2009»
16 years 1 months ago
Self-timed full adder designs based on hybrid input encoding
—Self-timed full adder designs based on commercial synchronous resources (standard cells), constructed using a mix of complete delay-insensitive codes adopted for inputs are desc...
Padnamabhan Balasubramanian, D. A. Edwards, C. Bre...
DATE
2008
IEEE
68views Hardware» more  DATE 2008»
16 years 1 months ago
Automatic Generation of Complex Properties for Hardware Designs
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
Frank Rogin, Thomas Klotz, Görschwin Fey, Rol...
SAMOS
2007
Springer
16 years 28 days ago
Design Space Exploration of Configuration Manager for Network Processing Applications
—Current FPGAs provide a powerful platform for network processing applications. The main challenge is the exploitation of the reconfiguration to increase the performance of the s...
Christoforos Kachris, Stamatis Vassiliadis
IPPS
2006
IEEE
16 years 25 days ago
Multiprocessor on chip: beating the simulation wall through multiobjective design space exploration with direct execution
Design space exploration of multiprocessors on chip requires both automatic performance analysis techniques and efficient multiprocessors configuration performance evaluation. Pr...
Riad Ben Mouhoub, Omar Hammami