5855 search results - page 998 / 1171 » Test generation and minimization with |
113
click to vote
IEEEHPCS
2010
15 years 5 days ago
2010
Particle systems have been incorporated into a wide variety of applications in both academia and industry. They can be employed to investigate complex natural phenomena, illustrat...
110
click to vote
JEI
2010
15 years 3 days ago
2010
Letter scanning cameras (LSCs) form the front end imaging systems for virtually all mail scanning systems that are currently used to automatically sort mail products. As with any ...
100
click to vote
MFCS
2010
Springer
15 years 2 days ago
2010
Springer
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...
113
click to vote
OOPSLA
2010
Springer
15 years 2 days ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
104
click to vote
RV
2010
Springer
15 years 1 days ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...