Sciweavers

321 search results - page 41 / 65
» concurrency 2004
Sort
View
FPGA
2004
ACM
121views FPGA» more  FPGA 2004»
14 years 2 months ago
Highly pipelined asynchronous FPGAs
We present the design of a high-performance, highly pipelined asynchronous FPGA. We describe a very fine-grain pipelined logic block and routing interconnect architecture, and sh...
John Teifel, Rajit Manohar
CLUSTER
2004
IEEE
14 years 12 days ago
RFS: efficient and flexible remote file access for MPI-IO
Scientific applications often need to access remote file systems. Because of slow networks and large data size, however, remote I/O can become an even more serious performance bot...
Jonghyun Lee, Robert B. Ross, Rajeev Thakur, Xiaos...
KDD
2004
ACM
187views Data Mining» more  KDD 2004»
14 years 9 months ago
Mission-Based Navigational Behaviour Modeling for Web Recommender Systems
Web recommender systems anticipate the information needs of on-line users and provide them with recommendations to facilitate and personalize their navigation. There are many appro...
Osmar R. Zaïane, Jia Li, Robert Hayward
VLSID
2004
IEEE
125views VLSI» more  VLSID 2004»
14 years 9 months ago
Energy-Optimizing Source Code Transformations for OS-driven Embedded Software
The increasing software content of battery-powered embedded systems has fueled much interest in techniques for developing energyefficient embedded software. Source code transforma...
Yunsi Fei, Srivaths Ravi, Anand Raghunathan, Niraj...
CADE
2004
Springer
14 years 9 months ago
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
José Meseguer, Grigore Rosu