Sciweavers

601 search results - page 2 / 121
» An Optimality Principle for Concurrent Systems
Sort
View
VLDB
1991
ACM
146views Database» more  VLDB 1991»
13 years 11 months ago
Adaptive Load Control in Transaction Processing Systems
Thrashing in transactionprocessingsystemscan be prevented by controlling the number of concurrently running transactions. Becausethe optimal concurrency level strongly dependson t...
Hans-Ulrich Heiss, Roger Wagner
CALCO
2007
Springer
110views Mathematics» more  CALCO 2007»
14 years 1 months ago
Logical Semantics of Types for Concurrency
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
Luís Caires
SAMOS
2010
Springer
13 years 5 months ago
Programming multi-core architectures using Data-Flow techniques
Abstract—In this paper we present a Multithreaded programming methodology for multi-core systems that utilizes DataFlow concurrency. The programmer augments the program with macr...
Samer Arandi, Paraskevas Evripidou
JPDC
2011
219views more  JPDC 2011»
13 years 2 months ago
BlobSeer: Next-generation data management for large scale infrastructures
As data volumes increase at a high speed in more and more application fields of science, engineering, information services, etc., the challenges posed by data-intensive computing...
Bogdan Nicolae, Gabriel Antoniu, Luc Bougé,...
FUIN
2006
106views more  FUIN 2006»
13 years 7 months ago
Architectural Principles and Scheduling Strategies for Computing Agent Systems
The paper introduces the formal description of a computing multi-agent system (MAS), its architecture and dynamics (sections 2
Marek Grochowski, Robert Schaefer, Maciej Smolka