7274 search results - page 182 / 1455 » Abstractions for network update |
119
click to vote
NIME
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we describe an adaptive approach to gesture for musical applications. Neural Network abstractions and interfaces are implemented in the Pure Data environment which ...
135
click to vote
IPPS
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper addresses the issue of fault-tolerance in applications that make use of network storage. A network abstraction called the Network Storage Stack is presented, along with...
196
click to vote
DASFAA
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. Fine-grained lock protocols with lock modes and lock granules adjusted to the various XML processing models, allow for highly concurrent transaction processing on XML tre...
142
click to vote
FAC
2008
15 years 5 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
137
click to vote
VMCAI
2007
Springer
15 years 11 months ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...