4541 search results - page 685 / 909 » Cache-Oblivious Algorithms and Data Structures |
171
click to vote
SIGADA
2005
Springer
16 years 17 days ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
183
click to vote
FSTTCS
2004
Springer
16 years 15 days ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
167
click to vote
PVM
2004
Springer
16 years 13 days ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
193
click to vote
WWW
2010
ACM
16 years 12 days ago
2010
ACM
Key-value stores (KVSs) are the most prevalent storage systems for large scale web services. As they do not have the structural complexities of RDBMSs, they are more efficient. In...
203
click to vote
IPPS
2003
IEEE
16 years 11 days ago
2003
IEEE
Partial reconfiguration allows for mapping and executing several tasks on an FPGA during runtime. Multitasking on FPGAs raises a number of questions on the management of the reco...