7557 search results - page 665 / 1512 » Modeling Timed Concurrent Systems |
191
click to vote
ESANN
2004
15 years 8 months ago
2004
Spiking neurons model a type of biological neural system where information is encoded with spike times. In this paper, a new method for decoding input spikes according to their abs...
208
click to vote
AAAI
2000
15 years 8 months ago
2000
We present a Bayesian clustering algorithm for multivariate time series. A clustering is regarded as a probabilistic model in which the unknown auto-correlation structure of a tim...
211
click to vote
SC
1995
ACM
15 years 10 months ago
1995
ACM
Release consistency is a widely accepted memory model for distributed shared memory systems. Eager release consistency represents the state of the art in release consistent protoc...
243
click to vote
IEEEPACT
2009
IEEE
15 years 5 months ago
2009
IEEE
Resource sharing can cause unfair and unpredictable performance of concurrently executing applications in Chip-Multiprocessors (CMP). The shared last-level cache is one of the mos...
187
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A fir...