Search results for "implementations"

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.	Implementations of Prolog	1984	DBLP BibTeX RDF
40	Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov	The complexity of obstruction-free implementations.	J. ACM	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.	HICSS (2)	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.	AsiaCCS	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.	IEEE Trans. Computers	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.	Embedded Systems Development, From Functional Models to Implementations	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.	Embedded Systems Development, From Functional Models to Implementations	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.	Embedded Systems Development, From Functional Models to Implementations	2014	DBLP DOI BibTeX RDF
34	Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard	Schedulability Analysis at Early Design Stages with MARTE.	Embedded Systems Development, From Functional Models to Implementations	2014	DBLP DOI BibTeX RDF
34	Jair Gonzalez-Pina, Renaud Pacalet	Model-Driven Design of Software Defined Radio Applications Based on UML.	Embedded Systems Development, From Functional Models to Implementations	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.	Embedded Systems Development, From Functional Models to Implementations	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.	Embedded Systems Development, From Functional Models to Implementations	2014	DBLP DOI BibTeX RDF
34	Moritz Neukirchner, Steffen Stein, Rolf Ernst	Distributed Priority Assignment in Real-Time Systems.	Embedded Systems Development, From Functional Models to Implementations	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.	Embedded Systems Development, From Functional Models to Implementations	2014	DBLP DOI BibTeX RDF
34	Susanne Graf, Roberto Passerone, Sophie Quinton	Contract-Based Reasoning for Component Systems with Rich Interactions.	Embedded Systems Development, From Functional Models to Implementations	2014	DBLP DOI BibTeX RDF
34	Martin Lukasiewycz, Michael Glaß, Jürgen Teich, Samarjit Chakraborty	Exploration of Distributed Automotive Systems Using Compositional Timing Analysis.	Embedded Systems Development, From Functional Models to Implementations	2014	DBLP DOI BibTeX RDF
34	Manoj G. Dixit, S. Ramesh 0002, Pallab Dasgupta	Early Time-Budgeting for Component-Based Embedded Control Systems.	Embedded Systems Development, From Functional Models to Implementations	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	ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems	1993	DBLP BibTeX RDF
34	Damian Chu, Keith L. Clark	I.C. Prolog II: a Multi-threaded Prolog System.	ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems	1993	DBLP BibTeX RDF
34	Andy King	A Framework for Sharing Analysis.	ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems	1993	DBLP BibTeX RDF
34	Fernando M. A. Silva	Initial Performance of Dorpp: an Or-Parallel Prolog System for a Distributed Shared Memory Architecture.	ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems	1993	DBLP BibTeX RDF
34	Jean-Luc Gaudiot, Hiecheol Kim, Robert E. Stumberger	Data-Driven Execution of Logic Languages.	ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems	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.	ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems	1993	DBLP BibTeX RDF
34	Grzegorz Czajkowski, Krzysztof Zielinski	Extending the Parallel Logic Programming Paradigm with Linda-like Operations.	ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems	1993	DBLP BibTeX RDF
34	Khayri A. M. Ali, Roland Karlsson	Scheduling Speculative Work in MUSE.	ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems	1993	DBLP BibTeX RDF
34	S. M. S. Syed-Mustaffa, Hugh Glaser	Predicting Optimal AND-Parallelism at Compile Time.	ICLP Workshop on Concurrent, Distributed & Parallel Implementations of Logic Programming Systems	1993	DBLP BibTeX RDF
34		Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
34	Koenraad De Bosschere	Multi-Prolog: a Blackboard-based Parallel Logic Programming Language.	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
34	David G. Schwartz, Leon Sterling	Meta-level Constructs for Concurrency among Loosely-Coupled Course-Grained Knowledge Sources.	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
34	Henrik Arro, Jonas Barklund, Johan Bevemyr	Parallel Bounded Quantifiers - Preliminary Results.	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
34	Mario Cannataro, Yaroslav D. Sergeyev, Giandomenico Spezzano, Domenico Talia	Dynamic Process Scheduling in a Parallel Logic Machine.	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
34	Kish Shen	An Overview of DASWAM - An Implementation of DDAS.	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
34	Sabri Büyüksoy, Mehmet Baray, Isik Aybay	Distributed Prolog on a Hypercube Multicomputer.	IJCSLP Workshop on Concurrent and Parallel Implementations	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.	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
34	Giancarlo Succi, Giuseppe Marino, R. Cantuccio, M. Facciolo, Tullio Vernazza	A Transputer Implementation of SEL.	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
34	Johan Bevemyr, Thomas Lindgren, Håkan Millroth	Exploiting Recursion-Parallelism in Prolog: Preliminary Results.	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
34	Peter Sapaty	The WAVE Paradigm.	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
34	Javed I. Khan, David Y. Y. Yun	An Empirical Study on the Potential of Search Parallelism on MIMD Architecture.	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
34	Donald A. Smith	MultiLog: Data Or-Parallel Logic Programming.	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
34	Kiyoshi Hirano	KL1 Optimization Techniques for RISC Architecture.	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
34	Vincent David	Semantic Parallelism in Heuristic Tree Search for a Distributed Implementation.	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
34	Shan-Wen Yan	Efficiently Estimating Relative Grain Size for Logic Programs on Basic of Abstract Interpretation.	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
34	Fabrizio Baiardi	A Data Driven Static Model for the Execution of Logic Programs on Dist. Memory Systems.	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
34	Ian Olthof, John G. Cleary	AND-Parallel Prolog on a Transputer-Based System.	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
34	Ryozo Kiyohara, Takashi Chikayama	Parallel Inference System of the FGCS Project - Status Report.	IJCSLP Workshop on Concurrent and Parallel Implementations	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.	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
34	Jennifer Burg, Charles E. Hughes, Sheau-Dong Lang	Parallel Execution of CLP-R Programs.	IJCSLP Workshop on Concurrent and Parallel Implementations	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.	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
34	Péter Kacsuk	3DPAM = WAM + DATAFLOW.	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
34	W. F. Clocksin	The DelPhi Multiprocessor Inference Machine.	IJCSLP Workshop on Concurrent and Parallel Implementations	1992	DBLP BibTeX RDF
34	Katsuhiko Nakamura	Associative Evaluation of Prolog Programs.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Martin Nilsson 0001	The World's Shortest Prolog Interpreter?	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Kenneth M. Kahn, Mats Carlsson	How to Implement Prolog on a LISP Machine.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Michael J. Wise	EPILOG: Re-interpreting and Extending Prolog for a Multiprocessor Environment.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Richard Ennals, Jonathan Briggs, Derek R. Brough	What the naive user wants from Prolog.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	António Porto	Epilog: A Language for Extended Programming in Logic.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Ivan Futó, János Szeredi	System Simulation and Cooperative Problem-solving on a Prolog Basis.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Mark Dowson	A Note on Micro-Planer.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Rabbe Fogelholm	Exeter Prolog - some thoughts on Prolog design by a LISP user.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Miguel Filgueiras	A Prolog Interpreter Working with Infinite Terms.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Mark Warner	The Taming of the Sleuth.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Feliks Kluzniak, Stan Szpakowicz	Prolog - a Panacea?	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Ralph E. Griswold	The Control of Searching and Backtracking in String Pattern Matching.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Feliks Kluzniak	The 'Marseille Interpreter' - a Personal Perspective.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Maurice Bruynooghe	Garbage Collection in Prolog Interpreters.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	John A. Campbell, Steve Hardy	Should Prolog be List or Record Oriented.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Jørgen Fischer Nilsson	Formal Vienna-Definition-Method Models of Prolog.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Maarten H. van Emden	An Interpreting Algorithm for Prolog Programs.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Luís Moniz Pereira	Logic Control with Logic.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	D. Julian M. Davies	POLER - Implementation of a POP-2-based PLANNER.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Maurice Bruynooghe, Luís Moniz Pereira	Deduction Revision by Intelligent Backtracking.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Luís Monteiro	A Proposal for Distributed Programming in Logic.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Seif Haridi, Dan Sahlin	Efficient Implementation of Unification of Cyclic Structures.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Chris Mellish, Steve Hardy	Integrating Prolog in the POPLOG Environment.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Stephen John Turner	W-Grammars for Logic Programming.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Philip T. Cox	Finding Backtrack Points for Intelligent Backtracking.	Implementations of Prolog	1984	DBLP BibTeX RDF
34	Máire McLoone, John V. McCanny	Rijndael FPGA Implementations Utilising Look-Up Tables.	J. VLSI Signal Process.	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.	CCS	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.	J. VLSI Signal Process.	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.	FPL	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.	SPAA	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.	FIMI	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	ICLP-Workshops on Implementation of Logic Programming Systems	1994	DBLP BibTeX RDF
29	Micha Meier	Better Late Than Never.	ICLP-Workshops on Implementation of Logic Programming Systems	1993	DBLP BibTeX RDF
29	Zsuzsa Farkas, Péter Köves, Péter Szeredi	MProlog: an Implementation Overview.	ICLP-Workshops on Implementation of Logic Programming Systems	1993	DBLP BibTeX RDF
29	Damian Chu	I.C. Prolog II: a Multi-threaded Prolog System.	ICLP-Workshops on Implementation of Logic Programming Systems	1993	DBLP BibTeX RDF
29	Jacques Noyé	To Trim or Not to Trim?	ICLP-Workshops on Implementation of Logic Programming Systems	1993	DBLP BibTeX RDF
29	Fernando M. A. Silva	Or-Parallel Prolog on Distributed Shared-Memory Architectures.	ICLP-Workshops on Implementation of Logic Programming Systems	1993	DBLP BibTeX RDF
29	Andy King	A Framework for Sharing Analysis.	ICLP-Workshops on Implementation of Logic Programming Systems	1993	DBLP BibTeX RDF
29	Jim A. Crammond, Tim Lindholm	Memory Management in Quintus Prolog.	ICLP-Workshops on Implementation of Logic Programming Systems	1993	DBLP BibTeX RDF
29	Enrico Denti, Antonio Natali, Andrea Omicini	Moving Prolog Toward Objects.	ICLP-Workshops on Implementation of Logic Programming Systems	1993	DBLP BibTeX RDF
29	Giancarlo Succi, Giuseppe Marino, Cristina Dondina, Angelo Bergamini	Implementing Sets with Hash Tabels in Declarative Languages.	ICLP-Workshops on Implementation of Logic Programming Systems	1993	DBLP BibTeX RDF
29	Michele Bugliesi, Giuseppe Nardiello	SelfLog: Language and Implementation.	ICLP-Workshops on Implementation of Logic Programming Systems	1993	DBLP BibTeX RDF
29	Kish Shen, Manuel V. Hermenegildo	Divided We Stand: Parallel Distributed Stack Memory Management.	ICLP-Workshops on Implementation of Logic Programming Systems	1993	DBLP BibTeX RDF
29	Saumya K. Debray	Implementing Logic Programming Systems: The Quiche-Eating Approach.	ICLP-Workshops on Implementation of Logic Programming Systems	1993	DBLP BibTeX RDF
29	Evan Tick, Bart Massey, Ferenc Rakoczi, Putthi Tulayathun	Concurrent Logic Programs a la Mode.	ICLP-Workshops on Implementation of Logic Programming Systems	1993	DBLP BibTeX RDF
29	Grzegorz Czajkowski, Krzysztof Zielinski	How Concurrent Logic Programming Could Benefit from Using Linda-like Operations.	ICLP-Workshops on Implementation of Logic Programming Systems	1993	DBLP BibTeX RDF
29	Saumya K. Debray, Koenraad De Bosschere, David Gudeman	Call Forwarding: A Simple Low-Level Code Optimization Technique.	ICLP-Workshops on Implementation of Logic Programming Systems	1993	DBLP BibTeX RDF
29	Bogumil Hausman	Turbo Erlang: Approaching the Speed of C.	ICLP-Workshops on Implementation of Logic Programming Systems	1993	DBLP BibTeX RDF
28	Rémi Douence, Pascal Fradet	Towards a Taxonomy of Functional Languages Implementations	PLILP	1995	DBLP DOI BibTeX RDF