3667 search results - page 530 / 734 » Software Rejuvenation - Modeling and Analysis |
127
Voted
PEPM
2000
ACM
15 years 7 months ago
2000
ACM
Many program optimisations and analyses, such as arraybound checking, termination analysis, etc, dependon knowing the size of a function's input and output. However, size inf...
121
Voted
ICSE
1995
IEEE-ACM
15 years 7 months ago
1995
IEEE-ACM
This paper presents a compact Petri net representation that is e cient to construct for concurrent programs that use explicit tasking and rendezvous style communication. These Pet...
132
Voted
CISIS
2010
IEEE
15 years 6 months ago
2010
IEEE
Offload C++ is an extended version of the C++ language, together with a compiler and runtime system, for automatically offloading general-purpose C++ code to run on the Synergistic...
110
Voted
ESEM
2009
ACM
15 years 6 months ago
2009
ACM
Existing studies on problem reports in open source projects focus primarily on the analysis of the general category of problem reports, or limit their attention to observations on...
128
Voted
COMPSAC
2005
IEEE
15 years 5 months ago
2005
IEEE
Fault-tolerant mobile computing systems have different requirements and restrictions, not taken into account by conventional distributed systems. This paper presents a coordinate...