2512 search results - page 120 / 503 » Software Transactional Memory |
214
click to vote
ICSE
2011
IEEE-ACM
14 years 9 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...
136
click to vote
FPL
2008
Springer
15 years 8 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...
196
click to vote
AMAST
2000
Springer
15 years 10 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...
158
click to vote
FOSSACS
2007
Springer
16 years 17 days ago
2007
Springer
Tree automata with one memory have been introduced in
164
click to vote
CASES
2000
ACM
15 years 10 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...