Search results for "NDL"

Found 13 publication records. Showing 13 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
110	Christopher L. Conway, Stephen A. Edwards	NDL: a domain-specific language for device drivers.	LCTES	2004	DBLP DOI BibTeX RDF	domain-specific languages, device drivers, systems programming
99	Toshiyasu Oba	Digital Library Service of the National Diet Library.	ICADL	2006	DBLP DOI BibTeX RDF
49	Jeroen van der Ham, Paola Grosso, Ronald van der Pol, Andree Toonk, Cees T. A. M. de Laat	Using the Network Description Language in Optical Networks.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
49	Ali Nourollah, Mohammadreza Razzazi	A New Dynamic Programming Algorithm for Orthogonal Ruler Folding Problem in d-Dimensional Space.	ICCSA (1)	2007	DBLP DOI BibTeX RDF	Ruler Folding Problem, Carpenter’s Ruler, Dynamic Programming
49	Jeroen van der Ham, Paola Grosso, Freek Dijkstra, Cees T. A. M. de Laat	Poster reception - Semantics for hybrid networks using the network description language.	SC	2006	DBLP DOI BibTeX RDF
37	Konstantine Arkoudas	Simplifying Proofs in Fitch-Style Natural Deduction Systems.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	Fitch style, proof simplification, denotational proof languages, NDL, assumption bases, natural deduction, detours
36	Samrat Guha Roy, B. Sutradhar, Partha Pratim Das	Large-scale Metadata Harvesting - Tools, Techniques and Challenges: A Case Study of National Digital Library (NDL).	World Digit. Libr.	2017	DBLP DOI BibTeX RDF
36	Li Lou, Jian-Hua Fan, Yong-Yang Hu, Lingyun Xu	Enhanced Stability Routing Scheme against Radio Jamming Based on NDL in Multi-hop Wireless Networks.	MASS	2017	DBLP DOI BibTeX RDF
36	Saho Yasumatsu, Akiko Hashizume, Julie Fukuyama	National Diet Library Dublin Core Metadata Description (DC-NDL): Describing Japanese Metadata and Connecting Pieces of Data.	Dublin Core Conference	2016	DBLP BibTeX RDF
36	Anthony Poonam, Plaban Kumar Bhowmick	Architecture for User Experience Tracking and Analytics in National Digital Library (NDL).	T4E	2016	DBLP DOI BibTeX RDF
36	Panagiotis E. Hadjidoukas, Panagiotis Angelikopoulos, Costas Voglis, Dimitris G. Papageorgiou, Isaac E. Lagaris	NDL-v2.0: A new version of the numerical differentiation library for parallel architectures.	Comput. Phys. Commun.	2014	DBLP DOI BibTeX RDF
36	Béchir el Ayeb, Shengrui Wang	Computing Effect-to-Cause/Cause-to-Effect Diagnoses Within NdL.	IJCAI	1993	DBLP BibTeX RDF
25	Il-Seok Oh, Yoon-Sung Choi, Jin-Ho Yang, Soo-Hyung Kim	A Keyword Spotting System of Korean Document Images.	ICADL	2002	DBLP DOI BibTeX RDF