Search results for "U-functional"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Wenyu Zhang, Shu Beng Tor, G. A. Britton, Y.-M. Deng	EFDEX: A Knowledge-Based Expert System for Functional Design of Engineering Systems.	Eng. Comput.	2001	DBLP DOI BibTeX RDF	Functional reasoning, Object-oriented, Expert system, Knowledge-based, Functional Modeling, Functional design
55	Qiao Liu 0007, Keiichi Nakata, Kazuo Furuta	Display Design of Process Systems Based on Functional Modelling.	Cogn. Technol. Work.	2002	DBLP DOI BibTeX RDF	Functional macro, Functional primitives, Process systems, Interface design, Functional modelling, Visual display
45	Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo	A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems.	FLOPS	2006	DBLP DOI BibTeX RDF	Functional and Logic- Functional Programming, Logic, Lazy Evaluation, Declarative Languages, Higher Order
45	Pranav Ashar, Sharad Malik	Fast functional simulation using branching programs.	ICCAD	1995	DBLP DOI BibTeX RDF	compiled code simulation, cycle-based functional simulation, fast functional simulation, functional delay-independent logic simulation, levelized compiled-code, switch level functional simulation, synchronous digital systems, Boolean functions, system design, logic design, logic CAD, decision theory, circuit analysis computing, benchmark circuits, branching programs
45	Nobuo Shimizu, Masahiro Mizuta	Functional Principal Points and Functional Cluster Analysis.	Computational Intelligence Paradigms	2008	DBLP DOI BibTeX RDF	Gaussian random functions, Orthogonal basis, Optimization, k-means clustering, Functional data analysis
45	Nobuo Shimizu, Masahiro Mizuta	Functional Clustering and Functional Principal Points.	KES (2)	2007	DBLP DOI BibTeX RDF	Optimization, k-means algorithm, Functional data analysis
44	Qiao Liu 0007, Keiichi Nakata, Kazuo Furuta	Making control systems visible.	Cogn. Technol. Work.	2004	DBLP DOI BibTeX RDF	Automatic control systems, Functional macro, Functional primitive, Interface design, Functional model
42	Yunkang Liu	Runge-Kutta-collocation methods for systems of functional-differential and functional equations.	Adv. Comput. Math.	1999	DBLP DOI BibTeX RDF	functional-differential equations, continuous Runge-Kutta method, order of approximation, 34K05, 39B05, hybrid systems, numerical stability, collocation method, 65L20, 65L60, 65L06, functional equations, 65L05
42	Brent Hailpern, Tien Huynh, György E. Révész	Comparing Two Functional Programming Systems.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	functional programming systems, graph reduction interpreter, DEL-style intermediate instruction set architecture, performance evaluation, benchmarks, functional programming, lambda calculus, functional languages, high level languages, execution times, performance comparison, FP, evaluation strategies, implementation language
42	Jian Qing Shi, B. Wang	Curve prediction and clustering with mixtures of Gaussian process functional regression models.	Stat. Comput.	2008	DBLP DOI BibTeX RDF	Curve clustering, Curve prediction, Gaussian process functional regression model, Allocation model, Batch data, Gaussian process, Functional data analysis
40	Luigi Buglione, Çigdem Gencel	Impact of Base Functional Component Types on Software Functional Size Based Effort Estimation.	PROFES	2008	DBLP DOI BibTeX RDF	Base Functional Component, Effort Estimation, Functional Size Measurement, COSMIC, International Software Benchmarking Standards Group (ISBSG)
39	Hong Yao, Howard J. Hamilton	Mining functional dependencies from data.	Data Min. Knowl. Discov.	2008	DBLP DOI BibTeX RDF	Discovering functional dependencies, Mining functional dependencies, Implication rule, FD_Mine, Data mining, Relational databases, Knowledge discovery, Functional dependencies
39	Yan Zhang, Yi Liu, Le Zhang, Zhiyi Ma, Hong Mei 0001	Modeling and Checking for Non-functional Attributes in Extended UML Class Diagram.	COMPSAC	2008	DBLP DOI BibTeX RDF	non-functional attributes, model checking, model driven development, UML class diagram
37	Erin M. Nishimura, Evan D. Rapoport, Benjamin A. Darling, Jason P. Cervenka, Jeanine K. Stefanucci, Dennis Proffitt, Traci H. Downs, J. Hunter Downs	Functional Brain Imaging for Analysis of Reading Effort for Computer-Generated Text.	HCI (2)	2007	DBLP DOI BibTeX RDF	quantitative usability analysis, functional brain imaging, functional near-infrared (fNIR), functional magnetic resonance imaging (fMRI)
37	Levent V. Orman	Functional Development of Database Applications.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	functional development methodology, event-oriented view, observed events, database, semantics, functional programming, database management system, database management systems, functional language
37	Tennyson X. Chen, Sean Shuangquan Liu, Martin D. Meyer, Donald Gotterbarn	An introduction to functional independency in relational database normalization.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	functional independency, relational database design, sub-domain dependency, decomposition, functional dependency, attribute, normal form
37	Fabrice Rossi, Brieuc Conan-Guez	Theoretical Properties of Projection Based Multilayer Perceptrons with Functional Inputs.	Neural Process. Lett.	2006	DBLP DOI BibTeX RDF	consistency, projection, multilayer perceptron, functional data analysis, universal approximation
37	Gary S. H. Tan, Yong Meng Teo	Experiences in simulating a declarative multiprocessor.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	declarative multiprocessor simulation, declarative programming languages, Flagship parallel reduction machine, packet-based graph reduction model, executional units, timing characteristics, event-driven timing scheme, tightly-coupled processor-store pairs, performance evaluation, performance evaluation, parallel architectures, virtual machines, timing, parallel machines, synchronisation, synchronisation, parallel languages, functional languages, functional languages, functional simulator, parallel computer architectures, MIMD architecture, delta network
36	Prabhat Ranjan, Arun Kumar Misra	A hybrid model for agent based system requirements analysis.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	crosscutting requirements, system centric analysis, system user centric analysis, agent oriented software engineering, non-functional requirements, functional requirements, requirement gathering
35	Luigi Buglione, Olga Ormandjieva, Maya Daneva	Using PSU for Early Prediction of COSMIC Size of Functional and Non-functional Requirements.	IWSM/Metrikon/Mensura	2008	DBLP DOI BibTeX RDF	Project Size, Project Size Unit (PSU), Functional User Requirements (FUR), Prediction, Non-Functional Requirements (NFR), COSMIC
35	Çigdem Gencel, Luigi Buglione	Do Base Functional Component Types Affect the Relationship between Software Functional Size and Effort?.	IWSM/Mensura	2007	DBLP DOI BibTeX RDF	Base Functional Component, Effort Estimation, Functional Size Measurement, International Software Benchmarking Standards Group (ISBSG), COSMIC-FFP
34	Irith Pomeranz, Sudhakar M. Reddy	Expanded Definition of Functional Operation Conditions and its Effects on the Computation of Functional Broadside Tests.	VTS	2008	DBLP DOI BibTeX RDF	functional broadside tests, test generation, transition faults, reachable states, full-scan circuits
34	Mark P. Jones	Polymorphism and page tables: systems programming from a functional programmer's perspective.	ICFP	2008	DBLP DOI BibTeX RDF	memory manipulation, functional programming, type systems, data representation, systems programming
34	Haifeng Qian, Eduardo B. Fernández, Jie Wu 0001	A combined functional and object-oriented approach to software design.	ICECCS	1995	DBLP DOI BibTeX RDF	combined functional and object-oriented approach, complex control system, hospital patient monitoring system, software engineering, functional programming, object-oriented design, software design, objects, object-oriented methods, data flow graphs, structured programming, medical computing, structured design, complex software systems, patient monitoring, large software systems, functional design, transformation function
34	Çigdem Gencel	How to Use COSMIC Functional Size in Effort Estimation Models?.	IWSM/Metrikon/Mensura	2008	DBLP DOI BibTeX RDF	Base Functional Component, Functionality, Effort Estimation, Functional Size Measurement, COSMIC
34	Hee Beng Kuan Tan, Yong Yang 0002, Lei Bian	Systematic Transformation of Functional Analysis Model into OO Design and Implementation.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	design, model transformation, requirements analysis, object-oriented model, functional decomposition, Functional model
34	Zafar U. Singhera, Abad Ali Shah	Extended web services framework to meet non-functional requirements.	ICWE Workshops	2006	DBLP DOI BibTeX RDF	Web services, framework, non-functional requirements
32	John Longley	When is a Functional Program Not a Functional Program?	ICFP	1999	DBLP DOI BibTeX RDF
32	Sylvie Trudel, Alain Abran	Improving Quality of Functional Requirements by Measuring Their Functional Size.	IWSM/Metrikon/Mensura	2008	DBLP DOI BibTeX RDF	inspection, review, FSM, Functional requirements, Functional size measurement, COSMIC
32	Eelco Dolstra, Andres Löh	NixOS: a purely functional Linux distribution.	ICFP	2008	DBLP DOI BibTeX RDF	NixOS, nix, package management, purely functional deployment model, purely functional language, system configuration management, software deployment
32	Olaf Chitil	Common Subexpressions Are Uncommon in Lazy Functional Languages.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
32	A. V. S. Sastry, William D. Clinger	Parallel Destructive Updating in Strict Functional Languages.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF
32	Tyng-Ruey Chuang	A Randomized Implementation of Multiple Functional Arrays.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF
32	J Strother Moore	Functional formal methods.	ICFP	2002	DBLP DOI BibTeX RDF	functional programming, Java Virtual Machine, microarchitecture, software verification, Common Lisp, hardware verification, mechanical theorem proving
32	R. Govindarajan	Exception Handlers in Functional Programming Languages.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	resume, input object, implementation restriction, referential transparency, commutativity properties, functional programming, functional programming, exception handling, exception handling, terminate, programming theory, functional languages, high level languages, programmer
32	Cássio L. Rodrigues, Karina R. G. da Silva, Henrique do N. Cunha	Improving functional verification of embedded systems using hierarchical composition and set theory.	SAC	2009	DBLP DOI BibTeX RDF	hierarchical composition, embedded systems, set theory, functional verification, functional coverage
32	Baris Özkan, Onur Demirörs	Formalization Studies in Functional Size Measurement: How Do They Help?	IWSM/Mensura	2009	DBLP DOI BibTeX RDF	Software Functional Size Measurement, Functional Size Measurement Methods, Formalization, Software Models
32	Dan Xue, Long Liang, Jingyuan Yin	Analysis and Prediction of Global and Subfamily-specific Functional Sites in Bioaminergic Receptors.	BMEI (1)	2008	DBLP DOI BibTeX RDF	Bioaminergic receptors, Global functional sites, Subfamily-specific functional sites
32	Leonardo Bobadilla, Fernando Niño, Edilberto Cepeda, Manuel A. Patarroyo	A Novel Methodology for Characterizing and Predicting Protein Functional Sites.	BIBM	2007	DBLP DOI BibTeX RDF	Protein functional sites, Metal- binding sites, Java source code available upon request, Supplementary Website: http://dis.unal.edu.co/~biocomp/metals/, Clustering, Classification, Feature Extraction, Functional Genomics
32	Lei Ye 0012, Bin Zhang 0001	Web Service Discovery Based on Functional Semantics.	SKG	2006	DBLP DOI BibTeX RDF	web services functional semantic description model, domain-oriented functional ontology and semantic annotation, web service
32	Pascual Julián Iranzo, Christian Villamizar Lamus	Analysing Definitional Trees: Looking for Determinism.	FLOPS	2004	DBLP DOI BibTeX RDF	narrowing strategies, implementation of functional logic languages, program transformation, Functional logic programming
32	Xavier Franch, Pere Botella	Supporting software maintenance with non-functional information.	CSMR	1997	DBLP DOI BibTeX RDF	software maintenance support, non functional information, software attributes, component programming framework, classical programming language, software modifications, NF behaviour, algorithm, software maintenance, software components, non functional requirements, maintenance costs
32	Irith Pomeranz, Sudhakar M. Reddy	Functional test generation for delay faults in combinational circuits.	ICCAD	1995	DBLP DOI BibTeX RDF	gate-level realizations, logic testing, delays, test generation, test generators, combinational circuits, fault simulated, logic CAD, delay faults, functional fault model, functional test generation
31	Solmaz Kolahi, Laks V. S. Lakshmanan	On approximating optimum repairs for functional dependency violations.	ICDT	2009	DBLP DOI BibTeX RDF	functional dependency violation, approximation algorithm, repair, inconsistent databases
31	Hannu Mäyrä, Mauno Rönkkö	Reverse Engineering Functional Classes: A Middleware Case Study.	ITNG	2008	DBLP DOI BibTeX RDF	Functional Classes, Middleware, Reverse Engineering, Decompilation, Java Bytecode
31	Masahiro Mizuta, June Kato	Functional Data Analysis and Its Application.	RSKT	2007	DBLP DOI BibTeX RDF	Functional Clustering, Music Broadcast Data, Power Law
31	Jocelyn Marchadier, Walter G. Kropatsch	Functional Modeling of Structured Images.	GbRPR	2003	DBLP DOI BibTeX RDF	code, model selection, hypergraph, functional model, graph representation
31	Y.-M. Deng, Shu Beng Tor, G. A. Britton	Abstracting and Exploring Functional Design Information for Conceptual Mechanical Product Design.	Eng. Comput.	2000	DBLP DOI BibTeX RDF	Input-output flow-of-action, Mechanical product design, Design information, Functional design
31	María Alpuente, Moreno Falaschi, Germán Vidal	Partial Evaluation of Functional Logic Programs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation
30	Adora M. D'Souza, Anas Zainul Abidin, Mahesh B. Nagarajan, Axel Wismüller	Mutual connectivity analysis (MCA) using generalized radial basis function neural networks for nonlinear functional connectivity network recovery in resting-state functional MRI.	Medical Imaging: Biomedical Applications in Molecular, Structural, and Functional Imaging	2016	DBLP DOI BibTeX RDF
30	Xixi Wang, Mahesh B. Nagarajan, Anas Z. Abidin, Adora M. D'Souza, Susan K. Hobbs, Axel Wismüller	Investigating the use of mutual information and non-metric clustering for functional connectivity analysis on resting-state functional MRI.	Medical Imaging: Biomedical Applications in Molecular, Structural, and Functional Imaging	2015	DBLP DOI BibTeX RDF
30	Simon P. Booth, Simon B. Jones	Towards a Purely Functional Debugger for Functional Programs.	Functional Programming	1995	DBLP BibTeX RDF
30	Philip Wadler	Monads for Functional Programming.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
30	Erik Meijer 0001, Johan Jeuring	Merging Monads and Folds for Functional Programming.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
30	John Launchbury	Graph Algorithms with a Functional Flavous.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
30	Jeroen Fokker	Functional Parsers.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
30	Mark P. Jones	Functional Programming with Overloading and Higher-Order Polymorphism.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
30	Marko C. J. D. van Eekelen, Marinus J. Plasmeijer	Constructing Medium Sized Efficient Functional Programs in Clean.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
30	Peter Achten, John H. G. van Groningen, Marinus J. Plasmeijer	High Level Specification of I/O in Functional Languages.	Functional Programming	1992	DBLP DOI BibTeX RDF
30	Patrick M. Sansom, Simon L. Peyton Jones	Profiling Lazy Functional Programs.	Functional Programming	1992	DBLP DOI BibTeX RDF
30	Colin Runciman, David Wakeling	Heap Profiling of a Lazy Functional Compiler.	Functional Programming	1992	DBLP DOI BibTeX RDF
30	Kevin Hammond, Dave McNally, Patrick M. Sansom, Philip W. Trinder	Improving Persistent Data Manipulation for Functional Languages.	Functional Programming	1992	DBLP DOI BibTeX RDF
30	Ben A. Sijtsma	Requirements for a Functional Programming Environment.	Functional Programming	1991	DBLP DOI BibTeX RDF
30	Colin Runciman	TIP in Haskell - another Exercise in Functional Programming.	Functional Programming	1991	DBLP DOI BibTeX RDF
30	Geoffrey Livingston Burn	The Abstract interpretation of Higher-Order Functional Languages: From Properties to Abstract Domains (Technical Summary).	Functional Programming	1991	DBLP DOI BibTeX RDF
30	Geoff W. Hamilton, Simon B. Jones	Extending Deforestation for First Order functional Programs.	Functional Programming	1991	DBLP DOI BibTeX RDF
30	Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder	A Parallel Functional Database on GRIP.	Functional Programming	1991	DBLP DOI BibTeX RDF
30	Manfred Schmidt-Schauß	External Function Calls in a Functional Language.	Functional Programming	1991	DBLP DOI BibTeX RDF
30	David Sands	Operational Theories of Improvement in Functional Languages (Extended Abstract).	Functional Programming	1991	DBLP DOI BibTeX RDF
30	Nick Rothwell	Functional Compilation from the Standard ML Core Language to Lambda Calculus.	Functional Programming	1991	DBLP DOI BibTeX RDF
29	Johan Fredriksson, Massimo Tivoli, Ivica Crnkovic	A component-based development framework for supporting functional and non-functional analysis in control system design.	ASE	2005	DBLP DOI BibTeX RDF	non functional analysis, control systems, real time embedded systems, functional analysis
29	Rinus Plasmeijer, Arjen van Weelden	A Functional Shell That Operates on Typed and Compiled Applications.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
29	Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes 0001, Malcolm Wallace	Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat.	Advanced Functional Programming	2002	DBLP DOI BibTeX RDF
29	Graeme E. Moss, Colin Runciman	Auburn: A Kit for Benchmarking Functional Data Structures.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
29	Peter Achten, Marinus J. Plasmeijer	Interactive Functional Objects in Clean.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
29	Wei-Ngan Chin	Safe Fusion of Functional Expressions.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
29	Charles Consel	Binding Time Analysis for High Order Untyped Functional Languages.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF	SCHEME
29	Patrice Quinton, Sanjay V. Rajopadhye, Doran Wilde	On deriving data parallel code from a functional program.	IPPS	1995	DBLP DOI BibTeX RDF	data parallel code, translation methodology, high level algorithmic specification, imperative data parallel language, applicative caching, compilation method, incremental transformations, compilation steps, loop nest generation, scheduling, formal specification, parallel programming, static analysis, partitioning, code generation, functional programming, functional program, program compilers, alignment, parallel languages, functional languages, program interpreters, abstract syntax tree, ALPHA
29	Gabriel M. Silberman, Ilan Y. Spillinger	Functional Fault Simulation as a Guide for Biased-Random Test Pattern Generation.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	functional fault simulation, biased-random test pattern generation, implementation-level faults, functional-level description, combinational VLSI design, difference fault model, formal abstraction, nonuniformly random test patterns, backtracing process, VLSI, logic testing, fault simulation, fault location, combinatorial circuits, functional fault model
29	Jyotishman Pathak, Samik Basu 0001, Vasant G. Honavar	Modeling Web Services by Iterative Reformulation of Functional and Non-functional Requirements.	ICSOC	2006	DBLP DOI BibTeX RDF
29	Richard S. Bird	Fifteen years of functional pearls.	ICFP	2006	DBLP DOI BibTeX RDF
29	Beatriz Marín, Giovanni Giachetti, Oscar Pastor 0001	Measurement of Functional Size in Conceptual Models: A Survey of Measurement Procedures Based on COSMIC.	IWSM/Metrikon/Mensura	2008	DBLP DOI BibTeX RDF	Functional Size Procedures, Conceptual Models, Functional Size Measurement, COSMIC
29	Jennitta Andrea	Envisioning the Next Generation of Functional Testing Tools.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	functional test driven development (FTDD), executable acceptance test driven development (EATDD), story test driven development (STDD), example driven development, functional test tools
29	Kazumi Hatayama, Kazunori Hikone, Takeshi Miyazaki, Hiromichi Yamada	A practical approach to instruction-based test generation for functional modules of VLSI processors.	VTS	1997	DBLP DOI BibTeX RDF	VLSI processors, instruction-based test generation, functional test pattern generation, gate level faults, constrained test generation, ALU oriented test pattern generation system, VLSI, functional modules, ALPS
29	Michael V. Mannino, Injun Choi, Don S. Batory	The Object-Oriented Functional Data Language.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	object-oriented functional data language, interactive strongly typed database programming language, O/sup 2/FDL, equational notation, strong typing, type restrictions, type variables, function interfaces, monotonic subtype rule, function redefinition, extended lambda -calculus, software engineering, software engineering, object oriented programming, object-oriented programming, functional programming, inheritance, operational semantics, object-oriented languages, relational algebra, encapsulation, high level languages, denotational semantics
29	Martin Erwig	Fully Persistent Graphs - Which One To Choose?	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
29	Akiko Sakamoto, Takehito Utsuro, Suguru Matsuyoshi	Utilizing semantic equivalence classes of Japanese functional expressions in machine translation.	IUCS	2009	DBLP DOI BibTeX RDF	Japanese functional expressions, machine translation, polysemy, sense disambiguation
29	Baris Özkan, Oktay Türetken, Onur Demirörs	Software Functional Size: For Cost Estimation and More.	EuroSPI	2008	DBLP DOI BibTeX RDF	Software Project Management, Functional Size Measurement
29	Sven Apel, Christian Kästner, Don S. Batory	Program refactoring using functional aspects.	GPCE	2008	DBLP DOI BibTeX RDF	aspect-oriented refactoring, functional aspects, pseudo-commutativity, stepwise refinement, aspect interactions
29	Frank-Michael Schleif, Thomas Villmann, Barbara Hammer	Supervised Neural Gas for Classification of Functional Data and Its Application to the Analysis of Clinical Proteom Spectra.	IWANN	2007	DBLP DOI BibTeX RDF	supervised neural gas, clinical proteomics, spectra preprocessing, data analysis, functional, wavelet analysis
29	Steffen Göbel 0001, Christoph Pohl, Simone Röttger, Steffen Zschaler	The COMQUAD component model: enabling dynamic selection of implementations by weaving non-functional aspects.	AOSD	2004	DBLP DOI BibTeX RDF	QoS, adaptivity, components, AOSD, non-functional properties
29	Steffen Zschaler	Research Abstract: Semantic Concepts for the Specification of Non-Functional Properties of Component-Based Software.	ICSE	2004	DBLP DOI BibTeX RDF	Language Definition, Semantics, Specification, Component-Based Software, Non-functional Properties
29	Jixue Liu, Millist W. Vincent, Chengfei Liu	Local XML functional dependencies.	WIDM	2003	DBLP DOI BibTeX RDF	local functional dependency, relative keys, XML
29	Ralf Lämmel, Joost Visser 0001	Design patterns for functional strategic programming.	ACM SIGPLAN Workshop on Rule-Based Programming	2002	DBLP DOI BibTeX RDF	strafunski, design patterns, program transformation, program analysis, functional programming, generic programming, combinator libraries
29	Namseung Kim, Hoon Choi, Seungjong Lee, Seungwang Lee, In-Cheol Park, Chong-Min Kyung	Virtual Chip: Making Functional Models Work on Real Target Systems.	DAC	1998	DBLP DOI BibTeX RDF	reconstruction, emulation, visibility, functional simulation
29	Srinivas Devadas, Abhijit Ghosh, Kurt Keutzer	An observability-based code coverage metric for functional simulation.	ICCAD	1996	DBLP DOI BibTeX RDF	verification, code coverage, functional simulation
29	Ali Gholipour, Nasser Kehtarnavaz, Richard W. Briggs, Michael Devous, Kaundinya S. Gopinath	Brain Functional Localization: A Survey of Image Registration Techniques.	IEEE Trans. Medical Imaging	2007	DBLP DOI BibTeX RDF
29	Mark Denford, John Leaney, Tim O'Neill	Non-Functional Refinement of Computer Based Systems Architecture.	ECBS	2004	DBLP DOI BibTeX RDF
29	M. Nakata	Functional dependencies in fuzzy databases.	KES (2)	1997	DBLP DOI BibTeX RDF
29	Mark C. Hansen, John P. Hayes	High-level test generation using physically-induced faults.	VTS	1995	DBLP DOI BibTeX RDF	high-level test generation, physically-induced faults, industry-standard single stuck-line faults, independent functional faults, near-minimal size, fault diagnosis, logic testing, integrated circuit testing, design for testability, automatic testing, functional tests, failure analysis, benchmark circuits, circuit under test