1492 search results - page 79 / 299 » Automatic Software Model Checking Using CLP |
119
click to vote
MICRO
2005
IEEE
15 years 7 months ago
2005
IEEE
Until recently, a steadily rising clock rate and other uniprocessor microarchitectural improvements could be relied upon to consistently deliver increasing performance for a wide ...
122
click to vote
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
DigitalAssets Discoverer is a tool that implements a group of indicators for automatic identification of software components that can be reused in the development of new applicati...
123
click to vote
SIGSOFT
2006
ACM
16 years 2 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
138
click to vote
ENTCS
2006
15 years 1 months ago
2006
While a lot of progress has been made in improving analyses and tools that aid software development, less effort has been spent on studying how such tools are commonly used in pra...
145
click to vote
CL
2008
Springer
15 years 1 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...