Sciweavers

292 search results - page 9 / 59
» Reactive Context-Aware Programming
Sort
View
POPL
2012
ACM
12 years 3 months ago
A compiler and run-time system for network programming languages
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
Christopher Monsanto, Nate Foster, Rob Harrison, D...
ENTCS
2006
94views more  ENTCS 2006»
13 years 7 months ago
Reactive Concurrent Programming Revisited
In this note we revisit the so-called reactive programming style, which evolves from the synchronous programming model of the Esterel language by weakening the assumption that the...
Roberto M. Amadio, Gérard Boudol, Fré...
SEFM
2007
IEEE
14 years 1 months ago
Supporting Proof in a Reactive Development Environment
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
Farhad Mehta
ACSD
2001
IEEE
112views Hardware» more  ACSD 2001»
13 years 11 months ago
Software Implementation of Synchronous Programs
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...
Charles Andre, Frédéric Boulanger, A...
WAC
2004
Springer
150views Communications» more  WAC 2004»
14 years 25 days ago
A Systems Architecture for Sensor Networks Based On Hardware/Software Co-design
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
Andy Nisbet, Simon Dobson