Sciweavers

5344 search results - page 134 / 1069
» Privacy-Preserving Set Operations
Sort
View
CC
2008
Springer
111views System Software» more  CC 2008»
15 years 4 months ago
A System for Generating Static Analyzers for Machine Instructions
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
Junghee Lim, Thomas W. Reps
120
Voted
IFM
2000
Springer
15 years 6 months ago
A Process Compensation Language
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
Michael J. Butler, Carla Ferreira
SUM
2009
Springer
15 years 9 months ago
An Analysis of Sum-Based Incommensurable Belief Base Merging
Different methods have been proposed for merging multiple and potentially conflicting informations. Sum-based operators offer a natural method for merging commensurable prioriti...
Salem Benferhat, Sylvain Lagrue, Julien Rossit
121
Voted
ICALP
2010
Springer
15 years 6 months ago
Mergeable Dictionaries
A data structure is presented for the Mergeable Dictionary abstract data type, which supports the following operations on a collection of disjoint sets of totally ordered data: Pr...
John Iacono, Özgür Özkan
112
Voted
CLUSTER
2006
IEEE
15 years 8 months ago
A Hybrid MPI Simulator
Collective MPI operations are an interesting research topic, since their implementation is complex and there are many different possible ways to improve their performance. It is no...
Rolf Riesen