ACMSE
2004
ACM
14 years 1 months ago
2004
ACM
ACMSE
2004
ACM
14 years 1 months ago
2004
ACM
Replacement policy, one of the key factors determining the effectiveness of a cache, becomes even more important with latest technological trends toward highly associative caches....
ACMSE
2004
ACM
14 years 1 months ago
2004
ACM
Today, as Grid Computing is becoming a reality, there is a need for managing and monitoring the available resources worldwide, as well as the need for conveying these resources to...
ICS
2005
Tsinghua U.
14 years 1 months ago
2005
Tsinghua U.
The Replica Placement Problem (RPP) aims at creating a set of duplicated data objects across the nodes of a distributed system in order to optimize certain criteria. Typically, RP...
GI
2005
Springer
14 years 1 months ago
2005
Springer
GI
2005
Springer
14 years 1 months ago
2005
Springer
: Dieser Beitrag stellt die Integration von OpenOffice.org in eine Lösung für Haushalt und Controlling der Gruppe IT der Bundesanstalt für Finanzdienstleistungsaufsicht BaFin vo...
TLCA
2005
Springer
14 years 1 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
TLCA
2005
Springer
14 years 1 months ago
2005
Springer
TLCA
2005
Springer
14 years 1 months ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
TLCA
2005
Springer
14 years 1 months ago
2005
Springer
Two common misbeliefs about encodings of the λ-calculus in interaction nets (INs) are that they are good only for strategies that are not very well understood (e.g. optimal reduct...