Sciweavers

1862 search results - page 67 / 373
» Constrained pattern matching
Sort
View
96
Voted
ICCAD
2006
IEEE
180views Hardware» more  ICCAD 2006»
15 years 9 months ago
A bitmask-based code compression technique for embedded systems
Embedded systems are constrained by the available memory. Code compression techniques address this issue by reducing the code size of application programs. Dictionary-based code c...
Seok-Won Seong, Prabhat Mishra
114
Voted
POPL
1997
ACM
15 years 4 months ago
Type-Checking Higher-Order Polymorphic Multi-Methods
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
François Bourdoncle, Stephan Merz
106
Voted
TCAD
2008
201views more  TCAD 2008»
15 years 18 days ago
Bitmask-Based Code Compression for Embedded Systems
Embedded systems are constrained by the available memory. Code-compression techniques address this issue by reducing the code size of application programs. It is a major challenge ...
Seok-Won Seong, Prabhat Mishra
105
Voted
CVPR
2008
IEEE
16 years 2 months ago
Adaptive and constrained algorithms for inverse compositional Active Appearance Model fitting
Parametric models of shape and texture such as Active Appearance Models (AAMs) are diverse tools for deformable object appearance modeling and have found important applications in...
George Papandreou, Petros Maragos
TPDS
2008
169views more  TPDS 2008»
15 years 17 days ago
Dynamic Resource Management in Energy Constrained Heterogeneous Computing Systems Using Voltage Scaling
An ad hoc grid is a wireless heterogeneous computing environment without a fixed infrastructure. This study considers wireless devices that have different capabilities, have limite...
Jong-Kook Kim, Howard Jay Siegel, Anthony A. Macie...