277 search results - page 31 / 56 » Towards an automatic complexity analysis for generic program... |
CISIS
2010
IEEE
13 years 11 months ago
2010
IEEE
Offload C++ is an extended version of the C++ language, together with a compiler and runtime system, for automatically offloading general-purpose C++ code to run on the Synergistic...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
— The automatic detection of failures in IP paths is an essential step for operators to perform diagnosis or for overlays to adapt. We study a scenario where a set of monitors se...
DSMML
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper summarizes some of the current research challenges arising from multi-channel sequence processing. Indeed, multiple real life applications involve simultaneous...
ECMDAFA
2006
Springer
13 years 11 months ago
2006
Springer
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test dat...
ITP
2010
13 years 9 months ago
2010
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...