1051 search results - page 120 / 211 » Single Run Optimization Using the Reverse-Simulation Method |
174
click to vote
ICMCS
2008
IEEE
16 years 19 days ago
2008
IEEE
A simple free viewpoint video system which is able not only to display user-specified views at arbitrary angle but also to efficiently stream the necessary video over a network ...
158
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
161
click to vote
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
Synchronous Data Flow Graphs (SDFGs) have proven to be suitable for specifying and analyzing streaming applications that run on single- or multi-processor platforms. Streaming appl...
167
click to vote
CLUSTER
2003
IEEE
15 years 11 months ago
2003
IEEE
Clusters provide an outstanding cost/performance ratio, but their efficient orchestration, i.e. their cooperative management, maintenance, and use, still poses difficulties. Mor...
159
click to vote
ASIACRYPT
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. It has been recently acknowledged [4, 6, 9] that the use of double bases representations of scalars n, that is an expression of the form n = e,s,t(-1)e As Bt can speed up...