5595 search results - page 1076 / 1119 » Comparing Subsumption Optimizations |
NGC
2000
Springer
14 years 2 days ago
2000
Springer
Several architectures have been recently proposed to support IP mobility. Most studies, however, show that current protocols, in general, fall short from satisfying the performanc...
SPAA
1997
ACM
14 years 1 days ago
1997
ACM
A parallel multithreaded program that is ostensibly deterministic may nevertheless behave nondeterministically due to bugs in the code. These bugs are called determinacy races, an...
SIGSOFT
1995
ACM
14 years 1 days ago
1995
ACM
—We conducted a long-term experiment to compare the costs and benefits of several different software inspection methods. These methods were applied by professional developers to ...
DAC
1994
ACM
14 years 16 hour ago
1994
ACM
In this paper, we revisit the classical problem of functional decomposition [1, 2] that arises so often in logic synthesis. One basic problem that has remained largely unaddressed...
EDBT
2010
ACM
13 years 11 months ago
2010
ACM
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...