10891 search results - page 1907 / 2179 » Combining Model Reductions |
113
click to vote
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
We present a typed calculus IL ("intermediate language") which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without fa...
104
click to vote
ESORICS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We consider the problem of efficient key management and user revocation in cryptographic file systems that allow shared access to files. A performanceefficient solution t...
132
click to vote
ESTIMEDIA
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents the influence of the loop nest splitting source code optimization on the worst-case execution time (WCET). Loop nest splitting minimizes the number of executed...
113
click to vote
EWCBR
2006
Springer
15 years 4 months ago
2006
Springer
The success of a company more and more depends on its ability to flexibly and quickly react to changes. Combining process management techniques and conversational case-based reason...
108
click to vote
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
Synchronous Data Flow Graphs (SDFGs) have proven to be suitable for specifying and analyzing streaming applications that run on single- or multi-processor platforms. Streaming appl...