1448 search results - page 164 / 290 » Restricted Stack Implementations |
119
click to vote
TACAS
1997
Springer
15 years 6 months 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...
124
click to vote
DAC
1994
ACM
15 years 6 months 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...
111
click to vote
ECAI
1994
Springer
15 years 6 months 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
15 years 6 months 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...
107
click to vote
COMPGEOM
1998
ACM
15 years 6 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...