Sciweavers

4604 search results - page 116 / 921
» Concurrency in Synchronous Systems
Sort
View
188
Voted
ADBIS
1997
Springer
246views Database» more  ADBIS 1997»
15 years 7 months ago
Concurrency Control in Distributed Object-Oriented Database Systems
Simulating distributed database systems is inherently difficult, as there are many factors that may influence the results. This includesarchitectural options as well as workload...
Kjetil Nørvåg, Olav Sandstå, Kj...
181
Voted
IPPS
1995
IEEE
15 years 7 months ago
Operating system support for concurrent remote task creation
This paper describes improvements to the Mach microkernel’s support for efficient application startup across multiple nodes in a cluster or massively parallel processor. Signifi...
Dejan S. Milojicic, David L. Black, Steven J. Sear...
128
Voted
QEST
2010
IEEE
15 years 1 months ago
Information Hiding in Probabilistic Concurrent Systems
Information hiding is a general concept which refers to the goal of preventing an adversary to infer secret information from the observables. Anonymity and Information Flow are exa...
Miguel E. Andrés, Catuscia Palamidessi, Pet...
ENTCS
2010
118views more  ENTCS 2010»
15 years 1 months ago
Systematic Refinement of Performance Models for Concurrent Component-based Systems
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...
Lucia Kapová, Steffen Becker
156
Voted
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
15 years 5 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...