5843 search results - page 894 / 1169 » Software Security in Practice |
179
click to vote
EMSOFT
2004
Springer
16 years 1 days ago
2004
Springer
Cache prediction for preemptive scheduling is an open issue despite its practical importance. First analysis approaches use simplified models for cache behavior or they assume si...
193
click to vote
ESA
2004
Springer
16 years 1 days ago
2004
Springer
Sample sort, a generalization of quicksort that partitions the input into many pieces, is known as the best practical comparison based sorting algorithm for distributed memory para...
160
click to vote
ICFEM
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...
163
click to vote
DSN
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract— Reliable point-to-point communication is usually achieved in overlay networks by applying TCP/IP on the end nodes of a connection. This paper presents an hopby-hop reli...
156
click to vote
FDL
2003
IEEE
15 years 12 months ago
2003
IEEE
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business ...