668 search results - page 69 / 134 » Evaluation of Parallel Logic Simulation Using DVSIM |
104
click to vote
ISCA
2000
IEEE
15 years 7 months ago
2000
IEEE
Spatial-lattice computations with finite-range interactions are an important class of easily parallelized computations. This class includes many simple and direct algorithms for ...
128
click to vote
ICDCSW
2003
IEEE
15 years 8 months ago
2003
IEEE
Server replication is a common approach to improving the scalability of a service on the Internet. For this approach, the task of finding an appropriate server from a set of repli...
127
click to vote
TAPSOFT
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
132
click to vote
IOPADS
1996
15 years 4 months ago
1996
Many parallel scientific applications need high-performance I/O. Unfortunately, end-to-end parallel-I/O performance has not been able to keep up with substantial improvements in p...
143
click to vote
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...