Search results for "VPL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
138	Ying Guo, Xiushan Lu	An Efficient New Method on Accurately Estimating Galileo VPL.	CCTA	2007	DBLP DOI BibTeX RDF	integrity theory, SISE, VPL, Galileo
106	Eva Kühn, Franz Puntigam, Ahmed K. Elmagarmid	An Execution Model for Distributed Database Transactions and Its Implementation in VPL.	EDBT	1992	DBLP DOI BibTeX RDF
69	Paul Carlson, Margaret M. Burnett	Integrating Algorithm Animation into a Declarative Visual Programming Language.	VL	1995	DBLP DOI BibTeX RDF	declarative visual programming language, semantic insights, VPL Forms/3, visual programming, computer animation, visual languages, computational linguistics, algorithm animation
68	Alvin T. S. Chan, Jiannong Cao 0001, Chi-Kin Liu, Weidong Cao	Design and Implementation of VPL: A Virtual Programming Laboratory for Online Distance Learning.	ICWL	2003	DBLP DOI BibTeX RDF
68	Eva Kühn, Franz Puntigam	Reliable Communication in VPL.	PARLE	1992	DBLP DOI BibTeX RDF	parallel language extensions, implementation of parallel languages, parallel programming paradigms
57	Laura Bozzelli	Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages.	CONCUR	2007	DBLP DOI BibTeX RDF
57	Kang Zhang 0001, Da-Qian Zhang, Jiannong Cao 0001	Design, Construction, and Application of a Generic Visual Language Generation Environment.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	Visual programming, visual languages, graph grammar, language construction
38	Joachim Baran, Howard Barringer	A Grammatical Representation of Visibly Pushdown Languages.	WoLLIC	2007	DBLP DOI BibTeX RDF
38	Xijun Zhu, Zhimin Li, Yueming Dai	An Improved Estimation Algorithm for User Vertical Protection Level.	SNPD (3)	2007	DBLP DOI BibTeX RDF
38	Boriana Vassileva, Boris Vassilev	SBAS Vertical Protection Level Assessment in the Case of Error Reduction.	John Vincent Atanasoff Symposium	2006	DBLP DOI BibTeX RDF
38	Rajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan 0001	Congruences for Visibly Pushdown Languages.	ICALP	2005	DBLP DOI BibTeX RDF
38	Atul Dubey, Gaurav Sharma 0003, Constantinos Mavroidis, Silvina-Maria Tomassone, K. Nikitczuk, Martin L. Yarmush	Dynamics and Kinematics of Viral Protein Linear Nano-actuators for Bio-nano Robotic Systems.	ICRA	2004	DBLP DOI BibTeX RDF
38	Rajeev Alur, P. Madhusudan	Visibly pushdown languages.	STOC	2004	DBLP DOI BibTeX RDF	?-languages, verification, logic, context-free languages, pushdown automata, regular tree languages
38	Anne Persson, Janis Stirna, Horst Dulle, Gernot Hatzenbichler, Günter Strutz	Introducing a Pattern Based Knowledge Management Approach: The Verbundplan Case.	DEXA Workshops	2003	DBLP DOI BibTeX RDF
38	David Hansel, Rance Cleaveland, Scott A. Smolka	Distributed Prototyping from Validated Specifications.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF
38	Margaret M. Burnett, Nanyu Cao, John W. Atwood Jr.	Time in Grid-Oriented VPLs: Just Another Dimension?.	VL	2000	DBLP DOI BibTeX RDF
38	Judith Good	VPLs and Novice Program Comprehension: How Do Different Languages Compare?	VL	1999	DBLP DOI BibTeX RDF
38	Manfred Münch, Andy Schürr	Leaving the Visual Language Ghetto.	VL	1999	DBLP DOI BibTeX RDF	Visual Languages for Engineers, Component Based Visual Languages, IEC1131, Modeling in the Large, Function Blocks
38	Paul Carlson, Margaret M. Burnett, Jonathan J. Cadiz	A seamless integration of algorithm animation into a visual programming language.	AVI	1996	DBLP DOI BibTeX RDF
32	Aryeh Teitelbaum, H. G. Medelbaum	Arts'Codes : Generation of Parallel-Automata Real-Time Systems, using a Unifying Diagrammatic Component Oriented Design Methodology.	SwSTE	2003	DBLP DOI BibTeX RDF	Components design, VPL, Parallel Automata, Real-Time Systems, Timed-automata
30	Kyveli Doveri, Pierre Ganty, Luka Hadzi-Dokic	Antichains Algorithms for the Inclusion Problem Between ømega-VPL.	TACAS (1)	2023	DBLP DOI BibTeX RDF
30	Arnau Colom, Ricardo Marques, Luís Paulo Santos	Interactive VPL-based global illumination on the GPU using fuzzy clustering.	Comput. Graph.	2022	DBLP DOI BibTeX RDF
30	Yuchi Huo, Rui Wang 0004, Xinguo Liu, Hujun Bao	Sparse Sampling and Completion for Light Transport in VPL-based Rendering.	CoRR	2022	DBLP BibTeX RDF
30	Edjola K. Naka, Vassil Guliashki	B-VPL: A Binary Volleyball Premier League optimization algorithm for Feature Selection.	IWSSIP	2022	DBLP DOI BibTeX RDF
30	Vítor M. Aranha, Márcio Cerqueira de Farias Macedo, Antônio Lopes Apolinário	Screen-space VPL propagation for real-time indirect lighting.	SIBGRAPI	2020	DBLP DOI BibTeX RDF
30	Hyunjin Choi, Jangwon Gim, Young-Duk Seo, Doo-Kwon Baik	VPL-Based Big Data Analysis System: UDAS.	IEEE Access	2018	DBLP DOI BibTeX RDF
30	Djihane Babahenini, Adrien Gruson, Mohamed Chaouki Babahenini, Kadi Bouatouch	Efficient inverse transform methods for VPL selection in global illumination.	Multim. Tools Appl.	2018	DBLP DOI BibTeX RDF
30	Jesse Archer, Geoff Leach, Pyarelal Knowles	Fast raycasting using a compound deep image for VPL range determination.	SIGGRAPH Asia Technical Briefs	2018	DBLP DOI BibTeX RDF
30	Adrián Jarabo, Raul Buisan, Diego Gutierrez	Bidirectional Clustering for Scalable VPL-based Global Illumination.	CEIG	2015	DBLP DOI BibTeX RDF
30	Chih-Kai Chang, Tsung-Yen Chuang, Wen-Lin Kuo	Relationships between Engagement and Learning Style for Using VPL on Game Design.	DIGITEL	2012	DBLP DOI BibTeX RDF
30	Alvin T. S. Chan, Jiannong Cao 0001, Chi-Kin Liu, Weidong Cao	VPL: An Online Distance Learning Platform for Virtual Programming Laboratory.	Int. J. Comput. Process. Orient. Lang.	2004	DBLP DOI BibTeX RDF
30	Jarinee Chattratichart, Jasna Kuljis	Exploring the Effect of Control-Flow and Traversal Direction on VPL Usability for Novices.	J. Vis. Lang. Comput.	2002	DBLP DOI BibTeX RDF
30	Sherry Yang, Margaret M. Burnett, Elyon DeKoven, Moshé M. Zloof	Representation Design Benchmarks: A Design-Time Aid for VPL Navigable Static Representations.	J. Vis. Lang. Comput.	1997	DBLP DOI BibTeX RDF
30	Sherry Yang, Elyon DeKoven, Moshé M. Zloof	Design Benchmarks for VPL Static Representations.	VL	1996	DBLP DOI BibTeX RDF
30	Eva Kühn, Herbert Pohlai, Franz Puntigam	Concurrency and Backtracking in VPL.	Comput. Lang.	1993	DBLP DOI BibTeX RDF
30	David Lau-Kee, Adam Billyard, Robin Faichney, Yasuo Kozato, Paul Otto, Mark Smith, Ian Wilkinson	VPL: An Active, Declarative Visual Programming System.	VL	1991	DBLP DOI BibTeX RDF
30	Jiawei Hong, Xiaonan Tan	Calibrating a VPL DataGlove for teleoperating the Utah/MIT hand.	ICRA	1989	DBLP DOI BibTeX RDF
19	Takashi Ajiro, Kensei Tsuchida	Visual programming language for bit-level concurrent programming: APECbits.	VL/HCC	2008	DBLP DOI BibTeX RDF
19	Steffen Kolarczyk, Manuel Koch, Klaus-Peter Löhr, Karl Pauls	SecTOOL - Supporting Requirements Engineering for Access Control.	ETRICS	2006	DBLP DOI BibTeX RDF
19	Calum A. M. Grant	The Visula programming language and environment.	VL/HCC	2006	DBLP DOI BibTeX RDF
19	Soumya Banerjee, Ajith Abraham, Sang-Yong Han, Prabhat Kumar Mahanti	Soft Modeling of Group Dynamics and Behavioral Attributes.	WSTST	2005	DBLP DOI BibTeX RDF
19	Georgios I. Papadimitriou, Georgios D. Pallas, Andreas S. Pomportsis	A Self-Adaptive Protocol for Broadcast LANs with Variable Packet Length.	ISCC	2003	DBLP DOI BibTeX RDF
19	Judith Good, Paul Brna	Information Types and Cognitive Principles in Program Comprehension: Towards Adaptable Support for Novice Visual Programmers.	Intelligent Tutoring Systems	1998	DBLP DOI BibTeX RDF