3272 search results - page 273 / 655 » Introduction to Software Performance Engineering |
191
click to vote
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
Network-centric computing aims to solve the problems associated with traditional client/server systems, namely the high performance requirements, and costly maintenance of, the co...
173
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
177
click to vote
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
Next generation embedded systems place new demands on an efficient methodology for their design and verification. These systems have to support interaction over a network, multipl...
144
click to vote
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper, we present thread-based optimistic distributed timed cosimulation methods which reduce the overhead of optimistic simulation. First, we present thread simulation mo...
142
click to vote
UIST
1998
ACM
15 years 11 months ago
1998
ACM
This paper describes a new user interface, called a fingerprint user interface (FUI), which employs fingerprint recognition. While the unique feature patterns of fingerprints have...