2076 search results - page 297 / 416 » Functional logic overloading |
ISCA
1998
IEEE
15 years 5 months ago
1998
IEEE
Microprocessors and memory systems su er from a growing gap in performance. We introduce Active Pages, a computation model which addresses this gap by shifting data-intensive comp...
106
click to vote
KBSE
1998
IEEE
15 years 5 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
158
click to vote
RSP
1998
IEEE
15 years 5 months ago
1998
IEEE
STEP is an ISO standard (ISO-10303) for the computerinterpretable representation and exchange of product data. Parts of STEP standardize conceptual structures and usage ofinformat...
110
click to vote
PADS
1998
ACM
15 years 5 months ago
1998
ACM
This paper presents a sparse state saving scheme for Time Warp parallel discrete event simulation. The scheme bases the selection of the states to be recorded on the event history...
119
click to vote
PKC
1998
Springer
15 years 5 months ago
1998
Springer
Signcryption, first proposed by Zheng [4,5], is a cryptographic primitive which combines both the functions of digital signature and public key encryption in a logical single step,...