1051 search results - page 120 / 211 » Single Run Optimization Using the Reverse-Simulation Method |
143
click to vote
ICMCS
2008
IEEE
15 years 11 months 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 ...
140
click to vote
CAV
2004
Springer
15 years 8 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...
140
Voted
FMCAD
2006
Springer
15 years 8 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...
137
Voted
CLUSTER
2003
IEEE
15 years 10 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...
133
click to vote
ASIACRYPT
2006
Springer
15 years 8 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...