4325 search results - page 221 / 865 » Incremental computation with names |
173
click to vote
EUROPAR
2000
Springer
15 years 10 months ago
2000
Springer
Balancing networks are highly distributed data structures used to solve multiprocessor synchronization problems. Typically, balancing networks are accessed by tokens, and the distr...
153
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
Extracting the inductance of complex interconnect topologies is a formidable task, and simulating the resulting dense partial inductance matrix is even more difficult. Furthermore...
194
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
We propose a new method for video retargeting, which can generate spatial-temporal consistent video. The new measure called spatial-temporal naturality preserves the motion in the ...
153
click to vote
WETICE
1995
IEEE
15 years 10 months ago
1995
IEEE
In this paper we informally explain a new Trellis model that incorporates colored tokens into the previouslydescribed timed-Petri-net-based de nition. We give examples of using Tr...
162
click to vote
EXACT
2007
15 years 9 months ago
2007
Given a model and a property expressed in temporal logic, a model checker normally produces a counterexample in case the model does not satisfy the property. This counterexample i...