4666 search results - page 128 / 934 » Equations on Timed Languages |
107
click to vote
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...
121
click to vote
IPL
2010
14 years 11 months ago
2010
In the Max Lin-2 problem we are given a system S of m linear equations in n variables over F2 in which Equation j is assigned a positive integral weight wj for each j. We wish to ...
138
Voted
CSR
2007
Springer
15 years 7 months ago
2007
Springer
The maximum constraint satisfaction problem (Max CSP) is the following computational problem: an instance is a finite collection of constraints on a set of variables, and the goal...
148
click to vote
ISORC
1998
IEEE
15 years 5 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
102
click to vote
RTAS
1997
IEEE
15 years 4 months ago
1997
IEEE
A real-time system operates under timing constraints which it may be unable to meet under some circumstances. The criticality of a timing constraint determines how a system is to ...