Sciweavers

1052 search results - page 9 / 211
» The Regular Real-Time Languages
Sort
View
ISPDC
2006
IEEE
14 years 1 months ago
Distributed, Real-Time Programming on Commodity POSIX Systems: A Preliminary Report
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
Stefan D. Bruda, Petter Haggholm, Scott Stoddard
FORMATS
2005
Springer
14 years 28 days ago
Real Time Temporal Logic: Past, Present, Future
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
Oded Maler, Dejan Nickovic, Amir Pnueli
GLOBECOM
2006
IEEE
14 years 1 months ago
End-to-end Congestion Management for Real-Time Streaming Video over the Internet
– In this paper, we propose a new transport protocol, namely Scalable Streaming Video Protocol (SSVP), which employs an AIMD-oriented congestion control mechanism. SSVP, in a com...
Panagiotis Papadimitriou, Vassilis Tsaoussidis
ICECCS
1996
IEEE
83views Hardware» more  ICECCS 1996»
13 years 11 months ago
Toward Compiler Optimization of Distributed Real-Time Processes
Compiler optimization techniques have been applied to facilitate development and performance tuning of non-real-time systems. Unfortunately, regular compiler optimization can comp...
Mohamed F. Younis, Thomas J. Marlowe, Grace Tsai, ...
VMV
2008
165views Visualization» more  VMV 2008»
13 years 8 months ago
Fast Global Labeling for Real-Time Stereo Using Multiple Plane Sweeps
This work presents a real-time, data-parallel approach for global label assignment on regular grids. The labels are selected according to a Markov random field energy with a Potts...
Christopher Zach, David Gallup, Jan-Michael Frahm,...