4666 search results - page 388 / 934 » Equations on Timed Languages |
223
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
The complexity of the isomorphism problem for regular trees, regular linear orders, and regular words is analyzed. A tree is regular if it is isomorphic to the prefix order on a r...
195
click to vote
ESOP
2011
Springer
14 years 10 months ago
2011
Springer
Programs written in scripting languages employ idioms that confound conventional type systems. In this paper, we highlight one important set of related idioms: the use of local con...
243
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
Most complex software projects are compiled using a build tool (e.g. make), which runs commands in an order satisfying userdefined dependencies. Unfortunately, most build tools r...
161
click to vote
TIME
2005
IEEE
16 years 14 days ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
178
click to vote
EMSOFT
2004
Springer
16 years 8 days ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...