Sciweavers

2943 search results - page 107 / 589
» Software Implementation of Synchronous Programs
Sort
View
ICFP
2009
ACM
16 years 3 months ago
Safe functional reactive programming through dependent types
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
Neil Sculthorpe, Henrik Nilsson
HICSS
1997
IEEE
94views Biometrics» more  HICSS 1997»
15 years 6 months ago
ThreadMon: A Tool for Monitoring Multithreaded Program Performance
This paper describes ThreadMon, a monitoring tool for improving the performance of multithreaded programs, and how we have used it to examine various aspects of the many-to-many (...
Bryan Cantrill, Thomas W. Doeppner Jr.
SAC
2006
ACM
15 years 2 months ago
A domain-specific language for task handlers generation, applying discrete controller synthesis
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
Gwenaël Delaval, Éric Rutten
PLDI
2006
ACM
15 years 8 months ago
Practical dynamic software updating for C
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...
Iulian Neamtiu, Michael W. Hicks, Gareth Stoyle, M...
AAAI
2000
15 years 3 months ago
Property Mapping: A Simple Technique for Mobile Robot Programming
The mobile robot programming problem is a software engineering challenge that is not easily conquered using contemporary software engineering best practices. We propose robot obse...
Illah R. Nourbakhsh