1528 search results - page 126 / 306 » Performance Assertion Checking |
103
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Despite the automated refactoring support provided by today's IDEs many program transformations that are easy to conceptualize-such as improving the implementation of a desig...
110
click to vote
ICSE
2005
IEEE-ACM
16 years 2 months ago
2005
IEEE-ACM
AGENDA is a tool set for testing relational database applications. An earlier prototype was targeted to applications consisting of a single query and included components for popul...
101
Voted
HASKELL
2009
ACM
15 years 9 months ago
2009
ACM
We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a casestudy, we implement a simple emulator for the Biphase...
128
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...
106
click to vote
RE
2007
Springer
15 years 8 months ago
2007
Springer
Aspects promote a clear separation of concerns so that tangled and scattered concerns are modularized throughout software development. We propose a framework to trace aspects iden...