Sciweavers

1615 search results - page 176 / 323
» Adaptive programming in JAsCo
Sort
View
149
Voted
ICPP
2008
IEEE
15 years 10 months ago
Mapping Algorithms for Multiprocessor Tasks on Multi-Core Clusters
In this paper, we explore the use of hierarchically structured multiprocessor tasks (M-tasks) for programming multi-core cluster systems. These systems often have hierarchically s...
Jörg Dümmler, Thomas Rauber, Gudula R&uu...
SASO
2008
IEEE
15 years 10 months ago
Spatial Computing with Labels
— A reconfigurable robot is a robot that can change shape. Programming reconfigurable robots is complicated by the need to adapt the behavior of each of the individual module t...
Ulrik Pagh Schultz, Mirko Bordignon, David Johan C...
MDM
2007
Springer
103views Communications» more  MDM 2007»
15 years 9 months ago
Variant Bandwidth Channel Allocation in the Data Broadcasting Environment
Data broadcast is a technique to realize energy saving and bandwidth utilization in a mobile computing environment. However, traditional schemes schedule data items without consid...
Chung-Hua Chu, Hao-Ping Hung, Ming-Syan Chen
UML
2005
Springer
15 years 9 months ago
Visualization in the Context of Model Driven Engineering
Understanding and maintenance of complex information spaces is often supported through visual interfaces. These interfaces must be highly flexible in order to adapt to both the u...
R. Ian Bull, Jean-Marie Favre
CONCUR
2004
Springer
15 years 9 months ago
A Semantics for Concurrent Separation Logic
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
Stephen D. Brookes