Sciweavers

4323 search results - page 205 / 865
» Callback Implementations in C
Sort
View
CONCUR
2008
Springer
15 years 5 months ago
SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs
We present the tool Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance). In Sycraft, a distributed fault-intolerant program is specified in terms of a set of processes and ...
Borzoo Bonakdarpour, Sandeep S. Kulkarni
BCSHCI
2007
15 years 5 months ago
Emotion in HCI
An increasing number of conferences, symposia, workshops, journals and books address the subject of emotions and their role in Human-Computer Interaction, including workshops at t...
Christian Peter, Russell Beale, Elizabeth A. Crane...
CRIWG
2008
15 years 5 months ago
Integrating Collaborative Program Development and Debugging within a Virtual Environment
A collaborative integrated development environment enables developers to share programming-related tasks. This paper presents the design and implementation of a collaborative IDE n...
Hani Bani-Salameh, Clinton Jeffery, Ziad Al-Sharif...
179
Voted
JFPLC
2004
15 years 5 months ago
Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis
ABSTRACT. Some works in progress on finite domain constraint solvers concern the implementation of a XML trace of the computation according to the OADymPPaC DTD (for example in GNU...
Gérard Ferrand, Willy Lesaint, Alexandre Te...
SODA
1997
ACM
199views Algorithms» more  SODA 1997»
15 years 5 months ago
Fast Algorithms for Sorting and Searching Strings
We present theoretical algorithms for sorting and searching multikey data, and derive from them practical C implementations for applications in which keys are character strings. T...
Jon Louis Bentley, Robert Sedgewick