Sciweavers

796 search results - page 137 / 160
» The Semantics of Abstract Program Slicing
Sort
View
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
14 years 1 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
PCM
2004
Springer
105views Multimedia» more  PCM 2004»
14 years 1 months ago
Multimedia Integration for Cooking Video Indexing
Abstract. We have been working on the integration of video with supplementary documents, such as cooking programs. We propose an integration system that performs semantic segmentat...
Reiko Hamada, Koichi Miura, Ichiro Ide, Shin'ichi ...
UIST
2003
ACM
14 years 1 months ago
A molecular architecture for creating advanced GUIs
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
Eric Lecolinet
GPCE
2003
Springer
14 years 1 months ago
SynchNet: A Petri Net Based Coordination Language for Distributed Objects
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
Reza Ziaei, Gul Agha
CC
2001
Springer
131views System Software» more  CC 2001»
14 years 12 days ago
Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications
Abstract. Efficient implementation of DSP applications are critical for embedded systems. However, current applications written in C, make extensive use of pointer arithmetic maki...
Björn Franke, Michael F. P. O'Boyle