2465 search results - page 84 / 493 » Automata on Linear Orderings |
139
click to vote
EMSOFT
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
194
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
169
click to vote
PACT
2005
Springer
15 years 10 months ago
2005
Springer
The goal of our investigation is to find automatically the best rule for a cell in the cellular automata model. The cells are either of type Obstacle, Empty or Creature. Only Crea...
107
click to vote
JDA
2006
15 years 4 months ago
2006
We prove that the pathwidth of Halin graphs can be 3-approximated in linear time. Our approximation algorithms is based on a combinatorial result about respectful edge orderings o...
149
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Novel concepts are introduced for finding the relationship between multiuser detection (MUD) and multiuser transmission (MUT), so that the study in MUT can benefit from the w...