Sciweavers

2523 search results - page 374 / 505
» Correct Development of Embedded Systems
Sort
View
POPL
2008
ACM
14 years 9 months ago
Semantics of transactional memory and automatic mutual exclusion
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
Andrew Birrell, Martín Abadi, Michael Isard...
SMC
2007
IEEE
110views Control Systems» more  SMC 2007»
14 years 3 months ago
A validity index based on cluster symmetry
— An important consideration in clustering is the determination of the correct number of clusters and the appropriate partitioning of a given data set. In this paper, a newly dev...
Sriparna Saha, Sanghamitra Bandyopadhyay
DAGSTUHL
2006
13 years 10 months ago
A Framework for Analyzing Composition of Security Aspects
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
Jorge Fox, Jan Jürjens
ESWS
2009
Springer
13 years 7 months ago
Using Partial Reference Alignments to Align Ontologies
In different areas ontologies have been developed and many of these ontologies contain overlapping information. Often we would therefore want to be able to use multiple ontologies....
Patrick Lambrix, Qiang Liu 0002
IPPS
2010
IEEE
13 years 6 months ago
A simple thermal model for multi-core processors and its application to slack allocation
Abstract--Power density and heat density of multicore processor system are increasing exponentially with Moore's Law. High temperature on chip greatly affects its reliability,...
Zhe Wang, Sanjay Ranka