Sciweavers

2092 search results - page 205 / 419
» A domain specific modeling language for multiagent systems
Sort
View
ENTCS
2006
231views more  ENTCS 2006»
14 years 11 months ago
SaveCCM: An Analysable Component Model for Real-Time Systems
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
Jan Carlson, John Håkansson, Paul Pettersson
ICRA
2006
IEEE
104views Robotics» more  ICRA 2006»
15 years 5 months ago
Implicit Coordination in Robotic Teams using Learned Prediction Models
— Many application tasks require the cooperation of two or more robots. Humans are good at cooperation in shared workspaces, because they anticipate and adapt to the intentions a...
Freek Stulp, Michael Isik, Michael Beetz
PROCEDIA
2010
148views more  PROCEDIA 2010»
14 years 5 months ago
SysCellC: a data-flow programming model on multi-GPU
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
Dominique Houzet, Sylvain Huet, Anis Rahman
CODES
2004
IEEE
15 years 2 months ago
Facilitating reuse in hardware models with enhanced type inference
High-level hardware modeling is an essential, yet time-consuming, part of system design. However, effective component-based reuse in hardware modeling languages can reduce model c...
Manish Vachharajani, Neil Vachharajani, Sharad Mal...
ATAL
2008
Springer
15 years 29 days ago
Semantic matchmaking of web services using model checking
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...
Akin Günay, Pinar Yolum