Sciweavers

575 search results - page 7 / 115
» Analysis of program based on Synchronous Active Objects
Sort
View
ENTCS
2002
78views more  ENTCS 2002»
13 years 7 months ago
Slicing Synchronous Reactive Programs
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, novel model of exe...
Vinod Ganapathy, S. Ramesh
MEMOCODE
2010
IEEE
13 years 5 months ago
Compilation of imperative synchronous programs with refined clocks
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
Mike Gemunde, Jens Brandt, Klaus Schneider
CVPR
2008
IEEE
14 years 9 months ago
Correspondence-free multi-camera activity analysis and scene modeling
We propose a novel approach for activity analysis in multiple synchronized but uncalibrated static camera views. We assume that the topology of camera views is unknown and quite a...
Xiaogang Wang, Kinh Tieu, W. Eric L. Grimson
MIDDLEWARE
2001
Springer
14 years 1 days ago
Thread Transparency in Information Flow Middleware
Abstract. Existing middleware is based on control-flow centric interaction models such as remote method invocations, poorly matching the structure of applications that process con...
Rainer Koster, Andrew P. Black, Jie Huang, Jonatha...
CSCW
1996
ACM
13 years 11 months ago
Designing Object-Oriented Synchronous Groupware with COAST
This paper introduces COAST, an object-oriented toolkit for the development of synchronous groupware, which enhances the usability and simplifies the development of such applicati...
Christian Schuckmann, Lutz Kirchner, Jan Schü...