Sciweavers

13101 search results - page 257 / 2621
» The design and implementation of microdrivers
Sort
View
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 23 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 20 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
TABLETOP
2006
IEEE
16 years 19 days ago
Supporting the creation of Mood Boards: Industrial Design in Mixed Reality
Advancements in mixed-reality (MR) systems have concentrated on the technology required for implementation, providing proof-of-concepts by means of technology-tailored usage scena...
Andrés Lucero, Jean-Bernard Martens
CODES
2005
IEEE
16 years 8 days ago
Automatic network generation for system-on-chip communication design
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....
Dongwan Shin, Andreas Gerstlauer, Rainer Döme...