Sciweavers

4042 search results - page 439 / 809
» The EXODUS Optimizer Generator
Sort
View
WWW
2006
ACM
16 years 7 months ago
XML screamer: an integrated approach to high performance XML parsing, validation and deserialization
This paper describes an experimental system in which customized high performance XML parsers are prepared using parser generation and compilation techniques. Parsing is integrated...
Margaret Gaitatzes Kostoulas, Morris Matsa, Noah M...
ICFP
2002
ACM
16 years 6 months ago
Compiling scheme to JVM bytecode: : a performance study
We have added a Java virtual machine (henceforth JVM) bytecode generator to the optimizing Scheme-to-C compiler Bigloo. We named this new compiler BiglooJVM. We have used this new...
Bernard P. Serpette, Manuel Serrano
ICCD
2001
IEEE
119views Hardware» more  ICCD 2001»
16 years 3 months ago
A Functional Validation Technique: Biased-Random Simulation Guided by Observability-Based Coverage
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
Serdar Tasiran, Farzan Fallah, David G. Chinnery, ...
DATE
2009
IEEE
107views Hardware» more  DATE 2009»
16 years 1 months ago
User-centric design space exploration for heterogeneous Network-on-Chip platforms
- In this paper, we present a design methodology for automatic platform generation of future heterogeneous systems where communication happens via the Network-onChip (NoC) approach...
Chen-Ling Chou, Radu Marculescu
ACCV
2009
Springer
16 years 1 months ago
3D Reconstruction of Human Motion and Skeleton from Uncalibrated Monocular Video
Abstract. This paper introduces a new model-based approach for simultaneously reconstructing 3D human motion and full-body skeletal size from a small set of 2D image features track...
Yen-Lin Chen, Jinxiang Chai