1206 search results - page 186 / 242 » Concurrent Abstract Predicates |
122
Voted
BIRTHDAY
2009
Springer
14 years 10 months ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...
104
Voted
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
111
click to vote
VLSID
2006
IEEE
15 years 6 months ago
2006
IEEE
This tutorial focuses on advanced techniques to cope with the complexity of designing modern digital chips which are complete systems often containing multiple processors, complex...
101
Voted
IFM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
109
Voted
TACAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...