Sciweavers

6770 search results - page 477 / 1354
» How GPUs Work
Sort
View
FDL
2003
IEEE
15 years 11 months ago
Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
Mauricio Ayala-Rincón, Ricardo P. Jacobi, C...
GLVLSI
2003
IEEE
134views VLSI» more  GLVLSI 2003»
15 years 11 months ago
Information storage capacity of crossbar switching networks
In this work we ask the fundamental question: How many bits of information can be stored in a crossbar switching network? The answer is trivial when the switches of the network ar...
Paul-Peter Sotiriadis
155
Voted
IAT
2003
IEEE
15 years 11 months ago
Modelling and Specifying Scenarios and Agent Behaviour
Based on our previous work on the formal specification language SLABS as well as a methodology and modelling language for modelling and specifying multi-agent systems, we further ...
Lijun Shan, Hong Zhu
196
Voted
IDEAS
2003
IEEE
100views Database» more  IDEAS 2003»
15 years 11 months ago
Querying XML Data by the Nested Relational Sequence Database System
In this concise paper, we present the Nested Relational Sequence Model (NRSM), which is an extension of the Nested Relational Data Model in order to handle XML data. We also intro...
Ho Lam Lau, Wilfred Ng
INFOCOM
2003
IEEE
15 years 11 months ago
Cooperative Peer Groups in NICE
Abstract— We present a distributed scheme for trust inference in peer-to-peer networks. Our work is in context of the NICE system, which is a platform for implementing cooperativ...
Seungjoon Lee, Rob Sherwood, Samrat Bhattacharjee