4770 search results - page 632 / 954 » Flexible Type Analysis |
161
click to vote
ICPPW
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a new multiple ring network for multiprocessors, called the Multistage Ring Network(MRN). The MRN has a 2-level hierarchy of register insertion rings, and its interconn...
189
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
187
click to vote
CIKM
1999
Springer
15 years 11 months ago
1999
Springer
A semantic caching scheme suitable for wrappers wrapping web sources is presented. Since the web sources have typically weaker querying capabilities than conventional databases, e...
169
click to vote
JIT
1999
Springer
15 years 11 months ago
1999
Springer
The term “Java” is used to denote two different concepts: the language itself and the related execution environment, the Java Virtual Machine (JVM), which executes byte code in...
147
click to vote
APL
1998
ACM
15 years 11 months ago
1998
ACM
This article describes how array predicates were used to reduce the computational complexity of four APL primitive functions when one of their arguments is a permutation vector. T...