Sciweavers

1292 search results - page 100 / 259
» A Designer's Guide to KEMs
Sort
View
ICCAD
1997
IEEE
90views Hardware» more  ICCAD 1997»
14 years 7 days ago
Transformational partitioning for co-design of multiprocessor systems
This paper presents the underlying methodology of Cosmos, an interactive approach for hardware software co-design capable of handling multiprocessor systems and distributed archit...
Gilberto Fernandes Marchioro, Jean-Marc Daveau, Ah...
ARITH
2007
IEEE
14 years 1 days ago
Robust Energy-Efficient Adder Topologies
In this paper we explore the relationship between adder topology and energy efficiency. We compare the energy-delay tradeoff curves of selected 32-bit adder topologies, to determi...
Dinesh Patil, Omid Azizi, Mark Horowitz, Ron Ho, R...
APSEC
2006
IEEE
13 years 10 months ago
Using Operational Architecture to Model Embedded Software
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...
Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae
FMICS
2008
Springer
13 years 9 months ago
Formal Verification of the Implementability of Timing Requirements
There has been relatively little work on the implementability of timing requirements. We have previously provided definitions of fundamental timing operators that explicitly consid...
Xiayong Hu, Mark Lawford, Alan Wassyng
ESWA
2006
96views more  ESWA 2006»
13 years 8 months ago
Identifying requirements for communication support: A maturity grid-inspired approach
Communication is a critical success factor in design. It can be seen as the social and cognitive process by which information is selected, messages are exchanged between interacti...
Anja M. Maier, Claudia M. Eckert, P. John Clarkson