Sciweavers

4772 search results - page 684 / 955
» An approach to interface synthesis
Sort
View
209
Voted
CC
2005
Springer
134views System Software» more  CC 2005»
16 years 1 months 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 1 months 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 1 months 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
174
Voted
JSAI
2005
Springer
16 years 1 months 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 29 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