2836 search results - page 533 / 568 » Model Checking for Software Architectures |
OOPSLA
2007
Springer
14 years 3 months ago
2007
Springer
Custom House's new currency exchange system is integrated with a legacy system. After a few years of growth, the two systems were so intricately tangled that even small chang...
CODES
2005
IEEE
14 years 2 months ago
2005
IEEE
Design of programmable processors and embedded applications requires instruction-set simulators for early exploration and validation of candidate architectures. Interpretive simul...
ISPASS
2008
IEEE
14 years 3 months ago
2008
IEEE
Although the best processor design for executing a specific workload does depend on the characteristics of the workload, it can not be determined without factoring-in the effect o...
PPPJ
2006
ACM
14 years 2 months ago
2006
ACM
In this paper we present a JXTA-based platform, called Juxta-CAT, which is an effort to use the JXTA architecture to build a job execution-sharing distributed environment. The Ju...
PPOPP
2009
ACM
14 years 9 months ago
2009
ACM
The efficient mapping of program parallelism to multi-core processors is highly dependent on the underlying architecture. This paper proposes a portable and automatic compiler-bas...