815 search results - page 91 / 163 » Algebraic Recognizability of Languages |
159
click to vote
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an...
137
click to vote
JSC
2010
15 years 28 days ago
2010
We describe an algorithm for converting a characteristic set of a prime differential ideal from one ranking into another. This algorithm was implemented in many different language...
244
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
191
click to vote
EUROMICRO
1999
IEEE
15 years 10 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
135
click to vote
PARLE
1989
15 years 10 months ago
1989
We explore an algebraic language for networks consisting of a xed number of reactive units, communicating synchronously over a xed linking structure. The language has only two ope...