Result 1 to 20 of 1740 total
Some collapsing operations for 2-dimensional precubical sets. (English)
J. Homotopy Relat. Struct. 7, No. 2, 281-298 (2012).
1
A concurrent logical relation. (English)
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3‒6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPICS ‒ Leibniz International Proceedings in Informatics 16, 107-121, electronic only (2012).
2
Control flow analysis for the join calculus. (English)
Miné, Antoine (ed.) et al., Static analysis. 19th international symposium, SAS 2012, Deauville, France, September 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33124-4/pbk). Lecture Notes in Computer Science 7460, 181-197 (2012).
3
Parallelizing the SPIN model checker. (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 155-171 (2012).
4
Counterexample explanation by anomaly detection. (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 24-42 (2012).
5
First-order reasoning for higher-order concurrency. (English)
Comput. Lang. Syst. Struct. 38, No. 3, 242-277 (2012).
6
On behavioural pseudometrics and closure ordinals. (English)
Inf. Process. Lett. 112, No. 19, 715-718 (2012).
7
Interrupting snapshots and the $\text{Java}^{\text{TM}}$ size method. (English)
J. Parallel Distrib. Comput. 72, No. 7, 880-888 (2012).
8
Applying a metadata level for concurrency in wireless sensor networks. (English)
Concurrency Comput. Pract. Exp. 24, No. 16, 1953-1962 (2012).
9
Handling input/output operations in web servers: issues and countermeasures. (English)
Concurrency Comput. Pract. Exp. 24, No. 7, 699-710 (2012).
10
Parallel application characterization with quantitative metrics. (English)
Concurrency Comput. Pract. Exp. 24, No. 5, 445-462 (2012).
11
An enhanced flow analysis technique for detecting unreachability faults in concurrent systems. (English)
Inf. Sci. 194, 254-269 (2012).
12
Regions of Petri nets with a/sync connections. (English)
Theor. Comput. Sci. 454, 189-198 (2012).
13
Timing analysis of concurrent programs. (English)
Vardanega, Tullio (ed.), 12th international workshop on worst-case execution time analysis, WCET’12, July 10, 2012, Pisa, Italy. Proceedings. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-41-5). OASIcs ‒ OpenAccess Series in Informatics 23, 59-68, electronic only (2012).
14
A concurrency-preserving translation from time Petri nets to networks of timed automata. (English)
Form. Methods Syst. Des. 40, No. 3, 330-355 (2012).
15
A reputation system for multirole sessions. (English)
Bruni, Roberto (ed.) et al., Trustworthy global computing. 6th international symposium, TGC 2011, Aachen, Germany, June 9‒10, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-30064-6/pbk). Lecture Notes in Computer Science 7173, 1-24 (2012).
16
Reverse exchange for concurrency and local reasoning. (English)
Gibbons, Jeremy (ed.) et al., Mathematics of program construction. 11th international conference, MPC 2012, Madrid, Spain, June 25‒27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31112-3/pbk). Lecture Notes in Computer Science 7342, 177-197 (2012).
17
Parallel programming in morpho. (English)
Jónasson, Kristján (ed.), Applied parallel and scientific computing. 10th international conference, PARA 2010, Reykjavík, Iceland, June 6‒9, 2010. Revised selected papers, Part I. Berlin: Springer (ISBN 978-3-642-28150-1/pbk). Lecture Notes in Computer Science 7133, 97-107 (2012).
18
High concurrency for continuously evolving OODBMS. (English)
Ramanujam, R. (ed.) et al., Distributed computing and internet technology. 8th international conference, ICDCIT 2012, Bhubaneswar, India, February 2‒4, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28072-6/pbk). Lecture Notes in Computer Science 7154, 94-105 (2012).
19
The relationship between separation logic and implicit dynamic frames. (English)
Log. Methods Comput. Sci. 8, No. 3, Paper No. 1, 54 p., electronic only (2012).
20
Result 1 to 20 of 1740 total
Start
Contact
Print
General Help
