2836 search results - page 533 / 568 » Model Checking for Software Architectures |
116
click to vote
OOPSLA
2007
Springer
15 years 9 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...
127
click to vote
CODES
2005
IEEE
15 years 9 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...
133
click to vote
ISPASS
2008
IEEE
15 years 10 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...
117
Voted
PPPJ
2006
ACM
15 years 9 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...
150
click to vote
PPOPP
2009
ACM
16 years 4 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...