2689 search results - page 450 / 538 » ParalleX: A Study of A New Parallel Computation Model |
APAL
2002
13 years 8 months ago
2002
We consider a notion of sequential functional of finite type, more generous than the familiar notion embodied in Plotkin's language PCF. We study both the "full" an...
PE
2002
Springer
13 years 8 months ago
2002
Springer
: We analyze D/G/1 and M/G/1 queues where the service time for an arrival depends on the amount of work in the system upon arrival. The models are motivated by the bit dropping met...
SIMULATION
1998
13 years 8 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
TMI
2010
13 years 7 months ago
2010
Abstract—The pinhole camera in single photon emission computed tomography (SPECT) has an inherent trade-off between resolution and sensitivity. Recent systems overcome this to so...
NECO
2011
13 years 3 months ago
2011
Correlations between neuronal spike trains impact network dynamics and population coding. Overlapping afferent populations and correlations between presynaptic spike trains intro...