|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 161 occurrences of 114 keywords
|
|
|
Results
Found 506 publication records. Showing 506 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
42 | Ian East |
Concurrent/Reactive System Design with Honeysuckle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007, pp. 109-118, 2007, IOS Press, 978-1-58603-767-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
42 | David May 0001 |
Communicating Process Architecture for Multicores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007, pp. 21-32, 2007, IOS Press, 978-1-58603-767-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
42 | Wilson Ifill, Steve A. Schneider |
A Step Towards Refining and Translating B Control Annotations to Handel-C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007, pp. 399-424, 2007, IOS Press, 978-1-58603-767-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
42 | Phillip J. Brooke, Richard F. Paige |
Lazy Exploration and Checking of CSP Models with CSPsim. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007, pp. 33-49, 2007, IOS Press, 978-1-58603-767-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
42 | Peter H. Welch, Jon M. Kerridge, Fred R. M. Barnes (eds.) |
The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![IOS Press, 978-1-58603-671-3 The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Christian L. Jacobsen, Damian J. Dimmich, Matthew C. Jadud |
Native Code Generation Using the Transterpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 269-280, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Bernhard H. C. Sputh, Oliver Faust, Alastair R. Allen |
Portable CSP Based Design for Embedded Multi-Core Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 123-134, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Kevin Chalmers, Sarah Clayton |
CSP for .NET Based on JCSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 59-76, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Fred R. M. Barnes |
Compiling CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 377-388, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Kevin Chalmers, Jon M. Kerridge, Imed Romdhani |
Performance Evaluation of JCSP Micro Edition: JCSPme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 31-40, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Jon M. Kerridge, Kevin Chalmers |
Ubiquitous Access to Site Specific Services by Mobile Devices: the Process View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 41-58, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Oliver Faust, Bernhard H. C. Sputh, Alastair R. Allen |
A Study of Percolation Phenomena in Process Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 109-121, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Mario Schweigler, Adam T. Sampson |
pony - The occam-pi Network Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 77-108, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes |
Video Processing in occam-pi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 311-329, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Bojan Orlic, Jan F. Broenink |
SystemCSP - Visual Notation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 151-177, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Jonathan Simpson, Christian L. Jacobsen, Matthew C. Jadud |
Mobile Robot Control - The Subsumption Architecture and occam-pi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 225-236, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Mark Burgin, Marc L. Smith |
Compositions of Concurrent Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 281-296, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Neil Brown 0001 |
Rain: A New Concurrent Process-Oriented Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 237-251, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Hans Henrik Happe |
TCP Input Threading in High Performance Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 203-213, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Shyam Kumar, Gardiner S. Stiles |
A JCSP.net Implementation of a Massively Multiplayer Online Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 135-149, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Neil Brown 0001 |
Rain VM: Portable Concurrency through Managing Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 253-267, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Jan Bækgaard Pedersen |
Classification of Programming Errors in Parallel Message Passing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 363-376, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Alex A. Lehmberg, Martin N. Olsen |
An Introduction to CSP.NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 13-30, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Bojan Orlic, Jan F. Broenink |
Interacting Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 179-202, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Gerald H. Hilderink |
Software Specification Refinement and Verification Method with I-Mathic Studio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 297-310, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Øyvind Teig |
No Blocking on Yesterday's Embedded CSP Implementation - (The Rubber Band of Getting it Right and Simple). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 331-338, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Peter H. Welch |
A Fast Resolution of Choice between Multiway Synchronisations (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 389, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Damian J. Dimmich, Christian L. Jacobsen, Matthew C. Jadud |
A Cell Transterpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 215-224, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Alistair A. McEwan |
A Circus Development and Verification of an Internet Packet Filter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 339-362, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Barry Cook, Paul Walker |
SpaceWire - DS-Links Reborn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 1-12, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Jan F. Broenink, Herman W. Roebbers, Johan P. E. Sunter, Peter H. Welch, David C. Wood (eds.) |
The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![IOS Press, 978-1-58603-561-7 The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Brian Vinter |
The Architecture of the Minimum intrusion Grid (MiG). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 189-201, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Marcel A. Groothuis, Geert K. Liet, Jan F. Broenink |
gCSP occam Code Generation for RMoX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 375-383, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Ad M. G. Peeters |
Handshake Technology: High Way to Low Power - Invited Talk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 401, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Paul Stravers |
Homogeneous Multiprocessing for Consumer Electronics - Invited Talk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 399, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Maarten Wiggers, Nikolay Kavaldjiev, Gerard J. M. Smit, Pierre G. Jansen |
Architecture Design Space Exploration for Streaming Applications through Timing Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 219-233, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Ian East |
Interfacing with Honeysuckle by Formal Contract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 1-11, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Hans Henrik Happe, Brian Vinter |
Improving TCP/IP Multicasting with Message Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 155-163, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Damian J. Dimmich, Christian L. Jacobsen |
A Foreign-Function Interface Generator for occam-pi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 235-248, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Arash Saifhashemi, Peter A. Beerel |
High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 275-288, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Albert L. Schoute, Remco Seesink, Werner Dierssen, Niek Kooij |
Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 147-154, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Dusko S. Jovanovic, Bojan E. Orlic, Jan F. Broenink |
On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 29-41, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Kevin Chalmers, Jon M. Kerridge |
jcsp.mobile: A Package Enabling Mobile Processes and Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 109-127, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Bernhard H. C. Sputh, Alastair R. Allen |
JCSP-Poison: Safe Termination of CSP Process Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 71-107, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Guy H. Broadfoot |
If Concurrency in Software is So Simple, Why is it So Hard? - Invited Talk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 403, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Marc L. Smith |
A Unifying Theory of True Concurrency Based on CSP and Lazy Observation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 177-188, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | John Jakson |
R16: A New Transputer Design for FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 335-362, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Fred R. M. Barnes |
Interfacing C and occam-pi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 249-260, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Jon M. Kerridge, Ken Barclay, John Savage |
Groovy Parallel! A Return to the Spirit of occam? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 13-28, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Johnston Stewart, Paddy Nixon, Tim Walsh, Ian Ferguson |
Towards Strong Mobility in the Shared Source CLI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 363-373, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Mihail Ivanovici, Razvan Beuran, Neil Davies |
Assessing Application Performance in Degraded Network Environments: An FPGA-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 385-395, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Bart Rem, Ajeesh Gopalakrishnan, Tom J. H. Geelen, Herman W. Roebbers |
Automatic Handel-C Generation from MATLAB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 43-69, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | John Markus Bjørndalen, Otto J. Anshus, Brian Vinter |
Interactive Computing with the Minimum intrusion Grid (MiG). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 261-273, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Peter H. Welch, Fred R. M. Barnes |
Mobile Barriers for occam-pi: Semantics, Implementation and Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 289-316, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Gerald H. Hilderink |
Exception Handling Mechanism in Communicating Threads for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 317-334, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Adam T. Sampson, Peter H. Welch, Fred R. M. Barnes |
Lazy Cellular Automata with Communicating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 165-175, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt |
Verification of JCSP Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 203-218, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | H. Peter Hofstee |
Communication and Synchronization in the Cell Processor - Invited Talk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 397, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
42 | William B. Gardner |
CSP++: How Faithful to CSPm? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 129-146, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
38 | Eric Brier, Christophe Clavier, Francis Olivier |
Correlation Power Analysis with a Leakage Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHES ![In: Cryptographic Hardware and Embedded Systems - CHES 2004: 6th International Workshop Cambridge, MA, USA, August 11-13, 2004. Proceedings, pp. 16-29, 2004, Springer, 3-540-22666-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Correlation factor, secure cryptographic device, AES, DPA, power analysis, DES, Hamming distance, side channel, CPA |
37 | Zhenyu Hu, Fuchun Sun 0001, JianChun Jiang |
Ciphertext verification security of symmetric encryption schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(9), pp. 1617-1631, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
reaction attack, IND-CPA, IND-CCA, privacy, integrity, encryption |
37 | Claire Whelan, Michael Scott |
Side Channel Analysis of Practical Pairing Implementations: Which Path Is More Secure? ![Search on Bibsonomy](Pics/bibsonomy.png) |
VIETCRYPT ![In: Progressin Cryptology - VIETCRYPT 2006, First International Conference on Cryptology in Vietnam, Hanoi, Vietnam, September 25-28, 2006, Revised Selected Papers, pp. 99-114, 2006, Springer, 3-540-68799-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Correlation Power Analysis (CPA), ?T Pairing, Side Channel Analysis (SCA), Tate Pairing, Pairing Based Cryptography, Ate Pairing |
37 | Kwanghoon Pio Kim, Ilkyeun Ra |
A Process-Driven e-Business Service Integration System and Its Application to e-Logistics Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems Engineering - WISE 2005, 6th International Conference on Web Information Systems Engineering, New York, NY, USA, November 20-22, 2005, Proceedings, pp. 669-678, 2005, Springer, 3-540-30017-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
e-Business Service Integration System, B2B Choreography and Orchestration, e-Business Process Management, ebXML Standard, CPP/CPA, BPSS, e-Logistics, e-Commerce |
28 | Ashish Goel, Kamesh Munagala |
Hybrid keyword search auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 18th International Conference on World Wide Web, WWW 2009, Madrid, Spain, April 20-24, 2009, pp. 221-230, 2009, ACM, 978-1-60558-487-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
internet, mechanism design, keyword auctions |
28 | Kenneth G. Paterson, Sriramkrishnan Srinivasan |
Building Key-Private Public-Key Encryption Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 14th Australasian Conference, ACISP 2009, Brisbane, Australia, July 1-3, 2009, Proceedings, pp. 276-292, 2009, Springer, 978-3-642-02619-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
multiple trusted authorities, TA anonymity, standard model, public-key encryption, identity-based encryption, key-privacy |
28 | Cristian Ene, Yassine Lakhnech, Van Chan Ngo |
Formal Indistinguishability Extended to the Random Oracle Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2009, 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings, pp. 555-570, 2009, Springer, 978-3-642-04443-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Mihir Bellare, Chanathip Namprempre |
Authenticated Encryption: Relations among Notions and Analysis of the Generic Composition Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 21(4), pp. 469-491, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Message authentication, Authenticated encryption, Symmetric encryption, Concrete security |
28 | Takato Hirano, Koichiro Wada, Keisuke Tanaka |
Public-Key Cryptosystems with Primitive Power Roots of Unity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 13th Australasian Conference, ACISP 2008, Wollongong, Australia, July 7-9, 2008, Proceedings, pp. 98-112, 2008, Springer, 978-3-540-69971-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Paillier encryption scheme, factoring assumption, power roots of unity, homomorphism |
28 | Ling Cheung, Calvin C. Newport |
Provably secure ciphertext policy ABE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2007 ACM Conference on Computer and Communications Security, CCS 2007, Alexandria, Virginia, USA, October 28-31, 2007, pp. 456-465, 2007, ACM, 978-1-59593-703-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
access control, public key cryptography, attribute-based encryption |
28 | Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai |
Designing Prolog Semantics for a Class of Observables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2006: Trends in Artificial Intelligence, 9th Pacific Rim International Conference on Artificial Intelligence, Guilin, China, August 7-11, 2006, Proceedings, pp. 1052-1057, 2006, Springer, 3-540-36667-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Isamu Teranishi, Wakaha Ogata |
Relationship Between Standard Model Plaintext Awareness and Message Hiding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2006, 12th International Conference on the Theory and Application of Cryptology and Information Security, Shanghai, China, December 3-7, 2006, Proceedings, pp. 226-240, 2006, Springer, 3-540-49475-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Standard Model, Plaintext Awareness |
28 | Yitao Duan, John F. Canny |
How to Construct Multicast Cryptosystems Provably Secure Against Adaptive Chosen Ciphertext Attack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CT-RSA ![In: Topics in Cryptology - CT-RSA 2006, The Cryptographers' Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2006, Proceedings, pp. 244-261, 2006, Springer, 3-540-31033-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Jacques Patarin, Audrey Montreuil |
Benes and Butterfly Schemes Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2005, 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers, pp. 92-116, 2005, Springer, 3-540-33354-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
information-theoretic primitive, design of keyed hash functions. (An extended version of this paper is available from the authors), unconditional security, Pseudo-random functions |
28 | Mihir Bellare, Adriana Palacio |
Towards Plaintext-Aware Public-Key Encryption Without Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2004, 10th International Conference on the Theory and Application of Cryptology and Information Security, Jeju Island, Korea, December 5-9, 2004, Proceedings, pp. 48-62, 2004, Springer, 3-540-23975-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | David Galindo, Sebastià Martín Molleví, Tsuyoshi Takagi, Jorge Luis Villar |
A Provably Secure Elliptic Curve Scheme with Fast Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDOCRYPT ![In: Progress in Cryptology - INDOCRYPT 2004, 5th International Conference on Cryptology in India, Chennai, India, December 20-22, 2004, Proceedings, pp. 245-259, 2004, Springer, 3-540-24130-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Wen-Chang Yeh, Chein-Wei Jen |
Generalized Earliest-First Fast Addition Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 52(10), pp. 1233-1242, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Carry-propagation adder, final adder, conditional-sum, carry-lookahead |
28 | Kaoru Kurosawa, Tsuyoshi Takagi |
Some RSA-Based Encryption Schemes with Tight Security Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2003, 9th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, November 30 - December 4, 2003, Proceedings, pp. 19-36, 2003, Springer, 3-540-20592-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
RSA-Paillier, Rabin-Paillier, Factoring, semantic security, tight reduction |
28 | David Galindo, Sebastià Martín Molleví, Paz Morillo, Jorge Luis Villar |
A Practical Public Key Cryptosystem from Paillier and Rabin Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography - PKC 2003, 6th International Workshop on Theory and Practice in Public Key Cryptography, Miami, FL, USA, January 6-8, 2003, Proceedings, pp. 279-291, 2003, Springer, 3-540-00324-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
public-key cryptography, factoring, standard model, semantic security |
28 | Andrei Radulescu, Arjan J. C. van Gemund |
A Low-Cost Approach towards Mixed Task and Data Parallel Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: Proceedings of the 2001 International Conference on Parallel Processing, ICPP 2002, 3-7 September 2001, Valencia, Spain, pp. 69-76, 2001, IEEE Computer Society, 0-7695-1257-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Leila Maria Garcia Fonseca, Charles S. Kenney |
Control Point Assessment for Image Registration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: XII Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI '99), October 17-20, 1999, Campinas, Brazil, pp. 125-132, 1999, IEEE Computer Society, 0-7695-0481-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Yang Cai 0003, Martin D. F. Wong |
Optimal channel pin assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 10(11), pp. 1413-1424, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Emmanuel Prouff, Robert P. McEvoy |
First-Order Side-Channel Attacks on the Permutation Tables Countermeasure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHES ![In: Cryptographic Hardware and Embedded Systems - CHES 2009, 11th International Workshop, Lausanne, Switzerland, September 6-9, 2009, Proceedings, pp. 81-96, 2009, Springer, 978-3-642-04137-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Permutation Tables, MIA, Side-Channel Attacks, Masking, CPA |
24 | Thanh-Ha Le, Cécile Canovas, Jessy Clédière |
An overview of side channel analysis attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2008, Tokyo, Japan, March 18-20, 2008, pp. 33-43, 2008, ACM, 978-1-59593-979-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
side channel attacks, stochastic model, DPA, DEMA, CPA, template attack |
24 | Victor Lomné, Thomas Ordas, Philippe Maurine, Lionel Torres, Michel Robert, Rafael Soares, Ney Calazans |
Triple Rail Logic Robustness against DPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ReConFig ![In: ReConFig'08: 2008 International Conference on Reconfigurable Computing and FPGAs, 3-5 December 2008, Cancun, Mexico, Proceedings, pp. 415-420, 2008, IEEE Computer Society, 978-0-7695-3474-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
STTL, DPA, SCA, CPA |
24 | Toshihiro Katashita, Akashi Satoh, Takeshi Sugawara 0001, Naofumi Homma, Takafumi Aoki |
Enhanced Correlation Power Analysis Using Key Screening Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ReConFig ![In: ReConFig'08: 2008 International Conference on Reconfigurable Computing and FPGAs, 3-5 December 2008, Cancun, Mexico, Proceedings, pp. 403-408, 2008, IEEE Computer Society, 978-0-7695-3474-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
FPGA, side-channel attack, power analysis, CPA |
24 | Rafael Soares, Ney Laert Vilar Calazans, Victor Lomné, Philippe Maurine, Lionel Torres, Michel Robert |
Evaluating the robustness of secure triple track logic through prototyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 21st Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2008, Gramado, Brazil, September 1-4, 2008, pp. 193-198, 2008, ACM, 978-1-60558-231-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
logic style, FPGA, side-channel attacks, DPA, DES, CPA |
24 | Barton P. Miller, Morgan Clark, Jeffrey K. Hollingsworth, Steven Kierstead, Sek-See Lim, Timothy Torzewski |
IPS-2: The Second Generation of a Parallel Program Measurement System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 1(2), pp. 206-217, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
IPS-2, parallel program measurement system, performance measurement system, performance analysis techniques, program bottlenecks, interactive program analysis, automatic guidance techniques, Charlotte distributed operating system, 4.3BSD UNIX systems, DECstation, Sun 4, Sequent Symmetry multiprocessor, performance evaluation, parallel programs, parallel programming, semantics, graphical user interface, software tools, Unix, shared-memory systems, distributed programs, network operating systems, program diagnostics, VAX, design concepts, message systems, CPA |
23 | Mahabir Prasad Jhanwar, Rana Barua |
A Variant of Boneh-Gentry-Hamburg's Pairing-Free Identity Based Encryption Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inscrypt ![In: Information Security and Cryptology, 4th International Conference, Inscrypt 2008, Beijing, China, December 14-17, 2008, Revised Selected Papers, pp. 314-331, 2008, Springer, 978-3-642-01439-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Quadratic Residuosity Assumption, Pairing Map, IND-ID-CPA, Identity Based Encryption |
23 | Takahiro Matsuda 0002, Goichiro Hanaoka, Kanta Matsuura, Hideki Imai |
Simple CCA-Secure Public Key Encryption from Any Non-Malleable Identity-Based Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2008, 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers, pp. 1-19, 2008, Springer, 978-3-642-00729-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
IND-CCA security, NM-sID-CPA security, public key encryption, identity-based encryption, non-malleability |
23 | Guilhem Castagnos |
Two Generic Constructions of Probabilistic Cryptosystems and Their Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCN ![In: Security and Cryptography for Networks, 6th International Conference, SCN 2008, Amalfi, Italy, September 10-12, 2008. Proceedings, pp. 92-108, 2008, Springer, 978-3-540-85854-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Homomorphic Scheme, Paillier Cryptosystem, Quadratic Fields, IND-CPA and IND-CCA2 security, Standard Model, Generic Construction, Probabilistic Encryption |
23 | Geoffrey Smith 0001, Rafael Alpízar |
Secure information flow with random assignment and encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSE ![In: Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE 2006, Alexandria, VA, USA, November 3, 2006, pp. 33-44, 2006, ACM, 1-59593-550-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
IND-CCA, IND-CPA, encryption, type systems, reductions, noninterference, secure information flow |
21 | Yuan Yuan, Hongjie He, Fan Chen 0003 |
JPEG Bitstreams encryption with CPA-secure and file size reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 83(15), pp. 44833-44856, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Yuwei Zhang, Yan Wu, Yanming Liu, Xinyue Peng |
CPA-Enhancer: Chain-of-Thought Prompted Adaptive Enhancer for Object Detection under Unknown Degradations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.11220, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Houwang Shi, Wenzhong Yang, Danni Chen, Min Wang |
CPA-YOLOv7: Contextual and pyramid attention-based improvement of YOLOv7 for drones scene target detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Vis. Commun. Image Represent. ![In: J. Vis. Commun. Image Represent. 97, pp. 103965, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Ali Shakiba |
A novel randomized chaotic bit-level image encryption algorithm based on a novel 2D-CICM hyper-chaotic mapping with CPA-security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 82(12), pp. 17631-17657, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Siti Nabilah Yusof, Muhammad Rezal Kamel Ariffin, Terry Shue Chien Lau, Nur Raidah Salim, Sook-Chin Yip, Timothy Tzen Vun Yap |
An IND-CPA Analysis of a Cryptosystem Based on Bivariate Polynomial Reconstruction Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(3), pp. 304, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Qiuyu Yu, Chao Qin, Lingkun Luo, Hugh Hong-Tao Liu, Shiqiang Hu |
CPA-Planner: Motion Planner With Complete Perception Awareness for Sensing- Limited Quadrotors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 8(2), pp. 720-727, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Thai-Ha Tran, Ba-Anh Dao, Trong-Thuc Hoang, Van-Phuc Hoang, Cong-Kha Pham |
Transition Factors of Power Consumption Models for CPA Attacks on Cryptographic RISC-V SoC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 72(9), pp. 2689-2700, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Jillian Bommarito, Michael J. Bommarito II, Daniel Martin Katz, Jessica Katz |
GPT as Knowledge Worker: A Zero-Shot Evaluation of (AI)CPA Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.04408, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Yevgeniy Dodis, Shai Halevi, Daniel Wichs |
Security with Functional Re-Encryption from CPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1443, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
Displaying result #201 - #300 of 506 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|