3993 search results - page 658 / 799 » Matchmaking for Structured Objects |
104
click to vote
TACS
1997
Springer
15 years 7 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
116
click to vote
RTSS
1994
IEEE
15 years 7 months ago
1994
IEEE
This paper presents a comprehensive design methodology for guaranteeing end-to-end requirements of real-time systems. Applications are structured as a set of process components co...
116
click to vote
EUROSYS
2010
ACM
15 years 7 months ago
2010
ACM
Effective use of CPU data caches is critical to good performance, but poor cache use patterns are often hard to spot using existing execution profiling tools. Typical profilers at...
149
click to vote
DL
1994
Springer
15 years 7 months ago
1994
Springer
Digital Libraries will hold huge amounts of text and other forms of information. For the collections to be maximally useful, they must be highly organized with useful indexes and ...
122
click to vote
PEPM
1993
ACM
15 years 7 months ago
1993
ACM
In this tutorial the specialisation of declarative logic programs is presented. The main correctness results are given, and the outline of a basic algorithm for partial evaluation...