Sciweavers

2231 search results - page 57 / 447
» Alternation as a programming paradigm
Sort
View
SEUS
2008
IEEE
14 years 4 months ago
On Scalable Synchronization for Distributed Embedded Real-Time Systems
Abstract. We consider the problem of programming distributed embedded real-time systems with distributed dependencies. We show that the de facto standard of using locks and conditi...
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Je...
IJCAI
2003
13 years 11 months ago
Logic Programs for Consistently Querying Data Integration Systems
We solve the problem of obtaining answers to queries posed to a mediated integration system un­ der the local-as-view paradigm that are consistent wrt to certain global integrity...
Loreto Bravo, Leopoldo E. Bertossi
SIGCSE
2002
ACM
123views Education» more  SIGCSE 2002»
13 years 9 months ago
Algorithms and object-oriented programming: bridging the gap
Currently there is a serious conceptual and technical gap between ideas emphasized in object-oriented programming and ideas as taught in algorithms courses. We suggest both a para...
Paolo Bucci, Wayne D. Heym, Timothy J. Long, Bruce...
SIGCSE
2002
ACM
142views Education» more  SIGCSE 2002»
13 years 9 months ago
Integrating formal models into the programming languages course
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and ...
Allen B. Tucker, Robert E. Noonan
CHI
2003
ACM
14 years 10 months ago
A contextual inquiry of expert programmers in an event-based programming environment
Event-based programming has been studied little, yet recent work suggests that language paradigm can predict programming strategies and performance. A contextual inquiry of four e...
Andrew Jensen Ko