2586 search results - page 342 / 518 » Automatic Abstraction for Congruences |
211
click to vote
MM
2009
ACM
16 years 29 days ago
2009
ACM
In basketball games, wild-open means that there is an offensive player not well defended by his/her opponents. The occurrence of wild-open usually implies the existence of a succe...
156
click to vote
CEC
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
169
click to vote
CEC
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract— The DNA fragment assembly problem is to reconstruct a DNA chain from multiple fragments that have previously been sequenced in a laboratory. This is a critical step in ...
136
click to vote
DATE
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract—Embedded system secondary storage size is often constrained, yet storage demands are growing as a result of increasing application complexity and storage of personal dat...
185
click to vote
GLOBECOM
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract—We develop and evaluate a new method for estimating and optimizing various performance metrics for multihop wireless networks, including MANETs. We introduce an approxim...