10707 search results - page 293 / 2142 » Designing executable abstractions |
158
click to vote
FSE
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. Dedicated hash functions are cryptographically secure compression functions which are designed specifically for hashing. They intend to form a practical alternative for ...
144
click to vote
ASM
2005
ASM
15 years 6 months ago
2005
ASM
Abstract. This paper provides a modular high-level design of the Common Language Runtime (CLR) architecture. Our design is given in terms act State Machines (ASMs) and takes the fo...
114
click to vote
FUIN
2008
15 years 4 months ago
2008
Abstract. The layering that is present in many OO designs is not accounted for in current interpretations of invariants. We propose to make layers explicit in specifications and in...
114
click to vote
JCC
2008
15 years 4 months ago
2008
Abstract: Our goal is to develop accurate electrostatic models that can be implemented in current computational protein design protocols. To this end, we improve upon a previously ...
126
click to vote
HPCA
2006
IEEE
16 years 4 months ago
2006
IEEE
Building processors with large instruction windows has been proposed as a mechanism for overcoming the memory wall, but finding a feasible and implementable design has been an elu...