Sciweavers

367 search results - page 54 / 74
» Partial evaluation of machine code
Sort
View
CIARP
2007
Springer
14 years 4 months ago
Multi-class Binary Object Categorization Using Blurred Shape Models
The main difficulty in the binary object classification field lays in dealing with a high variability of symbol appearance. Rotation, partial occlusions, elastic deformations, or...
Sergio Escalera, Alicia Fornés, Oriol Pujol...
WCFLP
2005
ACM
14 years 3 months ago
Lightweight program specialization via dynamic slicing
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any in...
Claudio Ochoa, Josep Silva, Germán Vidal
SAS
1999
Springer
106views Formal Methods» more  SAS 1999»
14 years 2 months ago
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs
This paper presents and evaluates a set of analyses designed to reduce synchronization overhead in Java programs. Monitor-based synchronization in Java often causes significant ove...
Jonathan Aldrich, Craig Chambers, Emin Gün Si...
ICCAD
1997
IEEE
129views Hardware» more  ICCAD 1997»
14 years 2 months ago
A fast and robust exact algorithm for face embedding
We present a new matrix formulation of the face hypercube embedding problem that motivates the design of an efficient search strategy to find an encoding that satisfies all fac...
Evguenii I. Goldberg, Tiziano Villa, Robert K. Bra...
ICC
2007
IEEE
146views Communications» more  ICC 2007»
14 years 1 months ago
Downlink MIMO Systems Using Cooperation Among Base Stations in a Slow Fading Channel
To increase the achievable sum rate of downlink MIMO (Multiple Input Multiple Output) systems, the cooperation among Base Stations (BS) is investigated in a slow fading channel. Th...
Tsuyoshi Tamaki, Kibeom Seong, John M. Cioffi