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 9 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 13 days 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 4 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 1 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 6 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