4604 search results - page 831 / 921 » Concurrency in Synchronous Systems |
190
click to vote
SPIN
2012
Springer
13 years 9 days ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
111
click to vote
ICFP
2012
ACM
13 years 9 days ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
GROUP
2003
ACM
15 years 3 months ago
2003
ACM
Although the Internet provides powerful tools for social interactions, many tasks—for example, information-seeking—are undertaken as solitary activities. Information seekers a...
ICCAD
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper addresses the problem of efficient and accurate performance analysis to drive the exploration and design of bus-based System-on-Chip (SOC) communication architectures. ...
126
click to vote
HIPS
1998
IEEE
15 years 2 months ago
1998
IEEE
Distributed shared memory (DSM) is a paradigm for programming distributed systems, which provides an alternative to the message passing model. DSM offers the agents of the system ...