551 search results - page 98 / 111 » Using Model Checking for Reducing the Cost of Test Generatio... |
SIGMETRICS
2008
ACM
13 years 8 months ago
2008
ACM
Abstract. When installing network intrusion detection systems (NIDSs), operators are faced with a large number of parameters and analysis options for tuning trade-offs between dete...
SIGMETRICS
2012
ACM
11 years 11 months ago
2012
ACM
The demand for data center computing increased significantly in recent years resulting in huge energy consumption. Data centers typically comprise three main subsystems: IT equip...
HOTI
2008
IEEE
14 years 3 months ago
2008
IEEE
We present a new monolithic silicon photonics technology suited for integration with standard bulk CMOS processes, which reduces costs and improves opto-electrical coupling compar...
HIPEAC
2005
Springer
14 years 2 months ago
2005
Springer
This paper shows that Appel-style garbage collectors often make suboptimal decisions both in terms of when and how to collect. We argue that garbage collection should be done when ...
SIGGRAPH
1992
ACM
14 years 23 days ago
1992
ACM
To reduce the cost of correcting design errors, assemblies of mechanical parts are modeled using CAD systems and verified electronically before the designs are sent to manufacturi...