4311 search results - page 304 / 863 » Code Generation for Distributed Systems |
165
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this study, we introduce an evaluation methodology for advanced memory systems. This methodology is based on statistical factorial analysis. It is two fold: it first determines...
163
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper explores how software developers debug integrated systems, where they have little or no access to the source code of the third-party software the system is composed of....
229
click to vote
WSC
2000
15 years 8 months ago
2000
This paper discusses the use of simulation in a new context. Most often QUEST is viewed as a stand-alone simulation tool to analyze and understand shop floor behavior. It has rare...
161
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we discuss the role of labels in transition systems with regard to bisimilarity and model checking problems. We suggest a general reduction from labelled tr...
212
click to vote
AAAI
2006
15 years 8 months ago
2006
Intrusion attempts due to self-propagating code are becoming an increasingly urgent problem, in part due to the homogeneous makeup of the internet. Recent advances in anomalybased...