532 search results - page 60 / 107 » Optimal Control Using Bisimulations: Implementation |
EUROSYS
2007
ACM
14 years 5 months ago
2007
ACM
Software transactional memory (STM) is a promising technique for controlling concurrency in modern multi-processor architectures. STM aims to be more scalable than explicit coarse...
ISCAS
2006
IEEE
14 years 2 months ago
2006
IEEE
A robust system architecture to achieve optical coherency free optimization. Several methods that had been proposed in the in multiple-beam free-space laser communication links wit...
RTSS
1998
IEEE
14 years 22 days ago
1998
IEEE
We consider the problem of implementing shared objects in uniprocessor and multiprocessor real-time systems in which tasks are executed using a scheduling quantum. In most quantum...
POPL
1994
ACM
14 years 17 days ago
1994
ACM
Modern computer architectures increasingly depend on mechanisms that estimate future control flow decisions to increase performance. Mechanisms such as speculative execution and p...
PASTE
2005
ACM
14 years 2 months ago
2005
ACM
This paper presents Lancet, a multi-platform software visualization tool that enables the inspection of programs at the binary code level. Implemented on top of the linktime rewri...