769 search results - page 1 / 154 » Minimizing system modification in an incremental design appr... |
CODES
2001
IEEE
13 years 9 months ago
2001
IEEE
FLAIRS
2000
13 years 7 months 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
13 years 11 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...
IEE
2007
13 years 5 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...
JAIR
2008
13 years 5 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...