1635 search results - page 296 / 327 » DIPC: A System Software Solution for Distributed Programming |
130
Voted
IFIP
1998
Springer
15 years 6 months ago
1998
Springer
The flexible integration of a range of disparate IT applications is a key requirement for today's global enterprises. The virtual enterprise, formed by a collection of collab...
103
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
The decision tree is one of the most fundamental ing abstractions. A commonly used type of decision tree is the alphabetic binary tree, which uses (without loss of generality) &quo...
109
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
Most recent embedded systems use caches to improve their average performance. Current timing analyses are able to compute safe timing guarantees for these systems, if tasks are ru...
108
click to vote
PPPJ
2009
ACM
15 years 6 months ago
2009
ACM
Reuse distance analysis has been proved promising in evaluating and predicting data locality for programs written in Fortran or C/C++. But its effect has not been examined for ap...
136
click to vote
SCP
2010
15 years 6 days ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...