Sciweavers

3898 search results - page 61 / 780
» Maintaining Component-Based Systems
Sort
View
ICCCN
2007
IEEE
15 years 9 months ago
Maintaining Routing Tree in IEEE 802.16 Centralized Scheduling Mesh Networks
Abstract— The IEEE 802.16 mesh mode supports two scheduling mechanisms, namely centralized scheduling and distributed scheduling. Centralized scheduling is based on a routing tre...
Yanbin Lu, Guoqing Zhang
MPC
2004
Springer
97views Mathematics» more  MPC 2004»
15 years 8 months ago
Friends Need a Bit More: Maintaining Invariants Over Shared State
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
Michael Barnett, David A. Naumann
109
Voted
CORR
2010
Springer
67views Education» more  CORR 2010»
15 years 1 months ago
Maintaining Virtual Areas on FPGAs using Strip Packing with Delays
—Every year the computing resources available on dynamically partially reconfigurable devices increase enormously. In the near future, we expect many applications to run on a si...
Josef Angermeier, Sándor P. Fekete, Tom Kam...
POPL
2005
ACM
16 years 3 months ago
Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
John Field, Carlos A. Varela
WEBDB
2005
Springer
151views Database» more  WEBDB 2005»
15 years 8 months ago
Constructing Maintainable Semantic Mappings in XQuery
Semantic mapping is one of the important components underlying the data sharing systems. As is known, constructing and maintaining such mappings both are necessary yet extremely h...
Gang Qian, Yisheng Dong