Sciweavers

648 search results - page 64 / 130
» Carving differential unit test cases from system test cases
Sort
View
IEE
2002
110views more  IEE 2002»
13 years 8 months ago
Open source software projects as virtual organisations: competency rallying for software development
: This paper contributes to the identification and testing of factors important for the success of open source software (OSS) projects. We present an analysis of OSS communities as...
Kevin Crowston, Barbara Scozzi
IUI
1999
ACM
14 years 1 months ago
Integrating Organizational Memory and Performance Support
We describe an approach to building integrated performance support systems by using model-based task tracking to link performance support tools to video-based organizational memor...
Christopher R. Johnson, Lawrence Birnbaum, Ray Bar...
CASES
2004
ACM
14 years 2 months ago
Safely exploiting multithreaded processors to tolerate memory latency in real-time systems
A coarse-grain multithreaded processor can effectively hide long memory latencies by quickly switching to an alternate task when the active task issues a memory request, improving...
Ali El-Haj-Mahmoud, Eric Rotenberg
CORR
2002
Springer
133views Education» more  CORR 2002»
13 years 8 months ago
Declarative program development in Prolog with GUPU
Abstract. We present GUPU, a side-effect free environment specialized for programming courses. It seamlessly guides and supports students during all phases of program development, ...
Ulrich Neumerkel, Stefan Kral
EMSOFT
2008
Springer
13 years 10 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...