3323 search results - page 468 / 665 » Computational Semantics with Functional Programming |
224
click to vote
CLUSTER
2005
IEEE
16 years 27 days ago
2005
IEEE
Thread migration moves a single call-stack to another machine to improve either load balancing or locality. Current approaches for checkpointing and thread migration are either no...
188
click to vote
DSN
2002
IEEE
16 years 6 days ago
2002
IEEE
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given func...
194
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
The instruction sets of general-purpose microprocessors are designed to offer good performance across a wide range of programs. The size and complexity of the instruction sets, how...
184
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
Cr, As the complexity of high-performance microprocessor increases, functional verification becomes more and more difficult and RTL simulation emerges as the bottleneck of the des...
221
click to vote
CADE
1990
Springer
15 years 11 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...