Sciweavers

2088 search results - page 284 / 418
» Formal Approach to Integrating Feature and Architecture Mode...
Sort
View
PROCEDIA
2011
14 years 9 months ago
A Multilevel Parallelism Support for Multi-Physics Coupling
A new challenge in scientific computing is to merge existing simulation models to create new higher fidelity combined (often multi-level) models. While this challenge has been a...
Fang Liu, Masha Sosonkina
ASPLOS
2008
ACM
15 years 8 months ago
Merge: a programming model for heterogeneous multi-core systems
In this paper we propose the Merge framework, a general purpose programming model for heterogeneous multi-core systems. The Merge framework replaces current ad hoc approaches to p...
Michael D. Linderman, Jamison D. Collins, Hong Wan...
ISER
2004
Springer
117views Robotics» more  ISER 2004»
15 years 11 months ago
Synthesis and Analysis of Non-Reactive Controllers for Multi-Robot Sequential Task Domains
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
Chris Jones, Maja J. Mataric
ECTEL
2010
Springer
15 years 7 months ago
Orchestrating Learning Using Adaptive Educational Designs in IMS Learning Design
: IMS Learning Design (IMS LD) is an open specification to support interoperability of advanced educational designs for a wide range of technology-enhanced learning solutions and o...
Marion R. Gruber, Christian Glahn, Marcus Specht, ...
FMICS
2009
Springer
16 years 27 days ago
A Rigorous Methodology for Composing Services
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
Kenneth J. Turner, Koon Leai Larry Tan