Sciweavers

4670 search results - page 562 / 934
» Toward meaningful computing
Sort
View
TCS
1998
15 years 6 months ago
Algebraic Translations, Correctness and Algebraic Compiler Construction
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...
Theo M. V. Janssen
GC
2010
Springer
15 years 5 months ago
20 Years of Negami's Planar Cover Conjecture
In 1988, Seiya Negami published a conjecture stating that a graph G has a finite planar cover (i.e. a homomorphism from some planar graph onto G which maps the vertex neighbourhoo...
Petr Hlinený
ICCS
2010
Springer
15 years 5 months ago
Introducing Rigor in Concept Maps
Although concept maps have been found to be effective in science education research, these are critiqued for being informal due to informal usage of relation and attribute names t...
Meena Kharatmal, G. Nagarjuna
PERCOM
2010
ACM
15 years 5 months ago
Sharing using social networks in a composable Web of Things
Abstract—In the emerging “Web of Things”, digitally augmented everyday objects are seamlessly integrated to the Web by reusing Web patterns such as REST. This results in an e...
Dominique Guinard, Mathias Fischer, Vlad Trifa
PVM
2010
Springer
15 years 5 months ago
Locality and Topology Aware Intra-node Communication among Multicore CPUs
A major trend in HPC is the escalation toward manycore, where systems are composed of shared memory nodes featuring numerous processing units. Unfortunately, with scale comes compl...
Teng Ma, George Bosilca, Aurelien Bouteiller, Jack...