3082 search results - page 482 / 617 » Deviation Analysis: A New Use of Model Checking |
161
click to vote
TITB
2008
15 years 6 months ago
2008
High throughput genome-wide RNAi screening is emerging as an essential tool to assist biologists in understanding complex cellular processes. The large number of images produced in...
171
click to vote
SISAP
2009
IEEE
16 years 1 months ago
2009
IEEE
—It has been a long way since the beginnings of metric space searching, where people coming from algorithmics tried to apply their background to this new paradigm, obtaining vari...
161
click to vote
WSC
2004
15 years 7 months ago
2004
Increased complexity of simulation models and the related modeling needs for global supply chains have necessitated the execution of simulations on multiple processors. While dist...
169
click to vote
GCB
2004
Springer
15 years 11 months ago
2004
Springer
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...
163
click to vote
CHES
2003
Springer
15 years 11 months ago
2003
Springer
We introduce multi-channel attacks, i.e., side-channel attacks which utilize multiple side-channels such as power and EM simultaneously. We propose an adversarial model which combi...