540 search results - page 74 / 108 » Mathematical programming based debugging |
ESEM
2008
ACM
14 years 18 days ago
2008
ACM
Software review is a necessity activity to build high reliability software in software development. In this paper, we experimentally analyze the difference in performance between ...
JSW
2008
13 years 10 months ago
2008
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...
JPDC
2008
13 years 10 months ago
2008
This research investigates the problem of robust static resource allocation for distributed computing systems operating under imposed Quality of Service (QoS) constraints. Often, ...
WWW
2009
ACM
14 years 11 months ago
2009
ACM
We describe an optimize-and-dispatch approach for delivering pay-per-impression advertisements in online advertising. The platform provider for an advertising network commits to s...
ICALP
2001
Springer
14 years 3 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....