165 search results - page 9 / 33 » A New Approach to Software Exploration: Back-Packing with GS... |
POPL
2005
ACM
14 years 7 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
Partitioning is a time consuming and computationally complex optimization problem in the codesign of hardware software systems. The stringent time-to-market requirements have resu...
FDL
2006
IEEE
14 years 1 months ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
CSCW
2000
ACM
13 years 7 months ago
2000
ACM
The design of software toolkits embodies a fundamental tension. On the one hand, it aims to reduce programmer effort by providing prefabricated, reusable software modules encapsula...
IADIS
2003
13 years 8 months ago
2003
View Programming offers software developers a way to write applications having real objects with changing behavior during their lifetime. The benefit of this new approach of progr...