4666 search results - page 90 / 934 » Equations on Timed Languages |
108
click to vote
CORR
2008
Springer
15 years 25 days ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
ENTCS
2010
15 years 24 days ago
2010
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
121
click to vote
PADO
2001
Springer
15 years 5 months ago
2001
Springer
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...
113
Voted
TAPSOFT
1995
Springer
15 years 4 months ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...
100
click to vote
ISPDC
2006
IEEE
15 years 6 months ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...