4426 search results - page 37 / 886 » Concurrent Constraint Programming |
108
Voted
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— We discuss the evolution of teleconferencing and networked visualization applications to support 3-dimensional display technologies. The implications of a continuation of Moore...
110
click to vote
ICLP
1990
Springer
15 years 6 months ago
1990
Springer
The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive langu...
122
Voted
ICSE
2010
IEEE-ACM
15 years 6 months ago
2010
IEEE-ACM
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
140
Voted
ATVA
2010
Springer
15 years 2 months ago
2010
Springer
ion for Concurrent Programs Ashutosh Gupta, Corneliu Popeea, and Andrey Rybalchenko Technische Universit
131
click to vote
ENTCS
2008
15 years 2 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...