Sciweavers

5744 search results - page 813 / 1149
» System level design, a VHDL based approach
Sort
View
DATE
2005
IEEE
101views Hardware» more  DATE 2005»
16 years 14 days ago
New Perspectives and Opportunities From the Wild West of Microelectronic Biochips
Application of Microelectronic to bioanalysis is an emerging field which holds great promise. From the standpoint of electronic and system design, biochips imply a radical change ...
Nicolò Manaresi, Gianni Medoro, Melanie Abo...
PROMAS
2005
Springer
16 years 10 days ago
Extending the Capability Concept for Flexible BDI Agent Modularization
Abstract. Multi-agent systems are a natural way of decomposing complex systems into more manageable and decentralized units. Nevertheless, as single agents can represent complex su...
Lars Braubach, Alexander Pokahr, Winfried Lamersdo...
ICCAD
2006
IEEE
141views Hardware» more  ICCAD 2006»
16 years 3 months ago
A code refinement methodology for performance-improved synthesis from C
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...
Greg Stitt, Frank Vahid, Walid A. Najjar
HYBRID
2010
Springer
15 years 12 months ago
Safe compositional network sketches: formal framework
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Mi...
CHARME
2001
Springer
133views Hardware» more  CHARME 2001»
15 years 11 months ago
View from the Fringe of the Fringe
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
Steven D. Johnson