5309 search results - page 121 / 1062 » A high performance Erlang system |
156
click to vote
APN
2003
Springer
15 years 11 months ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
252
click to vote
IWUC
2004
15 years 7 months ago
2004
There is an inherent chasm between the real-world and the world that can be perceived by computer systems, yielding uncertainty and ambiguity in system perceived context, with cons...
161
click to vote
CIDR
2009
15 years 7 months ago
2009
Today's sequencing technology allows sequencing an individual genome within a few weeks for a fraction of the costs of the original Human Genome project. Genomics labs are fa...
208
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
Reliability at massive scale is one of the biggest challenges we face at Amazon.com, one of the largest e-commerce operations in the world; even the slightest outage has significa...
176
click to vote
IMAGING
2004
15 years 7 months ago
2004
This research integrates the techniques used for the display of high dynamic range pictorial imagery for the practical visualization of non-pictorial (scientific) imagery such as ...