Search Sciweavers | Sciweavers

1539 search results - page 9 / 308

» Is it time for real-time functional programming

click to vote

RTAS
2007
IEEE

148views Embedded Systems» more RTAS 2007»

A Programming Model for Time-Synchronized Distributed Real-Time Systems

14 years 3 months ago

Download ptolemy.eecs.berkeley.edu

Discrete-event (DE) models are formal system speciﬁcations that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...

Yang Zhao, Jie Liu, Edward A. Lee

claim paper

Read More »

click to vote

IPPS
2000
IEEE

110views Distributed And Parallel Com...» more IPPS 2000»

RPV: A Programming Environment for Real-Time Parallel Vision - Specification and Programming Methodology

14 years 1 months ago

Download ipdps.cc.gatech.edu

Daisaku Arita, Yoshio Hamada, Satoshi Yonemoto, Ri...

claim paper

Read More »

click to vote

ICFP
2001
ACM

107views Programming Languages» more ICFP 2001»

Real-Time FRP

14 years 8 months ago

Download www.haskell.org

Zhanyong Wan, Walid Taha, Paul Hudak

claim paper

Read More »

click to vote

AMAST
1997
Springer

111views Software Engineering» more AMAST 1997»

Refinement Rules for Real-Time Multi-tasking Programs

14 years 10 days ago

Download sky.fit.qut.edu.au

Abstract. We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.

Colin J. Fidge

claim paper

Read More »

click to vote

ICALP
1998
Springer

103views Programming Languages» more ICALP 1998»

The Regular Real-Time Languages

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers