2335 search results - page 310 / 467 » Functional Differentiation of Computer Programs |
140
Voted
CLUSTER
2005
IEEE
15 years 8 months 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...
116
Voted
DSN
2002
IEEE
15 years 7 months 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...
124
Voted
IPPS
2000
IEEE
15 years 7 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...
125
Voted
DAC
1997
ACM
15 years 6 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...
145
Voted
CADE
1990
Springer
15 years 6 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...