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 9 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»
16 years 9 days 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 8 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 1 months 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