Sciweavers

614 search results - page 4 / 123
» The Power of Methods With Parallel Semantics
Sort
View
96
Voted
ICDE
2006
IEEE
146views Database» more  ICDE 2006»
15 years 4 months ago
Model Video Semantics with Constraints Considering Temporal Structure and Typed Events
The advances of video technology and video-related applications demand appropriate video semantic models for representing video data and their semantics, and supporting powerful s...
Yu Wang, Lizhu Zhou, Jianyong Wang
87
Voted
FORTE
2008
14 years 11 months ago
Distributed Semantics and Implementation for Systems with Interaction and Priority
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...
Ananda Basu, Philippe Bidinger, Marius Bozga, Jose...
PDCAT
2009
Springer
15 years 4 months ago
Supporting Partial Ordering with the Parallel Iterator
With the advent of multi-core processors, desktop application developers must finally face parallel computing and its challenges. A large portion of the computational load in a p...
Nasser Giacaman, Oliver Sinnen
84
Voted
AUSAI
2007
Springer
15 years 2 months ago
Planning as Satisfiability with Relaxed $-Step Plans
Planning as satisfiability is a powerful approach to solving domain independent planning problems. In this paper, we consider a relaxed semantics for plans with parallel operator a...
Martin Wehrle, Jussi Rintanen
82
Voted
LICS
1996
IEEE
15 years 2 months ago
The Essence of Parallel Algol
We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. Procedures permit encapsulation of common parallel programming idioms. Local var...
Stephen D. Brookes