3825 search results - page 207 / 765 » The Language of Time: A Reader |
309
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
217
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
164
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
The forthcoming Revised6 Report on Scheme differs from previous reports in that the language it describes is structured as a set of libraries. It also provides a syntax for defini...
254
click to vote
SIGADA
2007
Springer
16 years 18 days ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
153
click to vote
CIMCA
2008
IEEE
16 years 29 days ago
2008
IEEE
We introduce a language for the representation of a subset of strategic interactions. The representation is based on petri nets. Representable games are restricted to have a fini...