2752 search results - page 404 / 551 » Rounding to an Integral Program |
188
click to vote
EUROPAR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Current multicore computers differ in many hardware aspects. Tuning parallel applications is indispensable to achieve best performance on a particular hardware platform....
192
click to vote
ICISS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Code injection attacks that target the control-data of an application have been prevalent amongst exploit writers for over 20 years. Today however, these attacks are gett...
215
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
Social TV was named one of the ten most important emerging technologies in 2010 by the MIT Technology Review. Manufacturers of set-top boxes and televisions have recently started ...
188
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
155
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
We have developed a generic integer linear programming(ILP)based engineering change(EC) methodology. The EC methodology has three components: enabling, fast, and preserving. Enabl...