366 search results - page 1 / 74 » Synthesis: Words and Traces |
ATVA
2010
Springer
13 years 1 months ago
2010
Springer
The problem of synthesising a reactive system is discussed. The most standard instance of this problem ask to construct a finite input-output automaton satisfying a given regular s...
IPCCC
2005
IEEE
13 years 10 months ago
2005
IEEE
I/O traces are crucial for understanding the performance of new storage architectures. Unfortunately, traces are extremely bursty and difficult to characterize. They are large, d...
CSR
2006
Springer
13 years 6 months ago
2006
Springer
Abstract. We study a quantitative model of traces, i.e. trace series which assign to every trace an element from a semiring. We show the coincidence of recognizable trace series wi...
DLT
2007
13 years 6 months ago
2007
ATAL
2008
Springer
13 years 6 months ago
2008
Springer
We describe how to take a set of interaction traces produced by different pairs of players in a two-player repeated game, and combine them into a composite strategy. We provide an...