4313 search results - page 624 / 863 » Using time travel to diagnose computer problems |
204
click to vote
EDBT
2008
ACM
16 years 7 months ago
2008
ACM
Enterprises may have multiple database systems spread across the organization for redundancy or for serving different applications. In such systems, query workloads can be distrib...
239
click to vote
CODES
2009
IEEE
16 years 2 months ago
2009
IEEE
Since flash memory has many attractive characteristics such as high performance, non-volatility, low power consumption and shock resistance, it has been widely used as storage med...
194
click to vote
VMCAI
2005
Springer
16 years 26 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
195
click to vote
JSC
2010
15 years 5 months ago
2010
We consider the problem of solving a linear system Ax = b over a cyclotomic field. What makes cyclotomic fields of special interest is that we can easily find a prime p that sp...
239
click to vote
PRIB
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. An important unsolved problem in structural bioinformatics is that of protein structure prediction (PSP), the reconstruction of a biologically plausible three-dimensional...