Sciweavers

393 search results - page 66 / 79
» The LCA Problem Revisited
Sort
View
ICALP
2007
Springer
15 years 8 months ago
Checking and Spot-Checking the Correctness of Priority Queues
We revisit the problem of memory checking considered by Blum et al. [3]. In this model, a checker monitors the behavior of a data structure residing in unreliable memory given an a...
Matthew Chu, Sampath Kannan, Andrew McGregor
102
Voted
ICOST
2007
Springer
15 years 8 months ago
A Context-Driven Programming Model for Pervasive Spaces
This paper defines a new, context-driven programming model for pervasive spaces. Existing models are prone to conflict, as it is hard to predict the outcome of interleaved actions ...
Hen-I Yang, Jeffrey King, Abdelsalam Helal, Erwin ...
IJCNN
2006
IEEE
15 years 7 months ago
Modeling Cortical Maps with Feed-Backs
Abstract— High-level specification of how the brain represents and categorizes the causes of its sensory input allows to link “what is to be done” (perceptual task) with “...
Thierry Viéville, Pierre Kornprobst
133
Voted
IPPS
2006
IEEE
15 years 7 months ago
Selecting the tile shape to reduce the total communication volume
In this paper we revisit the tile-shape selection problem, that has been extensively discussed in bibliography. An efficient approach is proposed for the selection of a suitable t...
Nikolaos Drosinos, Georgios I. Goumas, Nectarios K...
92
Voted
ASPDAC
2006
ACM
97views Hardware» more  ASPDAC 2006»
15 years 7 months ago
Wire sizing with scattering effect for nanoscale interconnection
—For nanoscale interconnection, the scattering effect will soon become prominent due to scaling. It will increase the effective resistivity and thus interconnection delay signifi...
Sean X. Shi, David Z. Pan