1100 search results - page 163 / 220 » An Approach to Test Aspect-oriented Programs |
110
click to vote
JNW
2006
15 years 3 months ago
2006
A number of Integer Linear Program (ILP) formulations for both static and dynamic lightpath allocation have been proposed, for the design of survivable WDM networks. However, such ...
150
click to vote
ENGL
2007
15 years 3 months ago
2007
— In this work, an hybrid, self-configurable, multilayered and evolutionary subsumption architecture for cognitive agents is developed. Each layer of the multilayered architectur...
115
click to vote
RV
2010
Springer
15 years 1 months ago
2010
Springer
A study of Google’s data center revealed that the incidence of main memory errors is surprisingly high. These errors can lead to application and system corruption, impacting reli...
220
click to vote
LPAR
2010
Springer
15 years 28 days ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
163
click to vote
IOR
2011
14 years 10 months ago
2011
This paper introduces and studies the maximum k-plex problem, which arises in social network analysis and has wider applicability in several important areas employing graph-based ...