Search Sciweavers | Sciweavers

1705 search results - page 2 / 341

» Representing Constraints with Automata

click to vote

DMCCG
2001
Springer

118views Combinatorics» more DMCCG 2001»

Representing Reversible Cellular Automata with Reversible Block Cellular Automata

13 years 10 months ago

Download www.univ-orleans.fr

Jérôme Durand-Lose

claim paper

Read More »

click to vote

CPAIOR
2007
Springer

103views Operations Research» more CPAIOR 2007»

Modeling the Regular Constraint with Integer Programming

13 years 11 months ago

Download www.crt.umontreal.ca

Many optimisation problems contain substructures involving constraints on sequences of decision variables. Such constraints can be very complex to express with mixed integer progra...

Marie-Claude Côté, Bernard Gendron, L...

claim paper

Read More »

click to vote

IANDC
2007

107views more IANDC 2007»

Task automata: Schedulability, decidability and undecidability

13 years 5 months ago

Download user.it.uu.se

We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with asynchronous processes th...

Elena Fersman, Pavel Krcál, Paul Pettersson...

claim paper

Read More »

click to vote

CADE
2008
Springer

186views Logical Reasoning» more CADE 2008»

Automated Induction with Constrained Tree Automata

14 years 5 months ago

Download www.lsv.ens-cachan.fr

We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...

Adel Bouhoula, Florent Jacquemard

claim paper

Read More »

click to vote

FOSSACS
2007
Springer

88views Software Engineering» more FOSSACS 2007»

Tree Automata with Memory, Visibility and Structural Constraints

13 years 11 months ago

Download www.lsv.ens-cachan.fr

Tree automata with one memory have been introduced in

Hubert Comon-Lundh, Florent Jacquemard, Nicolas Pe...

claim paper