3116 search results - page 424 / 624 » Positively dependent types |
166
click to vote
INFOCOM
2006
IEEE
16 years 18 days ago
2006
IEEE
— This paper investigates theoretical aspects of the uneven energy depletion phenomenon recently noticed in sink-based wireless sensor networks. We consider uniformly distributed...
179
click to vote
CGO
2005
IEEE
16 years 6 days ago
2005
IEEE
Data speculative optimization refers to code transformations that allow load and store instructions to be moved across potentially dependent memory operations. Existing research w...
183
click to vote
IPMI
2005
Springer
16 years 2 days ago
2005
Springer
This work analyses the accuracy of estimating the location of 3D landmarks and characteristic image structures. Based on nonlinear estimation theory we study the minimal stochastic...
167
click to vote
IWANN
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. A spiking neural network modeling the cerebellum is presented. The model, consisting of more than 2000 conductance-based neurons and more than 50 000 synapses, runs in re...
193
click to vote
CBSE
2004
Springer
15 years 12 months ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...