1448 search results - page 164 / 290 » Restricted Stack Implementations |
TACAS
1997
Springer
14 years 2 days ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
DAC
1994
ACM
14 years 1 days ago
1994
ACM
Existing software scheduling techniques limit the functions that can be implemented in software to those with a restricted class of timing constraints, in particular those with a c...
ECAI
1994
Springer
14 years 1 days ago
1994
Springer
This paper presents a lexical model dedicated to the semantic representation and interpretation of individual words in unrestricted text, where sense discrimination is difficult t...
ECAI
1994
Springer
14 years 1 days ago
1994
Springer
This paper describes a computational model of similarity developed to support analogical software reuse. Similarity is computed from conceptual descriptions of software artifacts o...
COMPGEOM
1998
ACM
13 years 12 months ago
1998
ACM
We discuss floating-point filters as a means of restricting the precision needed for arithmetic operations while still computing the exact result. We show that interval techniques...