Sciweavers

2454 search results - page 158 / 491
» A simulator for adaptive parallel applications
Sort
View
CONCUR
2007
Springer
15 years 2 months ago
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. ...
HIPC
2009
Springer
14 years 7 months ago
Detailed analysis of I/O traces for large scale applications
- In this paper, we present a tool to extract I/O traces from very large applications running at full scale during their production runs. We analyze these traces to gain informatio...
Nithin Nakka, Alok N. Choudhary, Wei-keng Liao, Le...
IEICET
2006
105views more  IEICET 2006»
14 years 10 months ago
An Adaptive Frame-Based Interpolation Method of Channel Estimation for Space-Time Block Codes in Moderate Fading Channels
Abstract -- The application of Orthogonal SpaceTime Block Codes (O-STBC) as the encoding scheme in the presence of "non-quasi-static" fading was considered. A simple and ...
Gabriel Porto Villardi, Giuseppe Thadeu Freitas de...
WICON
2008
14 years 11 months ago
Exploiting parallel networks using dynamic channel scheduling
Many researchers have been focusing on the outcomes and consequences of the rapid increase and proliferation of mobile wireless technologies. If it is not already the case, it wil...
Lara B. Deek, Kevin C. Almeroth, Mike P. Wittie, K...
IPPS
2009
IEEE
15 years 4 months ago
A resource allocation approach for supporting time-critical applications in grid environments
— There are many grid-based applications where a timely response to an important event is needed. Often such response can require a significant computation and possibly communic...
Qian Zhu, Gagan Agrawal