Sciweavers

3281 search results - page 450 / 657
» An Approach to use Executable Models for Testing
Sort
View
138
Voted
EOR
2006
134views more  EOR 2006»
15 years 6 months ago
A smoothing heuristic for a bilevel pricing problem
In this paper, we provide a heuristic procedure, that performs well from a global optimality point of view, for an important and difficult class of bilevel programs. The algorithm...
Jean-Pierre Dussault, Patrice Marcotte, Séb...
146
Voted
HCI
2009
15 years 3 months ago
Impact of Gaze Analysis on the Design of a Caption Production Software
Producing caption for the deaf and hearing impaired is a labor intensive task. We implemented a software tool, named SmartCaption, for assisting the caption production process usin...
Claude Chapdelaine, Samuel Foucher, Langis Gagnon
182
Voted
IPPS
2010
IEEE
15 years 4 months ago
Inter-block GPU communication via fast barrier synchronization
The graphics processing unit (GPU) has evolved from a fixedfunction processor with programmable stages to a programmable processor with many fixed-function components that deliver...
Shucai Xiao, Wu-chun Feng
270
Voted
CC
2009
Springer
126views System Software» more  CC 2009»
16 years 6 months ago
Live Debugging of Distributed Systems
Debugging distributed systems is challenging. Although incremental debugging during development finds some bugs, developers are rarely able to fully test their systems under realis...
Darren Dao, Jeannie R. Albrecht, Charles Edwin Kil...
IEEEARES
2010
IEEE
16 years 1 months ago
Program Obfuscation by Strong Cryptography
—Program obfuscation is often employed by malware in order to avoid detection by anti-virus software, but it has many other legitimate uses, such as copy protection, software lic...
Zeljko Vrba, Pål Halvorsen, Carsten Griwodz