2025 search results - page 279 / 405 » Software performance modelling using PEPA nets |
115
click to vote
C3S2E
2009
ACM
15 years 4 months ago
2009
ACM
Most database systems (DBMSs) today are operating on servers equipped with magnetic disks. In our contribution, we want to motivate the use of two emerging and striking technologi...
130
Voted
BMCBI
2008
15 years 28 days ago
2008
Background: Single nucleotide polymorphisms (SNPs) are the most common genetic variations in the human genome and are useful as genomic markers. Oligonucleotide SNP microarrays ha...
115
Voted
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
100
Voted
ACSC
2004
IEEE
15 years 4 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
121
Voted
DMIN
2006
15 years 2 months ago
2006
Process monitoring refers to the task of detecting abnormal process operations resulting from the shift in the mean and/or the variance of one or more process variables. To success...