2512 search results - page 120 / 503 » Software Transactional Memory |
ICSE
2011
IEEE-ACM
13 years 1 months ago
2011
IEEE-ACM
In this paper, we propose a new semantic clone detection e by comparing programs’ abstract memory states, which are computed by a semantic-based static analyzer. Our experimenta...
FPL
2008
Springer
13 years 12 months ago
2008
Springer
Adaptive computers combine conventional software programmable processors with reconfigurable compute units. We present techniques that allow the high-performance realization of de...
AMAST
2000
Springer
14 years 2 months ago
2000
Springer
Modelling multi-tasking behaviour is an important phase of real-time system design. It is shown how task scheduling principles can be captured in a CCS-based process algebra via ex...
FOSSACS
2007
Springer
14 years 4 months ago
2007
Springer
Tree automata with one memory have been introduced in
CASES
2000
ACM
14 years 2 months ago
2000
ACM
Dealing with global on-chip memory allocation/de-allocation in a dynamic yet deterministic way is an important issue for upcoming billion transistor multiprocessor System-on-a-Chi...