48 search results - page 1 / 10 » Memoised Garbage Collection for Software Model Checking |
TACAS
2009
Springer
14 years 22 hour ago
2009
Springer
BIRTHDAY
2007
Springer
13 years 11 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
HIPEAC
2005
Springer
13 years 10 months ago
2005
Springer
This paper shows that Appel-style garbage collectors often make suboptimal decisions both in terms of when and how to collect. We argue that garbage collection should be done when ...
WIESS
2000
13 years 6 months ago
2000
A software system can be called a safe-system with respect to memory, when it supports only strong-typing and it does not allow for the manual disposal of dynamic memory [2]. The ...
GPC
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...