14382 search results - page 254 / 2877 » Time in Connectionist Models |
188
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...
165
click to vote
BIRTHDAY
2000
Springer
15 years 11 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
143
click to vote
CSDA
2006
15 years 6 months ago
2006
A recently proposed Bayesian multiscale tool for exploratory analysis of time series data is reconsidered and umerous important improvements are suggested. The improvements are in...
152
click to vote
ENTCS
2002
15 years 6 months ago
2002
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
158
click to vote
FSTTCS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...