Sciweavers

4772 search results - page 684 / 955
» An approach to interface synthesis
Sort
View
CC
2005
Springer
134views System Software» more  CC 2005»
16 years 9 days ago
Jazz: A Tool for Demand-Driven Structural Testing
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...
Jonathan Misurda, James A. Clause, Juliya L. Reed,...
DSVIS
2005
Springer
16 years 8 days ago
Mapping ConcurTaskTrees into UML 2.0
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
Leonel Nóbrega, Nuno Jardim Nunes, Helder C...
ICS
2005
Tsinghua U.
16 years 8 days ago
Automatic generation and tuning of MPI collective communication routines
In order for collective communication routines to achieve high performance on different platforms, they must be able to adapt to the system architecture and use different algori...
Ahmad Faraj, Xin Yuan
161
Voted
JSAI
2005
Springer
16 years 7 days ago
Representing Information Structure in a Formal Grammar of Danish
This paper presents a proposal for the integration of information structure in a unification-based grammar of Danish. Three information structure features – topic, focus and bac...
Patrizia Paggio
NIME
2005
Springer
189views Music» more  NIME 2005»
16 years 7 days ago
Location33: A Mobile Musical
In this paper, we describe a course of research investigating the potential for new types of music made possible by location tracking and wireless technologies. Listeners walk aro...
William B. Carter, Leslie S. Liu