Sciweavers

1712 search results - page 168 / 343
» Abstract Constraint Data Types
Sort
View
SEMCO
2009
IEEE
15 years 9 months ago
Using a Formal Language Constructs for Software Model Evolution
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
Samuel A. Ajila, Shahid Alam
CVPR
2010
IEEE
15 years 8 months ago
Free-Form Mesh Tracking : a Patch-Based Approach
In this paper, we consider the problem of tracking nonrigid surfaces and propose a generic data-driven mesh deformation framework. In contrast to methods using strong prior models...
Cedric Cagniart, Edmond Boyer, Slobodan Ilic
ISCA
1999
IEEE
90views Hardware» more  ISCA 1999»
15 years 7 months ago
Selective Value Prediction
Value Prediction is a relatively new technique to increase instruction-level parallelism by breaking true data dependence chains. A value prediction architecture produces values, ...
Brad Calder, Glenn Reinman, Dean M. Tullsen
PPDP
2007
Springer
15 years 9 months ago
Putting declarative programming into the web: translating curry to javascript
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
Michael Hanus
GLOBECOM
2007
IEEE
15 years 9 months ago
Spatial Multiplexing in the Multi-User MIMO Downlink Based on Signal-to-Leakage Ratios
Abstract—Spatial multiplexing in the multi-user MIMO (MUMIMO) downlink allows each user in the system to receive multiple data subchannels simultaneously using the same time and ...
Melvin C. H. Lim, Mounir Ghogho, Desmond C. McLern...