Sciweavers

680 search results - page 24 / 136
» High-Level Data Races
Sort
View
RULEML
2009
Springer
14 years 2 months ago
TomML: A Rule Language for Structured Data
Abstract. We present the Tom language that extends Java with the purpose of providing high level constructs inspired by the rewriting community. Tom bridges thus the gap between a ...
Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Re...
CAISE
2004
Springer
14 years 1 months ago
Modelling Data-Intensive Web Sites with OntoWeaver
This paper illustrates the OntoWeaver modelling approach, which relies on a set of comprehensive site ontologies to model all aspects of dataintensive web sites and thus offers hig...
Yuangui Lei, Enrico Motta, John Domingue
MEMOCODE
2008
IEEE
14 years 2 months ago
Static Deadlock Detection for the SHIM Concurrent Language
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...
Nalini Vasudevan, Stephen A. Edwards
IV
2003
IEEE
111views Visualization» more  IV 2003»
14 years 1 months ago
Colour merging for the visualization of biomolecular sequence data
This paper introduces a novel technique for the visualization of data at various levels of detail. This is based on a colour-based representation of the data, where “high levelâ...
Mark Alston, Colin G. Johnson, Gary Robinson
SAS
2007
Springer
126views Formal Methods» more  SAS 2007»
14 years 2 months ago
Hierarchical Pointer Analysis for Distributed Programs
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
Amir Kamil, Katherine A. Yelick