2438 search results - page 234 / 488 » Consistent Gradient Operators |
107
Voted
FORMATS
2003
Springer
15 years 8 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
99
Voted
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. A hybrid network of evolutionary processors consists of several processors which are placed in nodes of a virtual graph and can perform one simple operation only on the w...
137
Voted
GW
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The integration of more and more functionality into the human machine interface (HMI) of vehicles increases the complexity of device handling. Thus optimal use of differ...
97
Voted
ASAP
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper introduces PAPA: Packed Arithmetic on a Prefix Adder, a new approach to parallel prefix adder design that supports a wide variety of packed arithmetic computations, inc...
132
Voted
DEXAW
2002
IEEE
15 years 7 months ago
2002
IEEE
Optimistic replication of data is a widely used tool for mobile environments, but the behavior of concurrent conflicting updates caused by the relaxed consistency model is poorly ...