3008 search results - page 189 / 602 » Mechanisms for Importing Modules |
150
click to vote
LCPC
1998
Springer
15 years 10 months ago
1998
Springer
Although SIMD (Single Instruction stream Multiple Data stream) parallel computers have existed for decades, it is only in the past few years that a new version of SIMD has evolved...
194
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
This paper gives a technical description of Creatures, a commercial home-entertainment software package. Creatures provides a simulated environment in which exist a number of synt...
183
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
247
click to vote
CONPAR
1994
15 years 10 months ago
1994
Data parallel languages such as Vienna Fortran and HPF can be successfully applied to a wide range of numerical applications. However, many advanced scienti c and engineering appl...
163
click to vote
FPGA
2007
ACM
15 years 10 months ago
2007
ACM
Progress in reconfigurable hardware technology allows the implementation of complete SoCs in today's FPGAs. In the context design for reliability, software checkpointing is a...