2652 search results - page 263 / 531 » Privacy-preserving linear programming |
175
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
We discuss the problem of concurrent error detection (CED) with bounded latency in finite state machines (FSMs). The objective of this approach is to reduce the overhead of CED, a...
175
Voted
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
: Nowadays information systems are required to adapt themselves dynamically to the ever changing environment and requirements. Architectural reflection represents a principled mean...
178
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
We consider two software packages that interact with each other as components: Overture and PETSc. An interface between these two packages could be of tremendous value to applicati...
196
click to vote
POS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents the performance evaluation of five memory allocation strategies for the PerDiS Persistent Distributed Object store in the context of allocating two di...
194
click to vote
AICOM
2010
15 years 7 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...