Search results for "vdl"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
45	Massimiliano Assante, Leonardo Candela, Donatella Castelli, Luca Frosini, Lucio Lelii, Paolo Manghi, Andrea Manzi, Pasquale Pagano, Manuele Simi	An Extensible Virtual Digital Libraries Generator.	ECDL	2008	DBLP DOI BibTeX RDF
45	Kuo-Hsing Cheng, Chan-Wei Huang, Shu-Yu Jiang	Self-sampled vernier delay line for built-in clock jitter measurement.	ISCAS	2006	DBLP DOI BibTeX RDF
45	David E. Bakken, Zhiyuan Zhan, Christopher C. Jones, David A. Karr	Middleware Support for Voting and Data Fusion.	DSN	2001	DBLP DOI BibTeX RDF
45	Germán S. Goldszmidt	Network management views using delegated agents.	CASCON	1996	DBLP BibTeX RDF
37	Yifei Luo, Gang Chen, Kuan Zhou	A picosecond TDC architecture for multiphase PLLs.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	time-to-digital converter, vdl, vernier delay line, PLL, soi, tdc
31	Neng Shi, Jiayi Xu 0001, Haoyu Li, Hanqi Guo 0001, Jonathan Woodring, Han-Wei Shen	VDL-Surrogate: A View-Dependent Latent-based Model for Parameter Space Exploration of Ensemble Simulations.	IEEE Trans. Vis. Comput. Graph.	2023	DBLP DOI BibTeX RDF
31	Neng Shi, Jiayi Xu 0001, Haoyu Li, Hanqi Guo 0001, Jonathan Woodring, Han-Wei Shen	VDL-Surrogate: A View-Dependent Latent-based Model for Parameter Space Exploration of Ensemble Simulations.	CoRR	2022	DBLP DOI BibTeX RDF
31	Xiaoyue Ma, Kecheng Cui, Nada Matta, Zhonghua He	Interacting with VDL-based structured icons on crisis map for emergency coordination: Interactive design and experimental demonstration.	Displays	2021	DBLP DOI BibTeX RDF
31	Per Haavardtun, Steven Mallam, Amit Sharma, Salman Nazir	Using Virtual Worlds as an Integrated Part of Virtual Distance Learning (VDL) Networks in Simulator-Based Education.	AHFE (11)	2020	DBLP DOI BibTeX RDF
31	Xiaoyue Ma, Pengzhen Xue, Siya Zhang, Nada Matta, Chunxiu Qin, Jean-Pierre Cahier, Keqin Wang	Information search by applying VDL-based iconic tags: an experimental study.	J. Documentation	2019	DBLP DOI BibTeX RDF
31	Xiaoyue Ma, Mohamed Sediri, Nada Matta, Jean-Pierre Cahier	VDL-based iconic co-annotation in crisis management.	CTS	2014	DBLP DOI BibTeX RDF
31	Xiaoyue Ma, Jean-Pierre Cahier	Semantically Structured VDL-Based Iconic Tags System.	HCI (13)	2013	DBLP DOI BibTeX RDF
31	Xiaoyue Ma, Jean-Pierre Cahier	Collaboratively Constructing a VDL-Based Icon System for Knowledge Tagging.	SocInfo	2012	DBLP DOI BibTeX RDF
31	Nalini J. Elkins	The Visual Diagnostic Language (VDL).	Int. CMG Conference	2008	DBLP BibTeX RDF
31	Andrew H. Chen, Jack H. W. Penm, Richard Deane Terrell	An evolutionary recursive algorithm in selecting statistical subset neural network/VDL filtering.	Adv. Decis. Sci.	2006	DBLP DOI BibTeX RDF
31	Steven C. Bretmersky, Robert Murawski, Vijay K. Konangi	Characteristics and Capacity of VDL Mode 2, 3, and 4 Subnetworks.	J. Aerosp. Comput. Inf. Commun.	2005	DBLP DOI BibTeX RDF
31	Cliff B. Jones	The Transition from VDL to VDM.	J. Univers. Comput. Sci.	2001	DBLP DOI BibTeX RDF
31	Heinz Zemanek	Early Foundations of Formal Modelling and Language Specification: Vienna Definition Language (VDL) and Vienna Development Method (VDM).	IFIP Congress (2)	1994	DBLP BibTeX RDF
31	Shahrzade Mazaher, Daniel M. Berry	Deriving a Compiler From an Operational Semantics Written in VDL.	Comput. Lang.	1985	DBLP DOI BibTeX RDF
31	Peter Lucas 0001	Formal Semantics of Programming Languages: VDL.	IBM J. Res. Dev.	1981	DBLP DOI BibTeX RDF
31	G. Bengel	Definition einer Programmanalysemaschine in VDL.	Fachtagung über Programmiersprachen	1978	DBLP DOI BibTeX RDF
31	I. Fekete, L. Varga	On the formal definition of VDL-objects.	Acta Cybern.	1977	DBLP BibTeX RDF
31	George G. Hay	Formal definition of a simple on-line teleprocessor in VDL.	Symposium on Programming	1974	DBLP DOI BibTeX RDF
31	John A. N. Lee	VDL - A Definitional System for All Levels.	ISCA	1973	DBLP DOI BibTeX RDF
23	Hong-Yi Huang, Sheng-Da Wu, Yi-Jui Tsai	A New Cycle-Time-to-Digital Converter With Two Level Conversion Scheme.	ISCAS	2007	DBLP DOI BibTeX RDF
23	Tian Xia, Hao Zheng 0001, Jing Li, Ahmed Ginawi	Self-Refereed On-Chip Jitter Measurement Circuit Using Vernier Oscillators.	ISVLSI	2005	DBLP DOI BibTeX RDF
23	Bryan Nelson, Mani Soma	On-chip calibration technique for delay line based BIST jitter measurement.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
23	Arun Jagatheesan, Reagan W. Moore, Arcot Rajasekar, Bing Zhu 0001	Virtual Services in Data Grids.	HPDC	2002	DBLP DOI BibTeX RDF
23	Nazmy Abaskharoun, Mohamed M. Hafed, Gordon W. Roberts	Strategies for on-chip sub-nanosecond signal capture and timing measurements.	ISCAS (4)	2001	DBLP DOI BibTeX RDF
23	Cliff B. Jones	The META-Language: A Reference Manual.	The Vienna Development Method: The Meta-Language	1978	DBLP DOI BibTeX RDF