548 search results - page 60 / 110 » Adding Real Time to Formal Program Development |
MOBIHOC
2008
ACM
15 years 9 months ago
2008
ACM
Ad hoc networks formed by traveling vehicles are envisaged to become a common platform that will support a wide variety of applications, ranging from road safety to advertising an...
SAFECOMP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
JASIS
2000
14 years 9 months ago
2000
s In data mining, we emphasize the need for learning from huge, incomplete and imperfect data sets (Fayyad et al. 1996, Frawley et al. 1991, Piatetsky-Shapiro and Frawley, 1991). T...
100
click to vote
AFP
2004
Springer
15 years 3 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
POPL
2011
ACM
14 years 17 days ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...