Sciweavers

2302 search results - page 407 / 461
» The Evolution of Concurrent Programs
Sort
View
CSCW
2006
ACM
13 years 12 months ago
CVS integration with notification and chat: lightweight software team collaboration
Code management systems like Concurrent Version System (CVS) can play an important role in supporting coordination in software development, but often at some time removed from ori...
Geraldine Fitzpatrick, Paul Marshall, Anthony Phil...
EMSOFT
2006
Springer
13 years 12 months ago
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
Venkita Subramonian, Christopher D. Gill, Cé...
LREC
2010
173views Education» more  LREC 2010»
13 years 11 months ago
From Speech to Trees: Applying Treebank Annotation to Arabic Broadcast News
The Arabic Treebank (ATB) Project at the Linguistic Data Consortium (LDC) has embarked on a large corpus of Broadcast News (BN) transcriptions, and this has led to a number of new...
Mohamed Maamouri, Ann Bies, Seth Kulick, Wajdi Zag...
INTERACT
2003
13 years 11 months ago
Chemistry Education: A Tangible Interaction Approach
: This system paper reports on some of the advantages tangible interaction can bring to chemistry education. The paper describes how we realized a Tangible User Interface (TUI) cal...
Morten Fjeld, Patrick Juchli, Benedikt M. Voegtli
NDDL
2003
13 years 11 months ago
High-Level Data Races
Data races are a common problem in concurrent and multi-threaded programming. They are hard to detect without proper tool support. Despite the successful application of these tools...
Cyrille Artho, Klaus Havelund, Armin Biere