3686 search results - page 473 / 738 » Pattern-Based Parallel Programming |
139
Voted
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
120
Voted
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
124
Voted
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
Although every terminating loop has a ranking function, not every loop has a ranking function of a restricted form, such as a lexicographic tuple of polynomials over program variab...
113
click to vote
LCTRTS
2005
Springer
15 years 9 months ago
2005
Springer
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...
112
click to vote
MIDDLEWARE
2005
Springer
15 years 9 months ago
2005
Springer
Building a distributed middleware infrastructure that provides the low latency required for massively multiplayer games while still maintaining consistency is non-trivial. Previous...