1176 search results - page 123 / 236 » Theory and Applications of Robust Optimization |
135
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
— For an application in public-resource computing environments, providing reliable scheduling based on resource reliability evaluation is becoming increasingly important. Most ex...
167
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
168
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
165
click to vote
SSWMC
2004
15 years 7 months ago
2004
This paper deals with the problem of synchronization in the particular case of audio data hiding. In this kind of application the goal is to increase the information of an audio d...
172
click to vote
CCR
2004
15 years 6 months ago
2004
This paper emphasizes the need for methodological frameworks for analysis and design of large scale networks which are independent of specific design innovations and their advocac...