7109 search results - page 359 / 1422 » Process Algebra with Combinators |
187
click to vote
FOSSACS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
192
Voted
ICALP
1998
Springer
15 years 10 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
156
click to vote
ATS
1997
IEEE
15 years 10 months ago
1997
IEEE
Testing circuits which do not include a global reset signal requires either complex ATPG algorithms based on 9- or even 256-valued algebras, or some suitable method to generate in...
180
Voted
SAC
1997
ACM
15 years 10 months ago
1997
ACM
Infomaster is an information integration system. It provides integrated access to distributed, heterogeneous information sources, thus giving its users the illusion of a centraliz...
187
click to vote
ISSS
1996
IEEE
15 years 10 months ago
1996
IEEE
An address generation and optimization environment (ADOPT) for distributed memory architectures, is presented. ADOPT is oriented to minimize the area overhead introduced by the us...