Sciweavers

8486 search results - page 166 / 1698
» Ordered Enumeration Method
Sort
View
IEEEPACT
1998
IEEE
14 years 2 months ago
Exploiting Method-Level Parallelism in Single-Threaded Java Programs
Method speculation of object-oriented programs attempts to exploit method-level parallelism (MLP) by executing sequential method invocations in parallel, while still maintaining c...
Michael K. Chen, Kunle Olukotun
ECTEL
2007
Springer
14 years 4 months ago
Profiled Search Methods for e-Learning Systems
Most currently used e-Learning Systems do not often offer search functionality. Even if methods are provided to search for Learning Objects (LOs), they don’t usually utilize info...
Tomasz Orzechowski, Sebastian Ernst, Andrzej Dziec...
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
14 years 4 months ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
JSCIC
2007
131views more  JSCIC 2007»
13 years 10 months ago
An Analysis of the Minimal Dissipation Local Discontinuous Galerkin Method for Convection-Diffusion Problems
Abstract. We analyze the so-called the minimal dissipation local discontinuous Galerkin method for convection-diffusion or diffusion problems. The distinctive feature of this met...
Bernardo Cockburn, Bo Dong
ICIP
2000
IEEE
14 years 12 months ago
Adaptive Scanning Methods for Wavelet Difference Reduction in Lossy Image Compression
This paper describes methods for adapting the scanning order through wavelet transform values used in the Wavelet Difference Reduction (WDR) algorithm of Tian and Wells. These new...
James S. Walker, Truong Q. Nguyen