3436 search results - page 263 / 688 » Software Tools for Performance Modeling of Parallel Programs |
137
Voted
PTS
2010
15 years 1 months ago
2010
We present an application of learning-based testing to the problem of automated test case generation (ATCG) for numerical software. Our approach uses n-dimensional polynomial model...
140
click to vote
MSWIM
2003
ACM
15 years 8 months ago
2003
ACM
– Wireless mobile access to the Internet is an indispensable tool for private and corporate users alike; but both industry and academia recognize the need for better service. Imp...
110
Voted
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
132
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Ja...
131
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...