1536 search results - page 250 / 308 » The Underlying Logic of Hoare Logic |
128
click to vote
ICLP
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
163
click to vote
EUROMICRO
1998
IEEE
15 years 10 months ago
1998
IEEE
Several studies have demonstrated that out-of-order execution processors may not be the most adequate organization for wide issue processors due to the increasing penalties that w...
189
click to vote
ISHPC
1999
Springer
15 years 10 months ago
1999
Springer
Computer security is of growing importance in the increasingly networked computing environment.This work examines the issue of high-performance network security, specifically int...
162
click to vote
HT
1998
ACM
15 years 10 months ago
1998
ACM
The World Wide Web grows through a decentralized, almost anarchic process, and this has resulted in a large hyperlinked corpus without the kind of logical organization that can be...
145
click to vote
ASAP
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents a technique to map automatically a complete digital signal processing (DSP) application onto a parallel machine with distributed memory. Unlike other applicati...