7262 search results - page 577 / 1453 » Reversible Computer Hardware |
160
click to vote
FORMATS
2009
Springer
16 years 28 days ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
157
click to vote
SAT
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Restart strategies are an important factor in the performance of conflict-driven Davis Putnam style SAT solvers. Selecting a good restart strategy for a problem instance...
136
click to vote
SIPEW
2009
Springer
16 years 27 days ago
2009
Springer
The M/G/1 queue is a classical model used to represent a large number of real-life computer and networking applications. In this note, we show that, for coefficients of variation o...
165
click to vote
SIGCOMM
2009
ACM
16 years 26 days ago
2009
ACM
Custom packet processing functionality in routers is one of the key characteristics of next-generation Internet architectures. Network services have been proposed as an abstractio...
175
Voted
ACSD
2008
IEEE
16 years 26 days ago
2008
IEEE
In recent years it has become clear that techniques developed for concurrent programming are in fact very useful for the analysis of complex systems in biology. To some level of i...