Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
44 | Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli |
A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 309-326, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
40 | Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov |
The complexity of obstruction-free implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 56(4), pp. 24:1-24:33, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
perturbable objects, solo-fast implementations, step contention, lower bounds, Shared memory, memory contention |
37 | Tim Collins, James C. Browne |
MaTRiX++: an object-oriented environment for parallel high-performance matrix computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 202-211, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
MaTRiX+/sup +/, object-oriented environment, parallel high-performance matrix computations, hierarchical matrix algebra, recursive implementations, compilation model, distributed-memory parallel supercomputers, computation distribution, data-driven single-program, multiple-data processor programs, parallel programming, object-oriented programming, programming environments, rapid prototyping, object-oriented languages, matrix algebra, software prototyping, efficient implementations, language extensions, abstraction level, mathematics computing, parallelising compilers, hierarchical data, language interface |
34 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001, Nikhil Swamy |
Verified implementations of the information card federated identity-management protocol. ![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. 123-135, 2008, ACM, 978-1-59593-979-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
cryptographic protocol verification, verified implementations, web services security, federated identity management, CardSpace |
34 | Gaël Rouvroy, François-Xavier Standaert, Jean-Jacques Quisquater, Jean-Didier Legat |
Efficient Uses of FPGAs for Implementations of DES and Its Experimental Linear Cryptanalysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 52(4), pp. 473-482, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
FPGA, Cryptography, DES, linear cryptanalysis, efficient implementations |
34 | Kaushik Ravindran, Arkadeb Ghosal, Rhishikesh Limaye, Douglas Kim, Hugo A. Andrade, Jeff Correll, Jacob Kornerup, Ian C. Wong, Gerald Wang, Guang Yang, Amal Ekbal, Mike Trimborn, Ankita Prasad, Trung N. Tran |
Modeling, Analysis, and Implementation of Streaming Applications for Hardware Targets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Embedded Systems Development, From Functional Models to Implementations ![In: Embedded Systems Development, From Functional Models to Implementations, pp. 19-39, 2014, Springer, 978-1-4614-3878-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin |
Extracting End-to-End Timing Models from Component-Based Distributed Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Embedded Systems Development, From Functional Models to Implementations ![In: Embedded Systems Development, From Functional Models to Implementations, pp. 155-169, 2014, Springer, 978-1-4614-3878-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Michael Glaß, Sebastian Graf 0002, Felix Reimann, Jürgen Teich |
Design and Evaluation of Future Ethernet AVB-Based ECU Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Embedded Systems Development, From Functional Models to Implementations ![In: Embedded Systems Development, From Functional Models to Implementations, pp. 205-220, 2014, Springer, 978-1-4614-3878-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard |
Schedulability Analysis at Early Design Stages with MARTE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Embedded Systems Development, From Functional Models to Implementations ![In: Embedded Systems Development, From Functional Models to Implementations, pp. 101-119, 2014, Springer, 978-1-4614-3878-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Jair Gonzalez-Pina, Renaud Pacalet |
Model-Driven Design of Software Defined Radio Applications Based on UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Embedded Systems Development, From Functional Models to Implementations ![In: Embedded Systems Development, From Functional Models to Implementations, pp. 69-83, 2014, Springer, 978-1-4614-3878-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Zheng Zhou 0002, Chung-Ching Shen, William Plishker, Shuvra S. Bhattacharyya |
Dataflow-Based, Cross-Platform Design Flow for DSP Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Embedded Systems Development, From Functional Models to Implementations ![In: Embedded Systems Development, From Functional Models to Implementations, pp. 41-65, 2014, Springer, 978-1-4614-3878-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Tahir Naseer Qureshi, De-Jiu Chen, Magnus Persson 0001, Martin Törngren |
On Integrating EAST-ADL and UPPAAL for Embedded System Architecture Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Embedded Systems Development, From Functional Models to Implementations ![In: Embedded Systems Development, From Functional Models to Implementations, pp. 85-99, 2014, Springer, 978-1-4614-3878-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Moritz Neukirchner, Steffen Stein, Rolf Ernst |
Distributed Priority Assignment in Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Embedded Systems Development, From Functional Models to Implementations ![In: Embedded Systems Development, From Functional Models to Implementations, pp. 173-187, 2014, Springer, 978-1-4614-3878-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Alberto L. Sangiovanni-Vincentelli, Haibo Zeng 0001, Marco Di Natale, Peter Marwedel |
Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Embedded Systems Development, From Functional Models to Implementations ![In: Embedded Systems Development, From Functional Models to Implementations, pp. 1-16, 2014, Springer, 978-1-4614-3878-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Susanne Graf, Roberto Passerone, Sophie Quinton |
Contract-Based Reasoning for Component Systems with Rich Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Embedded Systems Development, From Functional Models to Implementations ![In: Embedded Systems Development, From Functional Models to Implementations, pp. 139-154, 2014, Springer, 978-1-4614-3878-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Martin Lukasiewycz, Michael Glaß, Jürgen Teich, Samarjit Chakraborty |
Exploration of Distributed Automotive Systems Using Compositional Timing Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Embedded Systems Development, From Functional Models to Implementations ![In: Embedded Systems Development, From Functional Models to Implementations, pp. 189-204, 2014, Springer, 978-1-4614-3878-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Manoj G. Dixit, S. Ramesh 0002, Pallab Dasgupta |
Early Time-Budgeting for Component-Based Embedded Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Embedded Systems Development, From Functional Models to Implementations ![In: Embedded Systems Development, From Functional Models to Implementations, pp. 123-137, 2014, Springer, 978-1-4614-3878-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Giancarlo Succi, Giancarlo Colla (eds.) |
Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent, Distributed & Parallel Implementations of Logic Programming Systems. Budapest, Hungary, June 25, 1993 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems ![The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
34 | Damian Chu, Keith L. Clark |
I.C. Prolog II: a Multi-threaded Prolog System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems ![In: Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent, Distributed & Parallel Implementations of Logic Programming Systems. Budapest, Hungary, June 25, 1993, pp. 115-141, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
34 | Andy King |
A Framework for Sharing Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems ![In: Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent, Distributed & Parallel Implementations of Logic Programming Systems. Budapest, Hungary, June 25, 1993, pp. 5-23, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
34 | Fernando M. A. Silva |
Initial Performance of Dorpp: an Or-Parallel Prolog System for a Distributed Shared Memory Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems ![In: Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent, Distributed & Parallel Implementations of Logic Programming Systems. Budapest, Hungary, June 25, 1993, pp. 25-44, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
34 | Jean-Luc Gaudiot, Hiecheol Kim, Robert E. Stumberger |
Data-Driven Execution of Logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems ![In: Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent, Distributed & Parallel Implementations of Logic Programming Systems. Budapest, Hungary, June 25, 1993, pp. 101-113, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
34 | Giancarlo Succi, Giuseppe Marino, Angelo Bergamini, Cristina Dondina, Tullio Vernazza, Giancarlo Colla |
Implementing Sets with Hash Tabels in Declarative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems ![In: Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent, Distributed & Parallel Implementations of Logic Programming Systems. Budapest, Hungary, June 25, 1993, pp. 143-170, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
34 | Grzegorz Czajkowski, Krzysztof Zielinski |
Extending the Parallel Logic Programming Paradigm with Linda-like Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems ![In: Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent, Distributed & Parallel Implementations of Logic Programming Systems. Budapest, Hungary, June 25, 1993, pp. 45-65, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
34 | Khayri A. M. Ali, Roland Karlsson |
Scheduling Speculative Work in MUSE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems ![In: Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent, Distributed & Parallel Implementations of Logic Programming Systems. Budapest, Hungary, June 25, 1993, pp. 67-88, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
34 | S. M. S. Syed-Mustaffa, Hugh Glaser |
Predicting Optimal AND-Parallelism at Compile Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems ![In: Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent, Distributed & Parallel Implementations of Logic Programming Systems. Budapest, Hungary, June 25, 1993, pp. 89-100, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
34 | |
Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992 ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Koenraad De Bosschere |
Multi-Prolog: a Blackboard-based Parallel Logic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | David G. Schwartz, Leon Sterling |
Meta-level Constructs for Concurrency among Loosely-Coupled Course-Grained Knowledge Sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Henrik Arro, Jonas Barklund, Johan Bevemyr |
Parallel Bounded Quantifiers - Preliminary Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Mario Cannataro, Yaroslav D. Sergeyev, Giandomenico Spezzano, Domenico Talia |
Dynamic Process Scheduling in a Parallel Logic Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Kish Shen |
An Overview of DASWAM - An Implementation of DDAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Sabri Büyüksoy, Mehmet Baray, Isik Aybay |
Distributed Prolog on a Hypercube Multicomputer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Luis Manuel Gómez Henríquez, Manuel Carro, Manuel V. Hermenegildo |
Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Giancarlo Succi, Giuseppe Marino, R. Cantuccio, M. Facciolo, Tullio Vernazza |
A Transputer Implementation of SEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Johan Bevemyr, Thomas Lindgren, Håkan Millroth |
Exploiting Recursion-Parallelism in Prolog: Preliminary Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Peter Sapaty |
The WAVE Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Javed I. Khan, David Y. Y. Yun |
An Empirical Study on the Potential of Search Parallelism on MIMD Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Donald A. Smith |
MultiLog: Data Or-Parallel Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Kiyoshi Hirano |
KL1 Optimization Techniques for RISC Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Vincent David |
Semantic Parallelism in Heuristic Tree Search for a Distributed Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Shan-Wen Yan |
Efficiently Estimating Relative Grain Size for Logic Programs on Basic of Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Fabrizio Baiardi |
A Data Driven Static Model for the Execution of Logic Programs on Dist. Memory Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Ian Olthof, John G. Cleary |
AND-Parallel Prolog on a Transputer-Based System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Ryozo Kiyohara, Takashi Chikayama |
Parallel Inference System of the FGCS Project - Status Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Ewing L. Lusk, Ross A. Overbeek, Shyam Mudambi, Péter Szeredi |
Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Jennifer Burg, Charles E. Hughes, Sheau-Dong Lang |
Parallel Execution of CLP-R Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Gopal Gupta 0001, Manuel V. Hermenegildo, Vítor Santos Costa |
Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Péter Kacsuk |
3DPAM = WAM + DATAFLOW. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | W. F. Clocksin |
The DelPhi Multiprocessor Inference Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP Workshop on Concurrent and Parallel Implementations ![In: Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
34 | Katsuhiko Nakamura |
Associative Evaluation of Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 135-146, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Martin Nilsson 0001 |
The World's Shortest Prolog Interpreter? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 87-92, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Kenneth M. Kahn, Mats Carlsson |
How to Implement Prolog on a LISP Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 117-134, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Michael J. Wise |
EPILOG: Re-interpreting and Extending Prolog for a Multiprocessor Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 341-351, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Richard Ennals, Jonathan Briggs, Derek R. Brough |
What the naive user wants from Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 376-386, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | António Porto |
Epilog: A Language for Extended Programming in Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 268-278, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Ivan Futó, János Szeredi |
System Simulation and Cooperative Problem-solving on a Prolog Basis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 163-174, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Mark Dowson |
A Note on Micro-Planer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 19-27, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Rabbe Fogelholm |
Exeter Prolog - some thoughts on Prolog design by a LISP user. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 111-116, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Miguel Filgueiras |
A Prolog Interpreter Working with Infinite Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 250-258, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Mark Warner |
The Taming of the Sleuth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 387-388, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Feliks Kluzniak, Stan Szpakowicz |
Prolog - a Panacea? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 71-84, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Ralph E. Griswold |
The Control of Searching and Backtracking in String Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 50-64, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Feliks Kluzniak |
The 'Marseille Interpreter' - a Personal Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 65-70, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Maurice Bruynooghe |
Garbage Collection in Prolog Interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 259-267, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | John A. Campbell, Steve Hardy |
Should Prolog be List or Record Oriented. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 367-375, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Jørgen Fischer Nilsson |
Formal Vienna-Definition-Method Models of Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 281-308, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Maarten H. van Emden |
An Interpreting Algorithm for Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 93-110, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Luís Moniz Pereira |
Logic Control with Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 177-193, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | D. Julian M. Davies |
POLER - Implementation of a POP-2-based PLANNER. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 28-49, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Maurice Bruynooghe, Luís Moniz Pereira |
Deduction Revision by Intelligent Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 194-215, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Luís Monteiro |
A Proposal for Distributed Programming in Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 329-340, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Seif Haridi, Dan Sahlin |
Efficient Implementation of Unification of Cyclic Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 234-249, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Chris Mellish, Steve Hardy |
Integrating Prolog in the POPLOG Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 147-162, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Stephen John Turner |
W-Grammars for Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 352-368, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Philip T. Cox |
Finding Backtrack Points for Intelligent Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Implementations of Prolog ![In: Implementations of Prolog. , pp. 216-233, 1984, Ellis Horwood/Halsted Press/Wiley, 0-85312-675-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
34 | Máire McLoone, John V. McCanny |
Rijndael FPGA Implementations Utilising Look-Up Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 34(3), pp. 261-275, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
encryption, AES, Rijndael, FPGA implementation |
31 | Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu |
Cryptographically verified implementations for TLS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008, pp. 459-468, 2008, ACM, 978-1-59593-810-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
verified implementations, authentication, cryptographic protocols, SSL, TLS, secrecy |
31 | Yiannis Andreopoulos, Peter Schelkens, Gauthier Lafruit, Kostas Masselos, Jan Cornelis 0001 |
High-Level Cache Modeling for 2-D Discrete Wavelet Transform Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 34(3), pp. 209-226, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
discrete wavelet transform implementations, cache memories, theoretical modeling |
31 | Gaël Rouvroy, François-Xavier Standaert, Jean-Jacques Quisquater, Jean-Didier Legat |
Design Strategies and Modified Descriptions to Optimize Cipher FPGA Implementations: Fast and Compact Results for DES and Triple-DES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field Programmable Logic and Application, 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003, Proceedings, pp. 181-193, 2003, Springer, 3-540-40822-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
FPGA, cryptography, design methodology, DES, efficient implementations |
31 | Chryssis Georgiou, Nicolas C. Nicolaou, Alexander A. Shvartsman |
Fault-tolerant semifast implementations of atomic read/write registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30 - August 2, 2006, pp. 281-290, 2006, ACM, 1-59593-452-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
communication rounds, read/write registers, fault-tolerance, distributed algorithms, atomicity |
29 | Bart Goethals, Mohammed Javeed Zaki |
Advances in Frequent Itemset Mining Implementations: Introduction to FIMI03. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIMI ![In: FIMI '03, Frequent Itemset Mining Implementations, Proceedings of the ICDM 2003 Workshop on Frequent Itemset Mining Implementations, 19 December 2003, Melbourne, Florida, USA, 2003, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
29 | Evan Tick, Giancarlo Succi (eds.) |
Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP-Workshops on Implementation of Logic Programming Systems ![Kluwer Academic Publishers, Boston, 0-7923-9457-7 The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
29 | Micha Meier |
Better Late Than Never. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP-Workshops on Implementation of Logic Programming Systems ![In: Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems, pp. 151-165, 1993, Kluwer Academic Publishers, Boston, 0-7923-9457-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
29 | Zsuzsa Farkas, Péter Köves, Péter Szeredi |
MProlog: an Implementation Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP-Workshops on Implementation of Logic Programming Systems ![In: Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems, pp. 103-117, 1993, Kluwer Academic Publishers, Boston, 0-7923-9457-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
29 | Damian Chu |
I.C. Prolog II: a Multi-threaded Prolog System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP-Workshops on Implementation of Logic Programming Systems ![In: Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems, pp. 17-34, 1993, Kluwer Academic Publishers, Boston, 0-7923-9457-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
29 | Jacques Noyé |
To Trim or Not to Trim? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP-Workshops on Implementation of Logic Programming Systems ![In: Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems, pp. 167-183, 1993, Kluwer Academic Publishers, Boston, 0-7923-9457-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
29 | Fernando M. A. Silva |
Or-Parallel Prolog on Distributed Shared-Memory Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP-Workshops on Implementation of Logic Programming Systems ![In: Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems, pp. 203-215, 1993, Kluwer Academic Publishers, Boston, 0-7923-9457-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
29 | Andy King |
A Framework for Sharing Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP-Workshops on Implementation of Logic Programming Systems ![In: Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems, pp. 137-149, 1993, Kluwer Academic Publishers, Boston, 0-7923-9457-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
29 | Jim A. Crammond, Tim Lindholm |
Memory Management in Quintus Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP-Workshops on Implementation of Logic Programming Systems ![In: Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems, pp. 35-42, 1993, Kluwer Academic Publishers, Boston, 0-7923-9457-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
29 | Enrico Denti, Antonio Natali, Andrea Omicini |
Moving Prolog Toward Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP-Workshops on Implementation of Logic Programming Systems ![In: Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems, pp. 89-101, 1993, Kluwer Academic Publishers, Boston, 0-7923-9457-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
29 | Giancarlo Succi, Giuseppe Marino, Cristina Dondina, Angelo Bergamini |
Implementing Sets with Hash Tabels in Declarative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP-Workshops on Implementation of Logic Programming Systems ![In: Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems, pp. 217-237, 1993, Kluwer Academic Publishers, Boston, 0-7923-9457-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
29 | Michele Bugliesi, Giuseppe Nardiello |
SelfLog: Language and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP-Workshops on Implementation of Logic Programming Systems ![In: Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems, pp. 1-15, 1993, Kluwer Academic Publishers, Boston, 0-7923-9457-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
29 | Kish Shen, Manuel V. Hermenegildo |
Divided We Stand: Parallel Distributed Stack Memory Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP-Workshops on Implementation of Logic Programming Systems ![In: Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems, pp. 185-201, 1993, Kluwer Academic Publishers, Boston, 0-7923-9457-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
29 | Saumya K. Debray |
Implementing Logic Programming Systems: The Quiche-Eating Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP-Workshops on Implementation of Logic Programming Systems ![In: Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems, pp. 65-75, 1993, Kluwer Academic Publishers, Boston, 0-7923-9457-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
29 | Evan Tick, Bart Massey, Ferenc Rakoczi, Putthi Tulayathun |
Concurrent Logic Programs a la Mode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP-Workshops on Implementation of Logic Programming Systems ![In: Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems, pp. 239-254, 1993, Kluwer Academic Publishers, Boston, 0-7923-9457-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
29 | Grzegorz Czajkowski, Krzysztof Zielinski |
How Concurrent Logic Programming Could Benefit from Using Linda-like Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP-Workshops on Implementation of Logic Programming Systems ![In: Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems, pp. 43-64, 1993, Kluwer Academic Publishers, Boston, 0-7923-9457-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
29 | Saumya K. Debray, Koenraad De Bosschere, David Gudeman |
Call Forwarding: A Simple Low-Level Code Optimization Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP-Workshops on Implementation of Logic Programming Systems ![In: Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems, pp. 77-88, 1993, Kluwer Academic Publishers, Boston, 0-7923-9457-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
29 | Bogumil Hausman |
Turbo Erlang: Approaching the Speed of C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP-Workshops on Implementation of Logic Programming Systems ![In: Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems, pp. 119-135, 1993, Kluwer Academic Publishers, Boston, 0-7923-9457-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
28 | Rémi Douence, Pascal Fradet |
Towards a Taxonomy of Functional Languages Implementations ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings, pp. 27-44, 1995, Springer, 3-540-60359-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|