2957 search results - page 413 / 592 » Code analysis and CS-XML |
124
click to vote
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
167
click to vote
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
128
click to vote
ISCC
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract—The link layer of an optical direct-detection code-division multiple-access (CDMA) packet network is considered. Two different protocols that need pretransmission coordi...
145
click to vote
WCRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Modern software frameworks provide a set of common and prefabricated software artifacts that support engineers in developing large-scale software systems. Framework-related inform...
121
click to vote
WETICE
2003
IEEE
15 years 10 months ago
2003
IEEE
The coordination of concurrent activities in collaborative environments is a very important and difficult task. Many approaches for the construction of large-scale flexible grou...