Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
98 | Madhukar R. Korupolu, Aameek Singh, Bhuvan Bamba |
Coupled placement in modern data centers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-12, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
84 | Yong Ding 0002, Chen Wang 0010, Li Xiao 0001 |
A Connectivity Based Partition Approach for Node Scheduling in Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCOSS ![In: Distributed Computing in Sensor Systems, Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings, pp. 354-367, 2007, Springer, 978-3-540-73089-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
84 | Jacques Patarin |
Security of Random Feistel Schemes with 5 or More Rounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2004, 24th Annual International CryptologyConference, Santa Barbara, California, USA, August 15-19, 2004, Proceedings, pp. 106-122, 2004, Springer, 3-540-22668-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
84 | Tiejun Wang, Scott F. Smith 0001 |
Precise Constraint-Based Type Inference for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings, pp. 99-117, 2001, Springer, 3-540-42206-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
84 | Wen-Chung Kao, Tai-Ming Parng |
Cross point assignment with global rerouting for general-architecture designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14(3), pp. 337-348, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
80 | Thanh-Ha Le, Jessy Clédière, Cécile Canovas, Bruno Robisson, Christine Servière, Jean-Louis Lacoume |
A Proposition for Correlation Power Analysis Enhancement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHES ![In: Cryptographic Hardware and Embedded Systems - CHES 2006, 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings, pp. 174-186, 2006, Springer, 3-540-46559-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
multi-bit DPA, PPA, AES, correlation, DPA, power analysis, DES, side channel, CPA |
79 | Zhenglin Liu, Xu Guo, Yi-Cheng Chen, Yu Han, Xuecheng Zou |
On the Ability of AES S-Boxes to Secure Against Correlation Power Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPEC ![In: Information Security Practice and Experience, Third International Conference, ISPEC 2007, Hong Kong, China, May 7-9, 2007, Proceedings, pp. 43-50, 2007, Springer, 978-3-540-72159-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
correlation power analysis (CPA), Advanced Encryption Standard (AES), hamming distance, correlation coefficient |
70 | Wei Li 0013, Dawu Gu |
An Approach for Symmetric Encryption Against Side Channel Attacks in Provable Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ProvSec ![In: Provable Security, First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007, Proceedings, pp. 178-187, 2007, Springer, 978-3-540-75669-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
70 | Scott F. Smith 0001, Tiejun Wang |
Polyvariant Flow Analysis with Constrained Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 382-396, 2000, Springer, 3-540-67262-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
63 | Daniele Pretolani |
Probability logic and optimization SAT: The PSAT and CPA models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 43(1), pp. 211-221, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
CNF formulas, ideal matrices, probability, logic, directed graphs, propositional satisfiability |
62 | Kevin Chalmers, Jon M. Kerridge |
Verifying the CPA Networking Stack using SPIN/Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 39-52, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
62 | Ian R. East |
A CPA Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
62 | Kevin Chalmers |
Performance of the Distributed CPA Protocol and Architecture on Traditional Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 227-242, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
56 | Yong Ding 0002, Chen Wang 0010, Li Xiao 0001 |
An Adaptive Partitioning Scheme for Sleep Scheduling and Topology Control in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 20(9), pp. 1352-1365, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
56 | Keke Wu, Huiyun Li, Bo Peng, Fengqi Yu |
Correlation Power Analysis Attack against Synchronous Stream Ciphers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 2067-2072, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
56 | Ronald Cramer, Goichiro Hanaoka, Dennis Hofheinz, Hideki Imai, Eike Kiltz, Rafael Pass, Abhi Shelat, Vinod Vaikuntanathan |
Bounded CCA2-Secure Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2007, 13th International Conference on the Theory and Application of Cryptology and Information Security, Kuching, Malaysia, December 2-6, 2007, Proceedings, pp. 502-518, 2007, Springer, 978-3-540-76899-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
49 | Jing Pan, J. I. den Hartog, Erik P. de Vink |
An Operation-Based Metric for CPA Resistance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEC ![In: Proceedings of The IFIP TC-11 23rd International Information Security Conference, IFIP 20th World Computer Congress, IFIP SEC 2008, September 7-10, 2008, Milano, Italy, pp. 429-443, 2008, Springer, 978-0-387-09698-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
49 | Alvin S. Lim, Qing Yang 0003, Kenan Casey, Raghu Neelisetti |
Real-Time Target Tracking with CPA Algorithm in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECON ![In: Proceedings of the Fifth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, SECON 2008, June 16-20, 2008, Crowne Plaza, San Francisco International Airport, California, USA, pp. 305-313, 2008, IEEE, 978-1-4244-1777-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Mihir Bellare, Zvika Brakerski, Moni Naor, Thomas Ristenpart, Gil Segev 0001, Hovav Shacham, Scott Yilek |
Hedged Public-Key Encryption: How to Protect against Bad Randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings, pp. 232-249, 2009, Springer, 978-3-642-10365-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Jan Camenisch, Nishanth Chandran, Victor Shoup |
A Public Key Encryption Scheme Secure against Key Dependent Chosen Plaintext and Adaptive Chosen Ciphertext Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2009, 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings, pp. 351-368, 2009, Springer, 978-3-642-01000-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Antonio Forenza, Robert W. Heath Jr. |
Optimization methodology for designing 2-CPAs exploiting pattern diversity in clustered MIMO channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 56(10), pp. 1748-1759, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Yang Lu 0001, Jiguo Li 0001, Junmo Xiao |
Applying the Fujisaki-Okamoto Conversion to Certificate-based Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISECS ![In: Proceedings of The International Symposium on Electronic Commerce and Security, ISECS 2008, August 3-5, 2008, Guangzhou, China, pp. 296-300, 2008, IEEE Computer Society, 978-0-7695-3258-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Huiyun Li, Keke Wu, Bo Peng, Yiwei Zhang, Xinjian Zheng, Fengqi Yu |
Enhanced Correlation Power Analysis Attack on Smart Card. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 2143-2148, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Carmine Ventre, Ivan Visconti |
Completely Non-malleable Encryption Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography - PKC 2008, 11th International Workshop on Practice and Theory in Public-Key Cryptography, Barcelona, Spain, March 9-12, 2008. Proceedings, pp. 65-84, 2008, Springer, 978-3-540-78439-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Andrey Bogdanov |
Multiple-Differential Side-Channel Collision Attacks on AES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHES ![In: Cryptographic Hardware and Embedded Systems - CHES 2008, 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings, pp. 30-44, 2008, Springer, 978-3-540-85052-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multiple-differential collision attacks, AES, collision detection, side-channel attacks, DPA |
42 | Tingjian Ge, Stanley B. Zdonik |
Fast, Secure Encryption for Indexing in a Column-Oriented DBMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 23rd International Conference on Data Engineering, ICDE 2007, The Marmara Hotel, Istanbul, Turkey, April 15-20, 2007, pp. 676-685, 2007, IEEE Computer Society, 1-4244-0802-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Antonio Forenza, Robert W. Heath Jr. |
Benefit of pattern diversity via two-element array of circular patch antennas in indoor clustered MIMO channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 54(5), pp. 943-954, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Antonio Forenza, Robert W. Heath Jr. |
Benefit of Pattern Diversity via 2-Element Array of Circular Path Antennas in Indoor Clustered MIMO Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 54(4), pp. 760-760, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Kazukuni Kobara, Hideki Imai |
New Chosen-Plaintext Attacks on the One-Wayness of the Modified McEliece PKC Proposed at Asiacrypt 2000. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography, 5th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002, Paris, France, February 12-14, 2002, Proceedings, pp. 237-251, 2002, Springer, 3-540-43168-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Ivan Damgård, Jesper Buus Nielsen |
Expanding Pseudorandom Functions; or: From Known-Plaintext Security to Chosen-Plaintext Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2002, 22nd Annual International Cryptology Conference, Santa Barbara, California, USA, August 18-22, 2002, Proceedings, pp. 449-464, 2002, Springer, 3-540-44050-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Tetsushi Koide, Shin'ichi Wakabayashi, Noriyoshi Yoshida |
Pin assignment with global routing for VLSI building block layout. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(12), pp. 1575-1583, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
42 | Leonie Köhler, Borislav Nikolic, Rolf Ernst, Marc Boyer |
Increasing Accuracy of Timing Models: From CPA to CPA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 25-29, 2019, pp. 1210-1215, 2019, IEEE, 978-3-9819263-2-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Peter H. Welch, Frederick R. M. Barnes, Jan F. Broenink, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson (eds.) |
35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![Open Channel Publishing Ltd., 978-0-9565409-7-3 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Greg Michaelson |
Costing by Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 1-2, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Jan Bækgaard Pedersen, Marc L. Smith |
ProcessJ: A Possible Future of Process-Oriented Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 133-156, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Carl G. Ritson, Frederick R. M. Barnes |
An Evaluation of Intel's Restricted Transactional Memory for CPAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 271-292, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Thomas Gibson-Robinson |
FDR3: the Future of CSP Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 321-322, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Thomas Gibson-Robinson |
Efficient Simulation of CSP-Like Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 185-204, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Thomas Gibson-Robinson |
Using FDR to Model Check CSP-Like Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 323-324, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Øyvind Teig |
Selective Choice "Feathering" with XCHANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 205-216, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Frederick R. M. Barnes, Thomas Pressnell, Brendan Le Foll |
Exploring GPGPU Acceleration of Process-Oriented Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 249-262, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Andrew Turner |
National HPC Facilities at EPCC: Exploiting Massively Parallel Architectures for Scientific Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 3-4, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Rune Møllegård Friborg, John Markus Bjørndalen, Brian Vinter |
Scaling PyCSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 81-92, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Sarwar Alam, Humaira Kamal, Alan Wagner |
Service Oriented Programming in MPI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 93-112, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Martin Rehr, Kenneth Skovhede, Brian Vinter |
BPU Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 233-248, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Peter H. Welch |
An occam Model of XCHANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 329-330, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Rick D. Beton |
An Introduction to Go. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 325-326, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Antoon Hendrik Boode, Hajo Broersma, Jan F. Broenink |
Improving the Performance of Periodic Real-time Processes: a Graph Theoretical Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 57-80, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Paul Howells, Mark d'Inverno |
Successful Termination in Timed CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 21-38, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Michael Quinn Jones, Jan Bækgaard Pedersen |
The Distributed Application Debugger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 217-232, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Andrew Bate |
Scalable Performance for Scala Message-Passing Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 113-132, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Christopher C. R. Jones |
A Personal Perspective on the State of HPC in 2013. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 263-270, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Frederick R. M. Barnes |
The Guppy Language: an Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 327-328, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Peter H. Welch |
Life of occam-Pi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 293-318, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Paul Howells, Mark d'Inverno |
Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 157-184, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Peter H. Welch, Jan Bækgaard Pedersen, Frederick R. M. Barnes |
Mutually Assured Destruction (or the Joy of Sync). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 319-320, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Øyvind Teig |
Names of XCHAN Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 331-332, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Thomas Gibson-Robinson, Michael Goldsmith |
The Meaning and Implementation of SKIP in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 5-20, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Peter H. Welch, Frederick R. M. Barnes, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson (eds.) |
34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![Open Channel Publishing Ltd., 978-0-9565409-5-9 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Peter H. Welch |
occam Obviously. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 213-214, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Ye Li |
Implementation of an Agent-based Model with TBB Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | James Whitehead II |
Designing a Concurrent File Server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 1-14, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Øyvind Teig |
XCHANs: Notes on a New Channel Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 155-170, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Peter H. Welch |
Cancellable Servers - a Pattern for Curiousity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Martin Ellis, Frederick R. M. Barnes |
Data Escape Analysis for Process Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 217-218, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | William B. Gardner, Yuriy Solovyov |
Supporting Timed CSP Operators in CSP++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 89-106, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | S. L. M. Barrocas, Marcel Oliveira |
JCircus 2.0: an Extension of an Automatic Translator from Circus to Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 15-36, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Peter H. Welch |
Unfinished Business - occam-pi². ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | S. L. M. Barrocas |
JCircus Demo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Alex Cole, Alistair A. McEwan, Geoff Mainland |
Beauty And The Beast: Exploiting GPUs In Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 121-134, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Anna Magdalena Kosek, Oliver Gehrke |
A Distributed Multi-Agent Control System for Power Consumption in Buildings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 37-52, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Rinse Wester, Dimitrios Sarakiotis, Eric Kooistra, Jan Kuper |
Specification of APERTIF Polyphase Filter Bank in ClaSH. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 53-64, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Andrew Bate, Gavin Lowe |
A Debugger for Communicating Scala Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 135-154, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Mads Ohm Larsen, Brian Vinter |
Exception Handling and Checkpointing in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 201-212, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Irfan F. Mir, Alistair A. McEwan, Neil J. Perrins |
A High Performance Reconfigurable Architecture for Flash File Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 171-184, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Alex Cole |
Handel-C++ - Adding Syntactic Support to C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Neil J. Perrins, Alistair A. McEwan |
SEU Protection for High-Reliability Flash File Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 219-220, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Richard Miller |
Polyphonic Processors - Fantasy on an FPGA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Oguzcan Oguz, Jan F. Broenink, Angelika Mader |
Schedulability Analysis of Timed CSP Models Using the PAT Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 65-88, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Maarten M. Bezemer, Robert J. W. Wilterdink |
Developing JIWY using TERRA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Adam T. Sampson |
Process-Oriented Building Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 215-216, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Kevin Chalmers |
A Comparison of Message Passing Interface and Communicating Process Architecture Networking Communication Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 107-120, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Maarten M. Bezemer, Robert J. W. Wilterdink, Jan F. Broenink |
Design and Use of CSP Meta-Model for Embedded Control Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 185-200, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
42 | Peter H. Welch, Adam T. Sampson, Jan Bækgaard Pedersen, Jon M. Kerridge, Jan F. Broenink, Frederick R. M. Barnes (eds.) |
33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![IOS Press, 978-1-60750-773-4 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
42 | Matthew M. Huntbach |
A Model for Concurrency Using Single-Writer Single-Assignment Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 255-272, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Jon M. Kerridge |
Experiments in Multicore and Distributed Parallel Processing using JCSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 131-142, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Peter H. Welch, Jan Bækgaard Pedersen, Fred R. M. Barnes, Carl G. Ritson, Neil C. C. Brown |
Adding Formal Verification to occam-π. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 379, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | James Whitehead II |
Serving Web Content with Dynamic Process Networks in Go. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 209-226, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Martin Korsgaard, Sverre Hendseth |
The Computation Time Process Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 273-286, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Douglas N. Warren |
Prioritised Choice over Multiway Synchronisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 87-110, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Eric Bonnici, Peter H. Welch |
Mobile Processes and Call Channels with Variant Interfaces (a Duality). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 377, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Jeremy C. Posso, Adam T. Sampson, Jonathan Simpson, Jon Timmis |
Process-Oriented Subsumption Architectures in Swarm Robotic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 303-316, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Rune Møllegaard Friborg, Brian Vinter |
Verification of a Dynamic Channel Model using the SPIN Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 35-54, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Carl G. Ritson, Paul S. Andrews, Adam T. Sampson |
Object Store Based Simulation Interworking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 243-253, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Alex Cole, Alistair A. McEwan, Satnam Singh |
An Analysis of Programmer Productivity versus Performance for High Level Data Parallel Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 111-130, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Yoshinao Isobe |
CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 341-362, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Christian L. Jacobsen, Matthew C. Jadud, Omer Kilic, Adam T. Sampson |
Concurrent Event-driven Programming in occam-π for the Arduino. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 177-193, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Dan Slipper, Alistair A. McEwan |
A Systems Re-engineering Case Study: Programming Robots with occam and Handel-C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 317-327, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Anna Magdalena Kosek, Aly A. Syed, Jon M. Kerridge |
Evaluating an Emergent Behaviour Algorithm in JCSP for Energy Conservation in Lighting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 143-156, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
42 | Ian Armstrong, Michael Pirrone-Brusse, Anthony Smith, Matthew C. Jadud |
The Flying Gator: Towards Aerial Robotics in occam-π. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 329-340, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|