Sciweavers

3357 search results - page 436 / 672
» On the Use of Process Trails to Understand Software Developm...
Sort
View
TAPSOFT
1995
Springer
15 years 9 months ago
Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...
Hanne Riis Nielson, Flemming Nielson
SOPR
1998
117views more  SOPR 1998»
15 years 5 months ago
Towards mature IT services
Many organizations provide information technology services, either to external or internal customers. They maintain software, operate information systems, manage and maintain work...
Frank Niessink, Hans van Vliet
ICSE
2009
IEEE-ACM
15 years 10 months ago
Automating Structural Testing of C Programs: Experience with PathCrawler
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
Bernard Botella, Mickaël Delahaye, Sté...
164
Voted
COBUILD
1998
Springer
15 years 10 months ago
The Metaphor of Virtual Rooms in the Cooperative Learning Environment CLear
In the CLear project we develop a cooperative learning system for supporting learning and training processes of co-located and distributed groups. One of the fundamental concepts o...
Hans-Rüdiger Pfister, Christian Schuckmann, J...
CVHI
2007
15 years 7 months ago
A System for Control of Hearing Instrument Selection and Adjustment based on Evaluation of Correct Transmission of Speech Elemen
: Modern digital hearing aids provide unprecedented means of compensating for hearing impairments. However, this comes at the price of adjusting complex processing parameters. To a...
Axel Plinge, Dieter Bauer