854 search results - page 100 / 171 » Addressing Dynamic Issues of Program Model Checking |
114
click to vote
IEICET
2006
15 years 2 months ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
150
Voted
JCC
2010
15 years 29 days ago
2010
Molecular dynamics (MD) simulation involves solving Newton’s equations of motion for a system of atoms, by calculating forces and updating atomic positions and velocities over a...
120
click to vote
WECWIS
2003
IEEE
15 years 7 months ago
2003
IEEE
Electronic exchanges are double-sided marketplaces that allow multiple buyers to trade with multiple sellers, with aggregation of demand and supply across the bids to maximize the...
122
Voted
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— We recast the problem of unconstrained continuous evolutionary optimization as inference in a fixed graphical model. This approach allows us to address several pervasi...
117
Voted
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
- Rapid progress in deployment of national and regional optical network infrastructures holds the promise to provide abundant, inexpensive bandwidth to scientific communities. The ...