1729 search results - page 162 / 346 » Deterministic Expressions in C |
139
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
The paper presents the design of a hardware genetic algorithm which uses a pipeline of systolic arrays. Demostrated is the design methodology, where a simple genetic algorithm exp...
187
click to vote
CSFW
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
147
click to vote
LICS
1993
IEEE
15 years 8 months ago
1993
IEEE
This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type infer...
139
click to vote
LICS
1989
IEEE
15 years 8 months ago
1989
IEEE
We explore ideal models for a programming language with recursive polymorphic types, variants of the model studied by MacQueen, Plotkin, and Sethi. The use of suitable ideals yiel...
140
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...