Sciweavers

8503 search results - page 1392 / 1701
» Secure Software Architectures
Sort
View
CONCUR
2008
Springer
15 years 2 months ago
Completeness and Nondeterminism in Model Checking Transactional Memories
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
101
Voted
FPGA
2008
ACM
174views FPGA» more  FPGA 2008»
15 years 2 months ago
When FPGAs are better at floating-point than microprocessors
It has been shown that FPGAs could outperform high-end microprocessors on floating-point computations thanks to massive parallelism. However, most previous studies re-implement in...
Florent de Dinechin, Jérémie Detrey,...
FPGA
2008
ACM
191views FPGA» more  FPGA 2008»
15 years 2 months ago
A hardware framework for the fast generation of multiple long-period random number streams
Stochastic simulations and other scientific applications that depend on random numbers are increasingly implemented in a parallelized manner in programmable logic. High-quality ps...
Ishaan L. Dalal, Deian Stefan
122
Voted
FPGA
2008
ACM
133views FPGA» more  FPGA 2008»
15 years 2 months ago
Vector processing as a soft-core CPU accelerator
The currently accepted method of accelerating applications in FPGA soft processor systems is to design a custom hardware accelerator. This paper suggests the alternative approach ...
Jason Yu, Guy Lemieux, Christopher Eagleston
102
Voted
CASCON
2008
107views Education» more  CASCON 2008»
15 years 2 months ago
NetPal: a dynamic network administration knowledge base
Netpal is a web-based dynamic knowledge base system designed to assist network administrators in their troubleshooting tasks, in recalling and storing experience, and in identifyi...
Ashley George, Adetokunbo Makanju, Evangelos E. Mi...
« Prev « First page 1392 / 1701 Last » Next »