Sciweavers

1081 search results - page 14 / 217
» Hierarchical Heterogeneous Specifications
Sort
View
IEEEPACT
2009
IEEE
13 years 6 months ago
Algorithmic Skeletons within an Embedded Domain Specific Language for the CELL Processor
Efficiently using the hardware capabilities of the Cell processor, a heterogeneous chip multiprocessor that uses several levels of parallelism to deliver high performance, and bei...
Tarik Saidani, Joel Falcou, Claude Tadonki, Lionel...
WWW
2006
ACM
14 years 9 months ago
Adding semantics to rosettaNet specifications
The use of Semantic Web Service (SWS) technologies have been suggested to enable more dynamic B2B integration of heterogeneous systems and partners. We present how we add semantic...
Paavo Kotinurmi, Tomas Vitvar
ENTCS
2006
141views more  ENTCS 2006»
13 years 8 months ago
Verification of Distributed Hierarchical Components
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
Tomás Barros, Ludovic Henrio, Eric Madelain...
FLAIRS
2008
13 years 10 months ago
Declarative Specification and Interpretation of Rule-Based Systems
A declarative rule inference engine can be very useful for modern distributed or heterogeneous applications, if it can be configured for multiple semantics and evaluation strategi...
Dietmar Seipel, Joachim Baumeister
TROB
2008
128views more  TROB 2008»
13 years 8 months ago
Convergence-Preserving Switching for Topology-Dependent Decentralized Systems
Abstract-- Stability analysis of decentralized control mechanisms for networked, coordinating systems has generally focused on specific controller implementations, such as nearest ...
Brian Shucker, Todd D. Murphey, John K. Bennett