443 search results - page 28 / 89 » Relations in Concurrency |
127
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
123
click to vote
ICCAD
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...
118
click to vote
XSYM
2004
Springer
15 years 7 months ago
2004
Springer
Processing XML documents in multi-user database management environments requires a suitable storage model of XML data, support of typical XML document processing (XDP) interfaces, ...
104
click to vote
FUIN
2008
15 years 1 months ago
2008
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper surveys some recent works on the study of termination in a concurrent setting. Processes are π-calculus processes, on which type systems are imposed that ensu...