2025 search results - page 207 / 405 » Software performance modelling using PEPA nets |
141
Voted
HPCA
1996
IEEE
15 years 8 months ago
1996
IEEE
Shared virtual memory is a software technique to provide shared memory on a network of computers without special hardware support. Although several relaxed consistency models and ...
139
Voted
JCP
2008
15 years 3 months ago
2008
In a fast changing market environment the task of reducing the downtime for change management of business processes has high importance. Ensuring that IT reflects the updated busin...
141
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
129
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
127
click to vote
SCAM
2006
IEEE
15 years 9 months ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...