Sciweavers

5096 search results - page 870 / 1020
» Associations as a Language Construct
Sort
View
SIGCSE
2010
ACM
169views Education» more  SIGCSE 2010»
16 years 1 months ago
Interfaces first (and foremost) with Java
ion is a critical concept that underlies many topics in computing science. For example, in software engineering, the distinction between a component’s behavior and its implement...
Paolo A. G. Sivilotti, Matthew Lang
CC
2010
Springer
172views System Software» more  CC 2010»
16 years 1 months ago
Verifying Local Transformations on Relaxed Memory Models
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Sin...
CC
2010
Springer
150views System Software» more  CC 2010»
16 years 1 months ago
Practical Extensions to the IFDS Algorithm
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
Nomair A. Naeem, Ondrej Lhoták, Jonathan Ro...
CBMS
2009
IEEE
16 years 1 months ago
Domain concept-based queries for cancer research data sources
Biomedical scientists generate, access, validate and interpret multiple distributed and heterogeneous data sets. Semantic annotations for these data sets are paramount for exchang...
Alejandra González Beltrán, Anthony ...
CEC
2009
IEEE
16 years 1 months ago
Mobile processes, mobile channels and complex dynamic systems
— This paper explores a process-oriented approach to complex systems design, using massive fine-grained concurrency, mobile channels and mobile processes. The complex systems st...
Eric Bonnici, Peter H. Welch