Sciweavers

7103 search results - page 1008 / 1421
» Program Generation and Components
Sort
View
IGARSS
2010
14 years 11 months ago
Modeling and measurement of optical polarimetric image phenomenology in a complex urban environment
Polarimetric scene phenomenology yields a remote sensing modality that can be used in tandem with or alternative to panchromatic, multispectral, hyperspectral, or infrared intensi...
Michael D. Presnar, John P. Kerekes
DISOPT
2011
175views Education» more  DISOPT 2011»
14 years 8 months ago
Strengthening lattice-free cuts using non-negativity
In recent years there has been growing interest in generating valid inequalities for mixedinteger programs using sets with 2 or more constraints. In particular, Andersen et al. (2...
Ricardo Fukasawa, Oktay Günlük
SIGSOFT
2007
ACM
16 years 5 months ago
Does a programmer's activity indicate knowledge of code?
The practice of software development can likely be improved if an externalized model of each programmer's knowledge of a particular code base is available. Some tools already...
Thomas Fritz, Gail C. Murphy, Emily Hill
ASPLOS
2009
ACM
16 years 5 months ago
Understanding software approaches for GPGPU reliability
Even though graphics processors (GPUs) are becoming increasingly popular for general purpose computing, current (and likely near future) generations of GPUs do not provide hardwar...
Martin Dimitrov, Mike Mantor, Huiyang Zhou
POPL
2008
ACM
16 years 5 months ago
Boomerang: resourceful lenses for string data
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...
Aaron Bohannon, J. Nathan Foster, Benjamin C. Pier...
« Prev « First page 1008 / 1421 Last » Next »