Sciweavers

1346 search results - page 121 / 270
» An Interface Model for Parallel Components
Sort
View
ICSE
2007
IEEE-ACM
14 years 9 months ago
Compatibility and Regression Testing of COTS-Component-Based Software
Software engineers frequently update COTS components integrated in component-based systems, and can often chose among many candidates produced by different vendors. This paper tac...
Leonardo Mariani, Mauro Pezzè, Sofia Papagi...
IPPS
2009
IEEE
14 years 3 months ago
Implementing OpenMP on a high performance embedded multicore MPSoC
In this paper we discuss our initial experiences adapting OpenMP to enable it to serve as a programming model for high performance embedded systems. A high-level programming model...
Barbara M. Chapman, Lei Huang, Eric Biscondi, Eric...
EICS
2009
ACM
14 years 3 months ago
A bisimulation-based approach to the analysis of human-computer interaction
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
Sébastien Combéfis, Charles Pecheur
ICFEM
2009
Springer
14 years 3 months ago
Scalable Multi-core Model Checking Fairness Enhanced Systems
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
Yang Liu 0003, Jun Sun 0001, Jin Song Dong
CCGRID
2005
IEEE
14 years 2 months ago
User group-based workload analysis and modelling
Knowledge about the workload is an important aspect for scheduling of resources as parallel computers or Grid components. As the scheduling quality highly depends on the character...
Baiyi Song, Carsten Ernemann, Ramin Yahyapour