5451 search results - page 709 / 1091 » Typed Operational Semantics |
177
click to vote
PLDI
2004
ACM
16 years 3 days ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
196
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. LAPACK90 is a set of LAPACK90 subroutines which interfaces FORTRAN90 with LAPACK. All LAPACK driver subroutines including expert drivers and some LAPACK computationals ha...
153
click to vote
VLDB
1994
ACM
15 years 10 months ago
1994
ACM
Many proposed protocols for replicated databases consider centralized control of each transaction so that given a transaction, some site will monitor the remote data access and tr...
142
click to vote
VLDB
1989
ACM
15 years 10 months ago
1989
ACM
In this paper. we utilize intervals for unknown values in incompleterelational databases.We usetablesto representunknown relations. First, we define three partial tuple types in a...
191
click to vote
ARITH
2001
IEEE
15 years 10 months ago
2001
IEEE
The Instruction Set Architecture (ISA) of a programmable processor is the native languageof the machine. It defines the set of operations and resourcesthat are optimized for that ...