769 search results - page 1 / 154 » Minimizing system modification in an incremental design appr... |
53
Voted
CODES
2001
IEEE
15 years 2 months ago
2001
IEEE
FLAIRS
2000
15 years 7 days ago
2000
Many knowledge acquisition approaches have been proposed to minimize the cognitive effort in knowledgebased system construction. The knowledge acquisition approach proposed here p...
ASPDAC
2005
ACM
15 years 4 months ago
2005
ACM
: In ultra-deep submicron VLSI circuits, clock network is a major source of power consumption and power supply noise. Therefore, it is very important to minimize clock network size...
80
Voted
IEE
2007
14 years 10 months ago
2007
Because of the increasingly diverse and dynamic environments in which they must operate, modern middleware platforms need to explicitly support modifiability. Modifiability should...
82
Voted
JAIR
2008
14 years 11 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...