1052 search results - page 169 / 211 » The Regular Real-Time Languages |
139
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
With the increasing complexity and heterogeneity of embedded electronic systems, a unified design methodology at evels of abstraction becomes a necessity. Meanwhile, it is also i...
145
Voted
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
IRiSS (Information Retrieval based Software Search) is a software exploration tool that uses an indexing engine based on an information retrieval method. IRiSS is implemented as a...
98
Voted
PASTE
2005
ACM
15 years 9 months ago
2005
ACM
Information about string values at key points in a program can help program understanding, reverse engineering, and forensics. We present a static-analysis technique for recoverin...
104
Voted
FCT
2005
Springer
15 years 9 months ago
2005
Springer
In the pattern matching problem, there can be a quadratic number of matching substrings in the size of a given text. The linearizing restriction finds, at most, a linear number of...
119
Voted
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of determi...