2943 search results - page 322 / 589 » Software Implementation of Synchronous Programs |
163
click to vote
ISORC
1998
IEEE
15 years 7 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
111
click to vote
USENIX
2003
15 years 4 months ago
2003
We describe a new system, called guievict, that enables the graphical user interface (GUI) of any application to be transparently migrated to or replicated on another display with...
129
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
161
click to vote
PPOPP
2005
ACM
15 years 8 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
121
Voted
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
The behavior of a multithreaded program does not depend only on its inputs. Scheduling, memory reordering, timing, and low-level hardware effects all introduce nondeterminism in t...