Sciweavers

2902 search results - page 379 / 581
» Software Product Lines
Sort
View
XPU
2010
Springer
15 years 5 months ago
Automated Acceptance Testing of High Capacity Network Gateway
In this paper we will explore how agile acceptance testing is applied in testing a high capacity network gateway. We will demonstrate how the organisation managed to grow agile acc...
Ran Nyman, Ismo Aro, Roland Wagner
HIPEAC
2010
Springer
15 years 5 months ago
Energy and Throughput Efficient Transactional Memory for Embedded Multicore Systems
We propose a new design for an energy-efficient hardware transactional memory (HTM) system for power-aware embedded devices. Prior hardware transactional memory designs proposed a ...
Cesare Ferri, Samantha Wood, Tali Moreshet, R. Iri...
SIGSOFT
2010
ACM
15 years 5 months ago
The last mile: parallel programming and usability
Multiprocessors are now commonplace, and cloud computing is swiftly following suit. While it is possible to write high performance code for these systems, concurrency bugs are ext...
Caitlin Sadowski, Andrew Shewmaker
ICFEM
2009
Springer
15 years 5 months ago
A Compositional Approach on Modal Specifications for Timed Systems
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, J...
BEHAVIOURIT
2010
15 years 4 months ago
Individual attitude toward improvisation in information systems development
Improvisation is rapidly becoming an important issue for both scholars and practitioners. Organizations that operate in turbulent environments must learn to swiftly adapt and resp...
Massimo Magni, B. Provera, Luigi Proserpio