8780 search results - page 388 / 1756 » On the Feasibility of Consistent Computations |
212
click to vote
EMMCVPR
1997
Springer
15 years 12 months ago
1997
Springer
Consistent labelling problems frequently have more than one solution. Most work in the "eld has aimed at disambiguating early in the interpretation process, using only local ...
189
click to vote
CW
2004
IEEE
15 years 11 months ago
2004
IEEE
When creating a cel animation, the animators often use 3D character models to add some effects on the character or to generate intermediate images between the key frames. However,...
213
click to vote
FROCOS
2000
Springer
15 years 11 months ago
2000
Springer
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...
222
click to vote
NSDI
2010
15 years 9 months ago
2010
Byzantine fault-tolerant (BFT) replication has enjoyed a series of performance improvements, but remains costly due to its replicated work. We eliminate this cost for read-mostly ...
225
click to vote
GI
2009
Springer
15 years 5 months ago
2009
Springer
: Static analysis techniques for consistency checking of workflows allow to avoid runtime errors. This is in particular crucial for long running workflows where errors, detected la...