Sciweavers

1205 search results - page 126 / 241
» On P Systems with Bounded Parallelism
Sort
View
CCGRID
2007
IEEE
13 years 10 months ago
A Distributed Query Execution Engine in a Grid Environment
Grid is a computational environment in which applications can use multiple distributed computational resources in a safe, coordinated, efficient and transparent way. Data Integra...
Gustavo G. Trevisol, Cristiano Biancardi, Á...
SYNASC
2005
IEEE
84views Algorithms» more  SYNASC 2005»
14 years 3 months ago
Membrane Computing as a Framework for Modeling Economic Processes
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
Gheorghe Paun, Radu A. Paun
ICDCS
2002
IEEE
14 years 3 months ago
On Peer-to-Peer Media Streaming
In this paper, we study a peer-to-peer media streaming system with the following characteristics: (1) its streaming capacity grows dynamically; (2) peers do not exhibit serverlike...
Dongyan Xu, Mohamed Hefeeda, Susanne E. Hambrusch,...
ICFEM
2009
Springer
14 years 4 months ago
Approximate Model Checking of PCTL Involving Unbounded Path Properties
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
Samik Basu, Arka P. Ghosh, Ru He
ASPLOS
2000
ACM
14 years 2 months ago
Hoard: A Scalable Memory Allocator for Multithreaded Applications
Parallel, multithreaded C and C++ programs such as web servers, database managers, news servers, and scientific applications are becoming increasingly prevalent. For these applic...
Emery D. Berger, Kathryn S. McKinley, Robert D. Bl...