800 search results - page 95 / 160 » Programming Models for Concurrency and Real-Time |
109
click to vote
LPAR
1999
Springer
15 years 5 months ago
1999
Springer
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
The paper deals with the problem of computing schedules for multi-threaded real-time programs. In [14] we introduced a scheduling method based on the geometrization of PV programs...
101
click to vote
OSDI
2008
ACM
16 years 1 months ago
2008
ACM
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...
117
click to vote
CSFW
2012
IEEE
13 years 3 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...