Search results for "procedural"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Nagaraj Subramanyam, K. G. Praveen, Ramesh Ramani, D. Suryanarayana	CODAC-a characterization system for digital and analog circuits.	VLSI Design	1995	DBLP DOI BibTeX RDF	CODAC, characterization system, electrical simulator, procedural interface, customized analysis functions, parallel processing, circuit analysis computing, Monte Carlo methods, circuit CAD, SPICE, SPICE, analog circuits, digital circuits, CAD tool, digital integrated circuits, analogue integrated circuits, circuit analysis, Monte Carlo analysis
21	Xiping Song, Leon J. Osterweil	Experience with an Approach to Comparing Software Design Methodologies.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	software design methodologies comparison, traceable comparisons, objective comparisons, process modeling techniques, procedural aspects, method decomposition, components classification, Jackson System Development, JSD, Booch's (1986) object-oriented design, BOOD, software development approaches, software engineering, software process, object-oriented methods, modeling formalism
21	William G. Griswold	Comments on "Language Design for Program Manipulation''.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	new programming languages, semantics, programming, object-oriented languages, object-oriented language, programming theory, language design, syntax, design principles, program manipulation, procedural language
21	Shujun Zhang, Geoffrey D. Sullivan, Keith D. Baker	The Automatic Construction of a View-Independent Relational Model for 3-D Object Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	view-independent relational model, single monochromatic images, statistical interference, primitive 2-D features, hyperedges, procedural constraints, covisibility measures, computer vision, graph theory, CAD, statistics, spatial reasoning, spatial reasoning, hypergraph, relational model, vision system, CAD model, geometric reasoning, best-first search, 3-D object recognition
21	Vivek V. Badami, Paul Nielsen, James B. Comly	An intelligent controller for process automation.	J. Intell. Robotic Syst.	1991	DBLP DOI BibTeX RDF	procedural and rule-based language, crystal growth, Czochralski process, Supervisory controller
21	John C. Hart, Thomas A. DeFanti	Efficient antialiased rendering of 3-D linear fractals.	SIGGRAPH	1991	DBLP DOI BibTeX RDF	object instancing, ray tracing, fractal, procedural modeling, covers
21	David Alex Lamb	Specification of Iterators.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	trace specifications, common form, iterator module, Alphard-style iterators, sequence iterator, iterator construct, procedural parameters, formal specification, data structures, algebraic specification, high level languages, partial specifications
21	Zhiwei Xu, Kai Hwang 0001	Molecule: A Language Construct for Layered Development of Parallel Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	layered development, molecule type, computation mode, layered software development, iPSC, application flexibility, algorithms, parallel programs, parallel programming, parallel computers, pipelining, multicomputer, dataflow, high-level languages, multiprocessing, sequential, array processing, user friendliness, language construct, procedural language, PAL
21	Lewis M. Norton	A Program Generator Package For Management Of Data Files - The Input Language.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Conceptual record, File description, Non-procedural language, Program generators, Data manipulation language
21	Jongeun Lee, Aviral Shrivastava	A compiler optimization to reduce soft errors in register files.	LCTES	2009	DBLP DOI BibTeX RDF	architectural vulnerability factor, link-time optimization, embedded system, compilation, static analysis, soft error, register file
21	Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti	Inline Assertions - Embedding Formal Properties in a Test Bench.	VLSI Design	2009	DBLP DOI BibTeX RDF
21	Alexander Goldberg, Matthias Zwicker, Frédo Durand	Anisotropic noise.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF
21	Christopher Olston, Benjamin C. Reed, Utkarsh Srivastava, Ravi Kumar 0001, Andrew Tomkins	Pig latin: a not-so-foreign language for data processing.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	pig latin, dataflow language
21	Charlotte Herzeel, Pascal Costanza, Theo D'Hondt	Reflection for the Masses.	S3	2008	DBLP DOI BibTeX RDF
21	Daniel G. Aliaga, Paul A. Rosen 0001, Daniel R. Bekins	Style Grammars for Interactive Visualization of Architecture.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	modeling packages, image-based rendering, Display algorithms, visualization systems and software
21	Luca Cardelli	An Accidental Simula User.	ECOOP	2007	DBLP DOI BibTeX RDF
21	Ittai Balaban, Ariel Cohen 0002, Amir Pnueli	Ranking Abstraction of Recursive Programs.	VMCAI	2006	DBLP DOI BibTeX RDF
21	Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh	Why structural recursion should be taught before arrays in CS 1.	SIGCSE	2005	DBLP DOI BibTeX RDF	CS1, recursion
21	Tamy Boubekeur, Christophe Schlick	Generic mesh refinement on GPU.	Graphics Hardware	2005	DBLP DOI BibTeX RDF
21	Stephanie A. Guerlain, Kristen Brook Green, Marcel C. LaFollette, T. C. Mersch, B. A. Mitchell, G. R. Poole, James Forrest Calland, Jianhong Lv, E. G. Chekan	Improving surgical pattern recognition through repetitive viewing of video clips.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
21	Pramuditha Suraweera, Antonija Mitrovic, Brent Martin	The Role of Domain Ontology in Knowledge Acquisition for ITSs.	Intelligent Tutoring Systems	2004	DBLP DOI BibTeX RDF
21	Warren Cheung, William S. Evans, Jeremy Moses	Predicated Instructions for Code Compaction.	SCOPES	2003	DBLP DOI BibTeX RDF
21	Santosh A. Mathan, Kenneth R. Koedinger	An Empirical Assessment of Comprehension Fostering Features in an Intelligent Tutoring System.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
21	John C. Munson, Scott Wimer	Watcher: The Missing Piece of the Security Puzzle.	ACSAC	2001	DBLP DOI BibTeX RDF
21	Umeshwar Dayal, Hector Garcia-Molina, Meichun Hsu, Ben Kao, Ming-Chien Shan	Third Generation TP Monitors: A Database Challenge.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF
21	Neil Coburn, Grant E. Weddell	A Logic for Rule-Based Query Optimization in Graph-Based Data Models.	DOOD	1993	DBLP DOI BibTeX RDF
21	Sergio Greco, Carlo Zaniolo, Sumit Ganguly	Greedy by Choice.	PODS	1992	DBLP DOI BibTeX RDF
21	Luís Moniz Pereira, Luís Caires, José Júlio Alferes	SLWV - A Theorem Prover for Logic Programming.	ELP	1992	DBLP DOI BibTeX RDF
21	Tom H. Axford	An elementary language construct for parallel programming.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF
21	M. Morioka	S. Yamaguchi, T. Bandoh: Evaluation of Memory System for Integrated Prolog Processor IPP.	ISCA	1989	DBLP DOI BibTeX RDF	Prolog
21	G. Scott Owen	RT Prolog: a real time Prolog written in Ada.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	Ada, Prolog
21	Fred C. Chow	Minimizing Register Usage Penalty at Procedure Calls.	PLDI	1988	DBLP DOI BibTeX RDF
21	K. von der Heide	A General Purpose Pipelined Ring Architecture.	CONPAR	1986	DBLP DOI BibTeX RDF
19	Arthur Shek, Dylan Lacewell, Andrew Selle, Daniel Teece, Tom Thompson	Art-directing Disney's Tangled procedural trees.	SIGGRAPH Talks	2010	DBLP DOI BibTeX RDF
19	Walter Cazzola, Diego Colombo, Duncan Harrison	Aspect-oriented procedural content engineering for game design.	SAC	2009	DBLP DOI BibTeX RDF	AO techniques, aspect-oriented programming, meta-data, data engineering
19	Soon Tee Teoh	RiverLand: An Efficient Procedural Modeling System for Creating Realistic-Looking Terrains.	ISVC (1)	2009	DBLP DOI BibTeX RDF
19	Armando de la Re, Francisco Abad, Emilio Camahort, M. Carmen Juan	Tools for Procedural Generation of Plants in Virtual Scenes.	ICCS (2)	2009	DBLP DOI BibTeX RDF
19	Fehmi Cirak, Julian C. Cummings	Generic programming techniques for parallelizing and extending procedural finite element programs.	Eng. Comput.	2008	DBLP DOI BibTeX RDF	Multi-physics coupling, Parallelization, Object-oriented programming, Finite elements, Generic programming
19	Rahul Narain, Jason Sewall, Mark Carlson, Ming C. Lin	Fast animation of turbulence using energy transport and procedural synthesis.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF
19	Lionel Fontan, Patrick Saint-Dizier	Analyzing Argumentative Structures in Procedural Texts.	GoTAL	2008	DBLP DOI BibTeX RDF
19	Muhammad Usman Bhatti, Stéphane Ducasse, Awais Rashid	Aspect Mining in Procedural Object Oriented Code.	ICPC	2008	DBLP DOI BibTeX RDF
19	Markus Müller-Olm, Helmut Seidl	Upper Adjoints for Fast Inter-procedural Variable Equalities.	ESOP	2008	DBLP DOI BibTeX RDF
19	Cezary Kaliszyk, Freek Wiedijk	Merging Procedural and Declarative Proof.	TYPES	2008	DBLP DOI BibTeX RDF
19	William B. Frakes, Gregory Kulczycki, Natasha Moodliar	An Empirical Comparison of Methods for Reengineering Procedural Software Systems to Object-Oriented Systems.	ICSR	2008	DBLP DOI BibTeX RDF	Reengineering, coupling metrics
19	Zhongxing Xu, Jian Zhang 0001	Path and Context Sensitive Inter-procedural Memory Leak Detection.	QSIC	2008	DBLP DOI BibTeX RDF	path feasibility, memory leak, bug finding
19	Stéphanie Gerbaud, Nicolas Mollet, Franck Ganier, Bruno Arnaldi, Jacques Tisseau	GVT: a platform to create virtual environments for procedural training.	VR	2008	DBLP DOI BibTeX RDF
19	Megan Woods, Iqbal Gondal	A Procedural Approach to Forecasting Nocturnal Air Temperature for Frost Prediction.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF	frost prediction, dynamic regression models, Fuzzy logic
19	Alexander Dreweke, Marc Wörlein, Ingrid Fischer, Dominic Schell, Thorsten Meinl, Michael Philippsen	Graph-Based Procedural Abstraction.	CGO	2007	DBLP DOI BibTeX RDF
19	Leon Sterling	Agent-Oriented Modelling: Declarative or Procedural?	DALT	2007	DBLP DOI BibTeX RDF
19	Atsuko K. Yamazaki, Joji Yabutani, Yoko Ebisawa, Satoshi Hori	A Study of Meaning Comprehensibility of Pictograms for Lathe Procedural Instructions.	KES (3)	2007	DBLP DOI BibTeX RDF	manufacturing instructions, communication, comprehensibility, pictogram
19	Tobi Delbrück, Patrick Lichtsteiner	Fast sensory motor control based on event-based hybrid neuromorphic-procedural system.	ISCAS	2007	DBLP DOI BibTeX RDF
19	Geoffrey Biggs, Bruce A. MacDonald	Specifying Robot Reactivity in Procedural Languages.	IROS	2006	DBLP DOI BibTeX RDF
19	Swatee Rekha Mohanty, Durga Prasad Mohapatra, Himansu Sekhar Behara	A Novel Approach for Static Slicing of Inter-Procedural Programs.	ICIT	2006	DBLP DOI BibTeX RDF
19	Todd Furmanski	Here Be Dragons: Integrating Agent Behaviors with Procedural Emergent Landscapes and Structures.	IVA	2006	DBLP DOI BibTeX RDF
19	Li Xu, David W. Embley, Yihong Ding	Combining Declarative and Procedural Knowledge to Automate and Represent Ontology Mapping.	ER (Workshops)	2006	DBLP DOI BibTeX RDF
19	Qinyi Wu, Calton Pu, Akhil Sahai, Roger S. Barga, Gueyoung Jung	DSCWeaver: Synchronization-Constraint Aspect Extension to Procedural Process Specification Languages.	ICWS	2006	DBLP DOI BibTeX RDF
19	Maarten H. van Emden	Compositional Semantics for the Procedural Interpretation of Logic.	ICLP	2006	DBLP DOI BibTeX RDF
19	Michael Luttenberger	Reachability Analysis of Procedural Programs with Affine Integer Arithmetic.	CIAA	2006	DBLP DOI BibTeX RDF
19	Jeremy Shopf, Marc Olano	Procedural haptic texture.	UIST	2006	DBLP DOI BibTeX RDF	virtual reality, haptics, interface, texturing, shading, haptic interaction, haptic texture
19	Kaoutar El Maghraoui, Alok Meghranjani, Tamar Eilam, Michael H. Kalantar, Alexander V. Konstantinou	Model Driven Provisioning: Bridging the Gap Between Declarative Object Models and Procedural Provisioning Tools.	Middleware	2006	DBLP DOI BibTeX RDF
19	Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards	Incremental Algorithms for Inter-procedural Analysis of Safety Properties.	CAV	2005	DBLP DOI BibTeX RDF
19	Francisco Heron de Carvalho Junior, Rafael Dueire Lins	Using Aspects for Supporting Procedural Modules in # Programming.	Euro-Par	2005	DBLP DOI BibTeX RDF
19	Nelishia Pillay	An investigation into using genetic programming as a means of inducing solutions to novice procedural programming problems.	GECCO	2005	DBLP DOI BibTeX RDF	genetic programming, automatic programming, local optima
19	Stephen Brooks, Neil A. Dodgson	Integrating procedural textures with replicated image editing.	GRAPHITE	2005	DBLP DOI BibTeX RDF	input amplification, interactive image editing, texture synthesis
19	Bruria Haberman, Zahava Scherz	Evolving Boxes as Flexible Tools for Teaching High-School Students Declarative and Procedural Aspects of Logic Programming.	ISSEP	2005	DBLP DOI BibTeX RDF
19	Michael J. Pratt	Extension of ISO 10303, the STEP Standard, for the Exchange of Procedural Shape Models.	SMI	2004	DBLP DOI BibTeX RDF
19	Polina Kondratieva, Vlastimil Havran, Hans-Peter Seidel	Effective Use of Procedural Shaders in Animated Scenes.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
19	Dusan Guller	Procedural Semantics for Fuzzy Disjunctive Programs on Residuated Lattices.	LATIN	2004	DBLP DOI BibTeX RDF
19	Alberto Lozano-Rodero, Maite Urretavizcaya, Begoña Ferrero, Isabel Fernández de Castro, Aritz Ustarroz, Luis M. Matey	Integration of a Generic Diagnostic Tool in Virtual Environments for Procedural Training.	CAEPIA	2003	DBLP DOI BibTeX RDF
19	Torben Amtoft, Robert Muller	Inferring annotated types for inter-procedural register allocation with constructor flattening.	TLDI	2003	DBLP DOI BibTeX RDF	type systems, register allocation, effects, defunctionalization, certifying compilers
19	Youtao Zhang, Jun Yang 0002	Procedural Level Address Offset Assignment of DSP Applications with Loops.	ICPP	2003	DBLP DOI BibTeX RDF
19	Paolo Manghi, Fabio Simeoni, David Lievens, Richard Connor 0001	Hybrid applications over XML: integrating the procedural and declarative approaches.	WIDM	2002	DBLP DOI BibTeX RDF	XML high-level bindings, XML programming, advanced web applications, XML querying, web data integration
19	Robert F. Tobler, Stefan Maierhofer, Alexander Wilkie	A Multiresolution Mesh Generation Approach for Procedural Definition of Complex Geometry.	Shape Modeling International	2002	DBLP DOI BibTeX RDF
19	Jorma Sajaniemi	An Empirical Analysis of Roles of Variables in Novice-Level Procedural Programs.	HCC	2002	DBLP DOI BibTeX RDF
19	Alexander Chatzigeorgiou, George Stephanides	Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors.	Ada-Europe	2002	DBLP DOI BibTeX RDF
19	Ying Zou 0001, Kostas Kontogiannis	A Framework for Migrating Procedural Code to Object-Oriented Platforms.	APSEC	2001	DBLP DOI BibTeX RDF
19	Luiz Velho 0001, Ken Perlin, Lexing Ying, Henning Biermann	Procedural Shape Synthesis on Subdivision Surfaces.	SIBGRAPI	2001	DBLP DOI BibTeX RDF
19	Kekoa Proudfoot, William R. Mark, Svetoslav Tzvetkov, Pat Hanrahan	A real-time procedural shading system for programmable graphics hardware.	SIGGRAPH	2001	DBLP DOI BibTeX RDF	shading languages, rendering, graphics hardware, graphics systems
19	Jesús Medina 0001, Manuel Ojeda-Aciego, Peter Vojtás	A Procedural Semantics for Multi-adjoint Logic Programming.	EPIA	2001	DBLP DOI BibTeX RDF
19	Françoise Martinolle, Charles Dawson 0002, Debra Corlette, Mike Floyd	Interoperability of Verilog/VHDL Procedural Language Interfaces to Build a Mixed Language GUI.	DATE	1999	DBLP DOI BibTeX RDF
19	Prashant Patil, Ying Zou 0001, Kostas Kontogiannis, John Mylopoulos	Migration of procedural systems to network-centric platforms.	CASCON	1999	DBLP BibTeX RDF	C++, CORBA
19	W. Lewis Johnson, Jeff Rickel	Steve: an animated pedagogical agent for procedural training in virtual environments.	SIGART Bull.	1997	DBLP DOI BibTeX RDF
19	Eugene C. Lynd	Living with the 2-digit Year Year 2000 Maintenance Using a Procedural Solution.	ICSM	1997	DBLP DOI BibTeX RDF	Defense Logistics Agency, DLA, windowing, remediation, Year 2000
19	JungHyun Han, Aristides A. G. Requicha	Modeler Independent Procedural Interfaces for Solid Modeling.	Computer Graphics International	1996	DBLP DOI BibTeX RDF
19	Seppo Keronen	Non-Procedural Logic Programming.	ELP	1993	DBLP DOI BibTeX RDF
19	Lunjin Lu, Peter Greenfield	Abstract fixpoint semantics and abstract procedural semantics of definite logic programs.	ICCL	1992	DBLP DOI BibTeX RDF
19	Kenneth A. Ross	A Procedural Semantics for Well Founded Negation in Logic Programs.	PODS	1989	DBLP DOI BibTeX RDF
19	R. Kent Dybvig, Robert Hieb	A Variable-Arity Procedural Interface.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
19	Christopher T. Haynes, Daniel P. Friedman	Embedding Continuations in Procedural Objects.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF	LISP, SCHEME
19	Philip Amburn, Eric D. Grant, Turner Whitted	Managing geometric complexity with enhanced procedural models.	SIGGRAPH	1986	DBLP DOI BibTeX RDF
19	Wayne H. Wolf	An object-oriented, procedural database for VLSI chip planning.	DAC	1986	DBLP DOI BibTeX RDF
19	Jose M. Mata	Design and Implementation for a Procedural VLSI Layout.	FSTTCS	1985	DBLP DOI BibTeX RDF
19	Robert V. Zara, Kevin Rose, Ghulam Nurie, Harish Sarin	An abstract machine data structure for non-procedural functional models.	DAC	1985	DBLP DOI BibTeX RDF
19	José Monteiro da Mata	ALLENDE: a procedural language for the hierarchical specification of VLSI layouts.	DAC	1985	DBLP DOI BibTeX RDF
19	Richard A. LeFaivre	Procedural representation in a fuzzy problem-solving system.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF
14	Ares Lagae, Sylvain Lefebvre 0001, Philip Dutré	Improving Gabor Noise.	IEEE Trans. Vis. Comput. Graph.	2011	DBLP DOI BibTeX RDF	Procedural noise, sparse convolution noise, Gabor noise, isotropic Gabor kernel, circular Gabor filter, Hankel transform, circularly symmetric functions, Gabor noise error analysis, spatially varying Gabor noise
14	Chandan Raj Rupakheti, Daqing Hou	Satisfying Programmers' Information Needs in API-Based Programming.	ICPC	2011	DBLP DOI BibTeX RDF	API-based programming, inter-procedural analysis, rule-based inferences, abstract interpretation
14	Deborah Estrin, K. Mani Chandy, Robert Michael Young, Larry Smarr, Andrew M. Odlyzko, David D. Clark, Viviane Reding, Toru Ishida 0001, Sharad Sharma, Vinton G. Cerf, Urs Hölzle, Luiz André Barroso, Geoff Mulligan, Adrian Hooke, Chip Elliott	Internet Predictions.	IEEE Internet Comput.	2010	DBLP DOI BibTeX RDF	personal data vault, ubiquitous data capture, procedural content generation, carbon emissions, prognosticators, future ICT for sustainable growth, open machine translation, language grid, bottom of the pyramid, quant revolution, multinationals, profit-center, creation net, space technology, Internet, Software engineering, wireless, cloud computing, cloud computing, telecommunications, vision, data processing, broadband, broadband, data protection, Internet of Things, socio-technical systems, socio-technical systems, knowledge-worker, services computing, interactive entertainment, participatory sensing, information society, technology forecasting, green, tussle, tussle, intercultural collaboration, climate, global networks, global networks, Internet evolution
14	Vinton G. Cerf, Munindar P. Singh	Internet Predictions.	IEEE Internet Comput.	2010	DBLP DOI BibTeX RDF	Internet predictions, personal data vault, ubiquitous data capture, procedural content generation, carbon emissions, prognosticators, future ICT for sustainable growth, open machine translation, language grid, bottom of the pyramid, quant revolution, multinationals, profit-center, creation net, space technology, Internet, Software engineering, wireless, cloud computing, cloud computing, telecommunications, vision, data processing, broadband, broadband, data protection, Internet of Things, socio-technical systems, socio-technical systems, knowledge-worker, services computing, interactive entertainment, participatory sensing, information society, technology forecasting, green, tussle, tussle, intercultural collaboration, climate, global networks, global networks, Internet evolution
14	Marcelo Tallis, Robert M. Balzer	A Deductive Spreadsheet System for End Users.	IEEE Trans. Knowl. Data Eng.	2010	DBLP DOI BibTeX RDF	representations (procedural and rule based), user-centered design, spreadsheets, Ontology languages