2881 search results - page 564 / 577 » Model Checking for Programming Languages using Verisoft |
186
Voted
RSP
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract— John von Neumann proposed his famous architecture in a context where hardware was very expensive and bulky. His goal was to maximize functionality with minimal hardware...
179
Voted
CC
2010
Springer
16 years 1 months ago
2010
Springer
On Chip Multiprocessors (CMP), it is common that multiple cores share certain levels of cache. The sharing increases the contention in cache and memory-to-chip bandwidth, further h...
152
click to vote
DBPL
2003
Springer
15 years 11 months ago
2003
Springer
The increased usage of mobile devices coupled with an unprecedented demand for information has pushed the scalability problem of pull-based data service to the focus. A broadcast ...
169
Voted
CP
2007
Springer
16 years 16 days ago
2007
Springer
Searching for optimal solutions to a problem using lower bounds obtained from a relaxation is a common idea in Heuristic Search and Planning. In SAT and CSPs, however, explicit rel...
177
click to vote
UM
2007
Springer
16 years 14 days ago
2007
Springer
Personalization is one of the important research issues in the areas of information retrieval and Web search. Providing personalized services that are tailored toward the specific...