12745 search results - page 424 / 2549 » Automating test automation |
172
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
194
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Workflow systems provide support for combining components to achieve a particular outcome. Various approaches from software engineering have been utilized within such sys...
172
click to vote
CODES
2005
IEEE
15 years 8 months ago
2005
IEEE
Memory bandwidth issues present a formidable bottleneck to accelerating embedded applications, particularly data bandwidth for multiple-issue VLIW processors. Providing an efficie...
178
Voted
AGI
2008
15 years 8 months ago
2008
Artificial Intelligence deals with the automated simulation of human intelligent behavior. Various aspects of human faculties are tackled using computational models. It is clear th...
146
click to vote
VAMOS
2010
Springer
15 years 8 months ago
2010
Springer
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...