5326 search results - page 375 / 1066 » On what we can ensure |
179
click to vote
FTCS
1998
15 years 8 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
185
click to vote
GRID
2008
Springer
15 years 7 months ago
2008
Springer
Large-scale computing environments, such as TeraGrid, Distributed ASCI Supercomputer (DAS), and Grid’5000, have been using resource co-allocation to execute applications on mult...
145
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
We describe how to control the cumulative use of distributed grid resources by using coordination aware policy decision points (coordinated PDPs) and an SQL database to hold "...
202
click to vote
DEBU
2008
15 years 6 months ago
2008
With the increasing popularity of recommender systems in commercial services, the quality of recommendations has increasingly become an important to study, much like the quality o...
175
click to vote
BC
2002
15 years 6 months ago
2002
The operation of a hierarchical competitive network model (VisNet) of invariance learning in the visual system is investigated to determine how this class of architecture can solve...