4809 search results - page 894 / 962 » Scalable Analysis of Scalable Systems |
129
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
125
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Online Curriculum Portals aim to support networks of instructors and learners by providing a space of convergence for enhancing peer-to-peer learning interactions among individual...
142
click to vote
SIGMOD
2001
ACM
16 years 4 months ago
2001
ACM
Data warehouses have been successfully employed for assisting decision making by offering a global view of the enterprise data and providing mechanisms for On-Line Analytical proc...
151
click to vote
PODC
2009
ACM
16 years 1 months ago
2009
ACM
The era of parallel computing for the masses is here, but writing correct parallel programs remains far more difficult than writing sequential programs. Aside from a few domains,...
144
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
With the right techniques, multicore architectures may be able to continue the exponential performance trend that elevated the performance of applications of all types for decades...