Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
1539
search results - page 9 / 308
»
Is it time for real-time functional programming
Sort
relevance
views
votes
recent
update
View
thumb
title
29
click to vote
RTAS
2007
IEEE
148
views
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 specifications 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 »
26
click to vote
IPPS
2000
IEEE
110
views
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 »
18
click to vote
ICFP
2001
ACM
107
views
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 »
25
click to vote
AMAST
1997
Springer
111
views
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 »
22
click to vote
ICALP
1998
Springer
103
views
Programming Languages
»
more
ICALP 1998
»
The Regular Real-Time Languages
14 years 1 months ago
Download
mtc.epfl.ch
Thomas A. Henzinger, Jean-François Raskin, ...
claim paper
Read More »
« Prev
« First
page 9 / 308
Last »
Next »