1992 search results - page 169 / 399 » Model Based Testing with Labelled Transition Systems |
117
Voted
HIPC
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we present a system capable of improving the I/O performance in an automatic way. This system is able to learn the behavior of the applications running on top and ...
110
Voted
FORTE
2007
15 years 5 months ago
2007
This paper proposes a diagnosis framework for distributed systems based on pomset languages. Diagnosis is performed by projecting these models on a collection of observable labels ...
126
Voted
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—Many data center devices, for instance packet switches, can be modeled within the context of resource constrained queueing systems. In this paper, we define a novel algorithm c...
233
Voted
CC
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...
129
Voted
ICCAD
2001
IEEE
16 years 17 days ago
2001
IEEE
Dynamic voltage scaling (DVS) is a technique that varies the supply voltage and clock frequency based on the computation load to provide desired performance with the minimal amoun...