Search
Now showing items 1-4 of 4
(Research report / Forskningsrapport, 2011)
We present an effect based static analysis to calculate upper and lower bounds on the memory resource consumption in a transactional calculus. The calculus is a concurrent variant of Featherweight Java extended by transactional ...
(Research report / Forskningsrapport, 2011)
Feil nr (409) på tittelbladet. Skal være Research report nr 406.
(Research report / Forskningsrapport, 2011)
Deadlocks are a common error in programs with lock-based concurrency and are hard to avoid or even to detect. One way for deadlock prevention is to statically analyze the program code to spot sources of potential deadlocks. ...
(Research report / Forskningsrapport, 2011)
Hybrid systems are systems that exhibit both discrete and continuous behavior. Reachability, the question of whether a system in one state can reach some other state, is undecidable for hybrid systems in general. The ...