Sciweavers

7557 search results - page 597 / 1512
» Constraints as a design pattern
Sort
View
201
Voted
ICCD
2003
IEEE
98views Hardware» more  ICCD 2003»
16 years 4 months ago
Specifying and Verifying Systems with Multiple Clocks
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
Edmund M. Clarke, Daniel Kroening, Karen Yorav
ICCAD
2005
IEEE
79views Hardware» more  ICCAD 2005»
16 years 4 months ago
The impact of the nanoscale on computing systems
— Nanoscale technologies provide both challenges and opportunities. We show that the issues and potential solutions facing designers are technology independent and arise mainly f...
Seth Copen Goldstein
ISVLSI
2006
IEEE
82views VLSI» more  ISVLSI 2006»
16 years 1 months ago
Optimal Periodical Memory Allocation for Logic-in-Memory Image Processors
One major issue in designing image processors is to design a memory system that supports parallel access with a simple interconnection network. This paper presents a design method...
Masanori Hariyama, Michitaka Kameyama, Yasuhiro Ko...
199
Voted
ICW
2005
IEEE
167views Communications» more  ICW 2005»
16 years 27 days ago
Dynamic Software Reconfiguration in Sensor Networks
Reconfiguration and self-adaptation are vital capabilities of sensor networks and networked embedded systems that are required to operate in dynamic environments. This paper prese...
Sachin Kogekar, Sandeep Neema, Xenofon D. Koutsouk...
CODES
2000
IEEE
15 years 11 months ago
Fast performance prediction for periodic task systems
During design exploration, many implementations of the same system specification may need to be evaluated. In this paper, we present an approach to construct sufficient and nece...
Xiaobo Sharon Hu, Gang Quan