1539 search results - page 73 / 308 » Is it time for real-time functional programming |
IFM
2005
Springer
14 years 2 months ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
ICMCS
2000
IEEE
14 years 1 months ago
2000
IEEE
Networking of MPEG-4 content is the topic of ongoing standardization efforts in the ISO MPEG and IETF. In this paper, we describe a complete architecture for the transport of MPEG...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
The following demonstration will provide an overview of the key functionality and capabilities of Magenta’s Logistics i-Scheduler – a multi-agent software tool for real time s...
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
DSRT
2008
IEEE
13 years 10 months ago
2008
IEEE
Most common real-time embedded programming languages provide a means to specify functionality; however, they have few constructs to specify precise timing constraints. LabVIEW is ...