662 search results - page 29 / 133 » On the use of reduced order models in bifurcation analysis o... |
COMPSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
The parameters in these software reliability models are usually directly obtained from the field failure data. Due to the dynamic properties of the system and the insufficiency of...
WIAMIS
2009
IEEE
14 years 3 months ago
2009
IEEE
Small digital video cameras have become increasingly common, appearing on portable consumer devices such as cellular phones. The widespread use of video-conferencing, however, is ...
CODES
2008
IEEE
13 years 10 months ago
2008
IEEE
We present a system-level technique to analyze the impact of design optimizations on system-level timing dependencies. This technique enables us to speed up the design cycle by su...
ISSTA
1998
ACM
14 years 18 days ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
WSC
1998
13 years 10 months ago
1998
Carousel storage systems are often used to increase storage density, throughput and efficiency while reducing inventory and man-hours. The Hewlett-Packard company has developed a ...