Search results for "RDP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Uldis Kinis	From Responsible Disclosure Policy (RDP) towards State Regulated Responsible Vulnerability Disclosure Procedure (hereinafter - RVDP): The Latvian approach.	Comput. Law Secur. Rev.	2018	DBLP DOI BibTeX RDF
26	Hanxu Hou, Yunghsiang S. Han, Kenneth W. Shum, Hui Li 0022	A Unified Form of EVENODD and RDP Codes and Their Efficient Decoding.	IEEE Trans. Commun.	2018	DBLP DOI BibTeX RDF
26	Xin Chen 0028, Xiao Ma 0001	Optimized Recovery Algorithms for RDP (p, 3) Code.	IEEE Commun. Lett.	2018	DBLP DOI BibTeX RDF
26	Monika Balvociute, Daniel H. Huson	SILVA, RDP, Greengenes, NCBI and OTT - how do these taxonomies compare?	BMC Genom.	2017	DBLP DOI BibTeX RDF
26	Nawab Muhammad Faseeh Qureshi, Dong Ryeol Shin	RDP: A storage-tier-aware Robust Data Placement strategy for Hadoop in a Cloud-based Heterogeneous Environment.	KSII Trans. Internet Inf. Syst.	2016	DBLP DOI BibTeX RDF
26	Zhijie Huang, Hong Jiang 0001, Ke Zhou 0001	An Improved Decoding Algorithm for Generalized RDP Codes.	IEEE Commun. Lett.	2016	DBLP DOI BibTeX RDF
26	Rama-Rao Ganji, Mihai Mitrea, Dancho Panovski, Bojan Joveski	Improving the RDP based applications by using HTML5 content representation.	MOBMU	2016	DBLP DOI BibTeX RDF
26	Guangyan Zhang, Keqin Li 0001, Jingzhe Wang, Weimin Zheng	Accelerate RDP RAID-6 Scaling by Reducing Disk I/Os and XOR Operations.	IEEE Trans. Computers	2015	DBLP DOI BibTeX RDF
26	Bojan Joveski, Mihai Mitrea, Rama-Rao Ganji	MPEG-4 solutions for virtualizing RDP-based applications.	MOBMU	2014	DBLP DOI BibTeX RDF
26	Simone Bova, Diego Valota	Finite RDP-algebras: duality, coproducts and logic.	J. Log. Comput.	2012	DBLP DOI BibTeX RDF
26	Jun Feng, Yu Chen 0002, Douglas H. Summerville, Zhou Su	An extension of RDP code with parallel decoding procedure.	CCNC	2012	DBLP DOI BibTeX RDF
26	Luca Paolino, Monica Sebillo, Giuliana Vitiello, Genoveffa Tortora	An evaluation of the sinuosity effect on visualization of RDP simplified maps: an empirical study.	SAC	2010	DBLP DOI BibTeX RDF	empirical experiment, map visualization, sinuosity, simplification
26	David A. Elizondo, Juan Miguel Ortiz-de-Lazcano-Lobato, Ralph Birkenhead	Analysis and Testing of the m-Class RDP Neural Network.	Constructive Neural Networks	2009	DBLP DOI BibTeX RDF
26	Mehdi Mirakhorli, Abdorrahman Khanipour Rad, Fereidoon Shams, Maryam Pazoki, Abbas Mirakhorli	RDP technique: a practice to customize xp.	APOS@ICSE	2008	DBLP DOI BibTeX RDF
26	James R. Cole, Benli Chai, Ryan J. Farris, Qiong Wang, A. S. Kulam-Syed-Mohideen, Donna M. McGarrell, A. M. Bandela, E. Cardenas, George M. Garrity, James M. Tiedje	The ribosomal database project (RDP-II): introducing myRDP space and quality controlled public data.	Nucleic Acids Res.	2007	DBLP DOI BibTeX RDF
26	James R. Cole, Benli Chai, Ryan J. Farris, Qiong Wang, S. A. Kulam, Donna M. McGarrell, George M. Garrity, James M. Tiedje	The Ribosomal Database Project (RDP-II): sequences and tools for high-throughput rRNA analysis.	Nucleic Acids Res.	2005	DBLP DOI BibTeX RDF
26	James R. Cole, Benli Chai, Terry L. Marsh, Ryan J. Farris, Qiong Wang, S. A. Kulam, S. Chandra, Donna M. McGarrell, Thomas M. Schmidt, George M. Garrity, James M. Tiedje	The Ribosomal Database Project (RDP-II): previewing a new autoaligner that allows regular updates and the new prokaryotic taxonomy.	Nucleic Acids Res.	2003	DBLP DOI BibTeX RDF
26	Ingo Dahn, Laurent Vigneron (eds.)	4th International Workshop on First-Order Theorem Proving, FTP 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-14, 2003	FTP	2003	DBLP BibTeX RDF
26	Jean-Louis Giavitto, Pierre-Etienne Moreau (eds.)	4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003	RULE	2003	DBLP BibTeX RDF
26	Lubos Brim, Orna Grumberg (eds.)	12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003	WFLP	2003	DBLP BibTeX RDF
26	Nicolas Peltier	A Resolution-based Model Building Algorithm for a Fragment of OCC1N=.	FTP	2003	DBLP DOI BibTeX RDF
26	Sébastien Limet, Gernot Salzer	Manipulating Tree Tuple Languages by Transforming Logic Programs.	FTP	2003	DBLP DOI BibTeX RDF
26	Silvio Ranise, David Déharbe	Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs.	FTP	2003	DBLP DOI BibTeX RDF
26	Guillaume Feuillade, Thomas Genet	Reachability in Conditional Term Rewriting Systems.	FTP	2003	DBLP DOI BibTeX RDF
26	Mateja Jamnik, Predrag Janicic	Learning Strategies for Mechanised Building of Decision Procedures.	FTP	2003	DBLP DOI BibTeX RDF
26	Hantao Zhang 0001, Haiou Shen, Felip Manyà	Exact Algorithms for MAX-SAT.	FTP	2003	DBLP DOI BibTeX RDF
26	Ingo Dahn, Laurent Vigneron	Preface.	FTP	2003	DBLP DOI BibTeX RDF
26	Abdessamad Imine, Pascal Molli, Gérald Oster, Pascal Urso	VOTE: Group Editors Analyzing Tool: System Description.	FTP	2003	DBLP DOI BibTeX RDF
26	Hans Zantema, Jan Friso Groote	Transforming equality logic to propositional logic.	FTP	2003	DBLP DOI BibTeX RDF
26	Thomas Hillenbrand	Citius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER.	FTP	2003	DBLP DOI BibTeX RDF
26	Nachum Dershowitz	Canonicity.	FTP	2003	DBLP DOI BibTeX RDF
26	Josef Urban	MPTP 0.1: System Description.	FTP	2003	DBLP DOI BibTeX RDF
26	Cesare Tinelli, Calogero G. Zarba	Combining Non-Stably Infinite Theories.	FTP	2003	DBLP DOI BibTeX RDF
26	Silvio Ghilardi	Quantifier Elimination and Provers Integration.	FTP	2003	DBLP DOI BibTeX RDF
26	Dieter Hutter	Deduction as an Engineering Science.	FTP	2003	DBLP DOI BibTeX RDF
26	Domenico Cantone, Jacob T. Schwartz, Calogero G. Zarba	A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions.	FTP	2003	DBLP DOI BibTeX RDF
26	Thierry Boy de la Tour, Mnacho Echenim	On Leaf Permutative Theories and Occurrence Permutation Groups.	FTP	2003	DBLP DOI BibTeX RDF
26	Naoki Nishida 0001, Masahiko Sakai, Toshiki Sakabe	Narrowing-based simulation of term rewriting systems with extra variables.	WFLP	2003	DBLP DOI BibTeX RDF
26	Alcino Cunha	Automatic visualization of recursion trees: a case study on generic programming.	WFLP	2003	DBLP DOI BibTeX RDF
26	Jan Maluszynski	On integrating rules into the Semantic Web.	WFLP	2003	DBLP DOI BibTeX RDF
26	Francisco Javier López-Fraguas, Jaime Sánchez-Hernández	Failure and equality in functional logic programming.	WFLP	2003	DBLP DOI BibTeX RDF
26	Michael Hanus, Klaus Höppner, Frank Huch	Towards translating embedded Curry to C.	WFLP	2003	DBLP DOI BibTeX RDF
26	María Alpuente, Demis Ballis, Santiago Escobar 0001, Moreno Falaschi, Salvador Lucas	Abstract correction of first-order functional programs.	WFLP	2003	DBLP DOI BibTeX RDF
26	Andrew P. Tolmach, Sergio Antoy	A monadic semantics for core Curry.	WFLP	2003	DBLP DOI BibTeX RDF
26	Demis Ballis, Moreno Falaschi, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana	Cost-sensitive diagnosis of declarative programs.	WFLP	2003	DBLP DOI BibTeX RDF
26	Ginés Moreno	A narrowing-based instantiation rule for rewriting-based fold/unfold transformations.	WFLP	2003	DBLP DOI BibTeX RDF
26	Michaël Rusinowitch	Automated analysis of security protocols.	WFLP	2003	DBLP DOI BibTeX RDF
26	Germán Vidal	Preface.	WFLP	2003	DBLP DOI BibTeX RDF
26	Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón	A safe relational calculus for functional logic deductive databases.	WFLP	2003	DBLP DOI BibTeX RDF
26	Bonnie L. Maidak, James R. Cole, Timothy G. Lilburn, Charles T. Parker Jr., Paul Saxman, Ryan J. Farris, George M. Garrity, Gary J. Olsen, Thomas M. Schmidt, James M. Tiedje	The RDP-II (Ribosomal Database Project).	Nucleic Acids Res.	2001	DBLP DOI BibTeX RDF
26	Bonnie L. Maidak, James R. Cole, Timothy G. Lilburn, Charles T. Parker Jr., Paul Saxman, Jason M. Stredwick, George M. Garrity, Bing Li, Gary J. Olsen, Sakti Pramanik, Thomas M. Schmidt, James M. Tiedje	The RDP (Ribosomal Database Project) continues.	Nucleic Acids Res.	2000	DBLP DOI BibTeX RDF
26	Darren Martin, Ed Rybicki	RDP: detection of recombination amongst aligned sequences.	Bioinform.	2000	DBLP DOI BibTeX RDF
26	Markus Endler, Dilma Da Silva, Kunio Okuda	RDP: A Result Delivery Protocol for Mobile Computing.	ICDCS Workshop on Wireless Networks and Mobile Computing	2000	DBLP BibTeX RDF
26	Bonnie L. Maidak, James R. Cole, Charles T. Parker Jr., George M. Garrity, Niels Larsen, Bing Li, Timothy G. Lilburn, Michael J. McCaughey, Gary J. Olsen, Ross A. Overbeek, Sakti Pramanik, Thomas M. Schmidt, James M. Tiedje, Carl R. Woese	A new version of the RDP (Ribosomal Database Project).	Nucleic Acids Res.	1999	DBLP DOI BibTeX RDF
26	Adrian Johnstone, Elizabeth Scott	rdp - An Iterator-Based Recursive Descent Parser Generator with Tree Promotion Operators.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF
26	Bonnie L. Maidak, Gary J. Olsen, Niels Larsen, Ross A. Overbeek, Michael J. McCaughey, Carl R. Woese	The RDP (Ribosomal Database Project).	Nucleic Acids Res.	1997	DBLP DOI BibTeX RDF
26	Bonnie L. Maidak, Gary J. Olsen, Niels Larsen, Ross A. Overbeek, Michael J. McCaughey, Carl R. Woese	The Ribosomal Database Project (RDP).	Nucleic Acids Res.	1996	DBLP DOI BibTeX RDF
26	Craig Partridge, Robert M. Hinden	Version 2 of the Reliable Data Protocol (RDP).	RFC	1990	DBLP DOI BibTeX RDF
25	Slim Abdennadher, Christophe Ringeissen	Preface.	RULE@RDP	2004	DBLP DOI BibTeX RDF
25	Yannick Chevalier, Laurent Vigneron	Rule-based Programs Describing Internet Security Protocols.	RULE@RDP	2004	DBLP DOI BibTeX RDF
25	Carsten Albrecht, Andreas C. Döring	A Compiler for Mapping a Rule-Based Event-Triggered Program to a Hardware Engine.	RULE@RDP	2004	DBLP DOI BibTeX RDF
25	Victor L. Winter	Strategy Construction in the Higher-Order Framework of TL.	RULE@RDP	2004	DBLP DOI BibTeX RDF
25	Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac	Principles of Chemical Programming.	RULE@RDP	2004	DBLP DOI BibTeX RDF
25	Francisco Durán 0001, Santiago Escobar 0001, Salvador Lucas	On-demand Evaluation for Maude.	RULE@RDP	2004	DBLP DOI BibTeX RDF
25	Hitoshi Ohsaki, Toshinori Takai	ACTAS : A System Design for Associative and Commutative Tree Automata Theory.	RULE@RDP	2004	DBLP DOI BibTeX RDF
25	María Alpuente, Demis Ballis, Moreno Falaschi	A Rewriting-based Framework for Web Sites Verification.	RULE@RDP	2004	DBLP DOI BibTeX RDF
25	Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo	Playing with Maude.	RULE@RDP	2004	DBLP DOI BibTeX RDF
18	Wen Sun 0001, Yan Lu 0001, Shipeng Li 0001	ReDi: an interactive virtual display system for ubiquitous devices.	ACM Multimedia	2010	DBLP DOI BibTeX RDF
18	Barun Kumar Parichha, Timothy A. Gonsalves	Remote device support in thin client network.	Bangalore Compute Conf.	2010	DBLP DOI BibTeX RDF
18	Gang Wang 0001, Xiaoguang Liu 0001, Ang Li, Fan Zhang 0092	In-Memory Checkpointing for MPI Programs by XOR-Based Double-Erasure Codes.	PVM/MPI	2009	DBLP DOI BibTeX RDF	fault-tolerant, MPI, collective communication, erasure codes
18	Akif Günes Koru, Khaled El Emam, Dongsong Zhang, Hongfang Liu, Divya Mathew	Theory of relative defect proneness.	Empir. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Size-defect relationship, Planning for software quality assurance, Software testing, Software metrics, Open-source software, Software inspections, Software reviews, Software science
18	Hui-Chieh Lu, Yen-Ping Chu, Ruey-Kai Sheu, Win-Tsung Lo	A Generic Application Sharing Architecture Based on Message-Oriented Middleware Platform.	CSCWD	2006	DBLP DOI BibTeX RDF
18	Youhui Zhang, Peng Li 0031, Dongsheng Wang 0002, Weimin Zheng	Seamless Peripherals Integration for Network Computers based on the Reversed Server Message Block Protocol.	ICNS	2006	DBLP DOI BibTeX RDF
18	Ricardo A. Baratto, Leonard N. Kim, Jason Nieh	THINC: a virtual display architecture for thin-client computing.	SOSP	2005	DBLP DOI BibTeX RDF	remote display, mobility, virtualization, thin-client computing
18	Feng Hong 0001, Minglu Li 0001, Jiadi Yu, Yi Wang 0001	PChord: Improvement on Chord to Achieve Better Routing Efficiency by Exploiting Proximity.	ICDCS Workshops	2005	DBLP DOI BibTeX RDF
18	Alexander Thomasian, Chunqi Han, Gang Fu, Chang Liu	A Performance Evaluation Tool for RAID Disk Arrays.	QEST	2004	DBLP DOI BibTeX RDF
18	Min Zhou, Michela Bertolotto	A Data Structure for Efficient Transmission of Generalised Vector Maps.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF	Progressive vector transmission, Multiple representations, Line simplification
18	Feng Hong 0001, Minglu Li 0001, Xinda Lu, Jiadi Yu, Yi Wang 0001, Ying Li 0013	HP-Chord: A Peer-to-Peer Overlay to Achieve Better Routing Efficiency by Exploiting Heterogeneity and Proximity.	GCC	2004	DBLP DOI BibTeX RDF
18	René Galindo	Low order robust control and I/O Decoupling for minimum phase linear MIMO systems.	ICARCV	2002	DBLP DOI BibTeX RDF
18	Rob J. van Glabbeek	Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra.	STACS	1987	DBLP DOI BibTeX RDF	& Phrases Concurrency, Approximation Induction Principle, Bounded Nondeterminism, Fairness, Abstraction, Consistency, Process algebra, Recursion, Bisimulation, Liveness, ACP