Sciweavers

ICSE
2010
IEEE-ACM
14 years 21 days ago
Advanced hands-on training for distributed and outsourced software engineering
Today’s software projects are often distributed across multiple locations. This distribution poses new challenges produced by the cooperation across different countries, times z...
Martin Nordio, Roman Mitin, Bertrand Meyer
ICSE
2010
IEEE-ACM
14 years 21 days ago
From behaviour preservation to behaviour modification: constraint-based mutant generation
The efficacy of mutation analysis depends heavily on its capability to mutate programs in such a way that they remain executable and exhibit deviating behaviour. Whereas the forme...
Friedrich Steimann, Andreas Thies
ICSE
2010
IEEE-ACM
14 years 21 days ago
Using symbolic evaluation to understand behavior in configurable software systems
Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffr...
CBSE
2010
Springer
14 years 22 days ago
Comparison of Component Frameworks for Real-Time Embedded Systems
Abstract. The usage of components brings significant help in development of real-time embedded systems. There have been a number of component frameworks developed for this purpose...
Petr Hosek, Tomás Pop, Tomás Bures, ...
CBSE
2010
Springer
14 years 22 days ago
A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks
Abstract. Many component models and frameworks have been proabstract and capture concerns from Real-Time and Embedded application domains, based on high-level component-based appro...
Frédéric Loiret, Lionel Seinturier, ...
ADAEUROPE
2010
Springer
14 years 22 days ago
Practical Limits on Software Dependability: A Case Study
The technology for building dependable computing systems has advanced dramatically. Nevertheless, there is still no complete solution to building software for critical systems in w...
Patrick J. Graydon, John C. Knight, Xiang Yin
ADAEUROPE
2010
Springer
14 years 22 days ago
AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...
Gingun Hong, Kirak Hong, Bernd Burgstaller, Johann...
ADAEUROPE
2010
Springer
14 years 22 days ago
What to Make of Multicore Processors for Reliable Real-Time Systems?
Now that multicore microprocessors have become a commodity, it is natural to think about employing them in all kinds of computing, including high-reliability embedded real-time sy...
Theodore P. Baker
WCRE
2002
IEEE
14 years 24 days ago
Estimating Potential Parallelism for Platform Retargeting
Scientific, symbolic, and multimedia applications present diverse computing workloads with different types of inherent parallelism. Tomorrow’s processors will employ varying com...
Linda M. Wills, Tarek M. Taha, Lewis B. Baumstark ...
WCRE
2002
IEEE
14 years 24 days ago
Analysis of Virtual Method Invocation for Binary Translation
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...
Jens Tröger, Cristina Cifuentes