Search results for "functional"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	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
5	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
5	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
5	Erin M. Nishimura, Evan D. Rapoport, Benjamin A. Darling, Jason P. Cervenka, Jeanine Stefanucci, Dennis Proffitt, Traci H. Downs, J. Hunter Downs	Functional Brain Imaging for Analysis of Reading Effort for Computer-Generated Text.	HCI	2007	DBLP DOI BibTeX RDF	quantitative usability analysis, functional brain imaging, functional near-infrared (fNIR), functional magnetic resonance imaging (fMRI)
5	Q. Liu, K. Nakata, K. Furuta	Display Design of Process Systems Based on Functional Modelling.	Cognition, Technology & Work	2002	DBLP DOI BibTeX RDF	Functional macro, Functional primitives, Process systems, Interface design, Functional modelling, Visual display
5	WenYu Zhang, S. B. Tor, G. A. Britton, Y.-M. Deng	EFDEX: A Knowledge-Based Expert System for Functional Design of Engineering Systems.	Eng. Comput. (Lond.)	2001	DBLP DOI BibTeX RDF	Functional reasoning, Object-oriented, Expert system, Knowledge-based, Functional Modeling, Functional design
5	Haifeng Qian, Eduardo B. Fernández, Jie Wu	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
5	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
5	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
5	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
4	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
4	Rehema Baguma, Roger G. Stone, Jude T. Lubega, Theo P. van der Weide	Integrating Accessibility and Functional Requirements.	HCI	2009	DBLP DOI BibTeX RDF	Web accessibility requirements, Web accessibility, non functional requirements, functional requirements
4	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
4	Curt J. Sampson	Experience report: Haskell in the 'real world': writing a commercial application in a lazy functional lanuage.	ICFP	2009	DBLP DOI BibTeX RDF	commercial programming, financial systems, functional programming, haskell
4	Neil Sculthorpe, Henrik Nilsson	Safe functional reactive programming through dependent types.	ICFP	2009	DBLP DOI BibTeX RDF	DSELS, FRP, synchronous data-flow, functional programming, domain-specific languages, dependent types, reactive programming
4	J. Q. Shi, B. Wang	Curve prediction and clustering with mixtures of Gaussian process functional regression models.	Statistics and Computing	2008	DBLP DOI BibTeX RDF	Curve clustering, Curve prediction, Gaussian process functional regression model, Allocation model, Batch data, Gaussian process, Functional data analysis
4	Abhijit Jas, Yi-Shing Chang, Sreejit Chakravarty	A Methodology for Handling Complex Functional Constraints for Large Industrial Designs.	J. Electronic Testing	2008	DBLP DOI BibTeX RDF	Untestability analysis, Pseudo-functional tests, Functional constraints
4	Dan Xue, Long Liang, Jingyuan Yin	Analysis and Prediction of Global and Subfamily-specific Functional Sites in Bioaminergic Receptors.	BMEI	2008	DBLP DOI BibTeX RDF	Bioaminergic receptors, Global functional sites, Subfamily-specific functional sites
4	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)
4	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
4	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
4	Ç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
4	Beatriz Marín, Giovanni Giachetti, Oscar Pastor	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
4	Sungwoo Park, Jinha Kim, Hyeonseung Im	Functional netlists.	ICFP	2008	DBLP DOI BibTeX RDF	linear type system, functional language, hardware description language
4	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
4	Jennitta Andrea	Envisioning the Next Generation of Functional Testing Tools.	IEEE Software	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
4	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
4	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
4	Ç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
4	Damien Sereni	Termination analysis and call graph construction for higher-order functional programs.	ICFP	2007	DBLP DOI BibTeX RDF	semantics, program analysis, functional programs, termination
4	Hee Beng Kuan Tan, Yong Yang, 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
4	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
4	Lei Ye, 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
4	Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio	Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages.	IFL	2006	DBLP DOI BibTeX RDF	Parallel functional programming, semantics, skeletons
4	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
4	Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich	PolyAML: a polymorphic aspect-oriented functional programming language.	ICFP	2005	DBLP DOI BibTeX RDF	aspects-oriented programming, functional programming, type systems, type inference, ad-hoc polymorphism
4	Henrik Nilsson	Dynamic optimization for functional reactive programming using generalized algebraic data types.	ICFP	2005	DBLP DOI BibTeX RDF	DSEL, FRP, Yampa, synchronous dataflow languages, functional programming, domain-specific languages, Haskell, reactive programming, GADT, combinator library, arrows
4	Rafael Caballero	A declarative debugger of incorrect answers for constraint functional-logic programs.	WCFLP	2005	DBLP DOI BibTeX RDF	functional-logic languages, declarative debugging
4	Andrew P. Tolmach, Sergio Antoy, Marius Nita	Implementing functional logic languages using multiple threads and stores.	ICFP	2004	DBLP DOI BibTeX RDF	functional logic languages, multi-versioned stores, residuation, narrowing
4	Markus Forsberg, Aarne Ranta	Functional morphology.	ICFP	2004	DBLP DOI BibTeX RDF	finite functions, morphological description, functional programming, linguistics, embedded languages
4	Rinus Plasmeijer, Arjen van Weelden	A Functional Shell That Operates on Typed and Compiled Applications.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
4	Simon J. Thompson	Refactoring Functional Programs.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
4	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
4	Qiao Liu, Keiichi Nakata, Kazuo Furuta	Making control systems visible.	Cognition, Technology & Work	2004	DBLP DOI BibTeX RDF	Automatic control systems, Functional macro, Functional primitive, Interface design, Functional model
4	Henrik Nilsson	Functional automatic differentiation with dirac impulses.	ICFP	2003	DBLP DOI BibTeX RDF	Dirac impulses, FRP, distribution theory, synchronous dataflow languages, functional programming, haskell, modeling languages, automatic differentiation, hybrid modeling
4	Keith Hanna	Interactive visual functional programming.	ICFP	2002	DBLP DOI BibTeX RDF	visual, interactive, Haskell, functional, live, edit, stylesheet
4	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
4	Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson	Arrows, Robots, and Functional Reactive Programming.	Advanced Functional Programming	2002	DBLP DOI BibTeX RDF
4	Philip Wadler	XQuery: A Typed Functional Language for Querying XML.	Advanced Functional Programming	2002	DBLP DOI BibTeX RDF
4	Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace	Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat.	Advanced Functional Programming	2002	DBLP DOI BibTeX RDF
4	César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana	Incremental Learning of Functional Logic Programs.	FLOPS	2001	DBLP DOI BibTeX RDF	Inductive functional logic programming (IFLP), incremental learning, theory revision, inductive logic programming (ILP)
4	WoonKiong Tan	A semantic model of a small typed functional language using Object-Z.	APSEC	2000	DBLP DOI BibTeX RDF	typed functional language, Object-Z notation, object-oriented procedural languages, programming languages, specification languages, specification languages, object-oriented languages, abstract data types, object-oriented methods, functional languages, denotational semantics, semantic model, programming language semantics, meta-language
4	Sukhamay Kundu	The concept of path-closed subsets and its use in software functional design.	APSEC	2000	DBLP DOI BibTeX RDF	path-closed subsets, software functional design, software engineering, data structures, data structures, data flow analysis, diagrams, partial order, functional decomposition, equivalence relation, function blocks, dataflow diagram
4	José Vicente Calvano, Vladimir Castro Alves, Marcelo Lubaszewski	Testing a PWM circuit using functional fault models and compact test vectors for operational amplifiers.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	PWM circuit, compact test vectors, analog VLSI technology, functional fault macromodels, compact test vector construction, open loop gain, CMMR, analog circuit simulation complexity, VLSI, integrated circuit testing, design for testability, automatic test pattern generation, fault modeling, fault simulation, fault simulation, operational amplifiers, operational amplifiers, test pattern, functional fault models, analogue circuits, fault dictionary, pulse width modulation, slew-rate
4	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
4	Hany H. Ammar, T. Nikzadeh, Joanne Bechta Dugan	A Methodology For Risk Assessment Of Functional Specification Of Software Systems Using Colored Petri Nets.	IEEE METRICS	1997	DBLP DOI BibTeX RDF	software systems analysis, complex real time software systems, analysis/design phase, heuristic risk assessment technique, severity measures, heuristic risk factor, software functional specifications, dynamic complexity measures, concurrency complexity, severity analysis, failure mode and effect analysis, software metrics, software components, risk assessment, colored Petri nets, functional specification, complexity metrics, large scale software system
4	Lijun Dong, Jiafu Xu	Formal semantics of some functional constructs of the software requirements definition language NDRDL. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	functional constructs, software requirements definition language, NDRDL, source language, software requirements analysis support system, NDRASS, specification languages, diagrams, formal semantics, functional requirements, nonfunctional requirements
4	Kazumi Hatayama, Kazunori Hikone, T. Miyazaki, H. 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
4	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
4	Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper	Programming in the Large: The Algebraic-Functional Language Opal 2alpha.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
4	Peter Achten, Marinus J. Plasmeijer	Interactive Functional Objects in Clean.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
4	Olaf Chitil	Common Subexpressions Are Uncommon in Lazy Functional Languages.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
4	Hans-Wolfgang Loidl, Richard G. Morgan, Philip W. Trinder, Sanjay Poria, Chris Cooper, Simon L. Peyton Jones, Roberto Garigliano	Parallelising a Large Functional Program or: Keeping LOLITA Busy.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
4	Jan Sparud, Colin Runciman	Complete and Partial Redex Trails of Functional Computations.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
4	Graeme E. Moss, Colin Runciman	Auburn: A Kit for Benchmarking Functional Data Structures.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
4	Robert Ayres, Peter J. H. King	Querying Graph Databases Using a Functional Language Extended with Second Order Facilities.	BNCOD	1996	DBLP DOI BibTeX RDF	functional databases, functional programming, semantic networks, Graph-databases
4	Suzanne Liebowitz Taylor, Mark Lipshutz, Roslyn Weidner Nilson	Classification and functional decomposition of business documents. (PDF / PS)	ICDAR	1995	DBLP DOI BibTeX RDF	business documents, functional landmarks, image classification, document classification, functional decomposition
4	Patrice Quinton, Sanjay V. Rajopadhye, Doran Wilde	On deriving data parallel code from a functional program. (PDF / PS)	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
4	Eric J. Pauwels, Peter Fiddelaers, Luc J. Van Gool	Shape Extraction for Curves Using Geometry-Driven Diffusion and Functional Optimization. (PDF / PS)	ICCV	1995	DBLP DOI BibTeX RDF	noise abatement, curve shape-extraction, geometry-driven diffusion, closed curves, straight line segments, angle-function, one-dimensional representation, constrained evolution equations, feature extraction, computational geometry, optimisation, functional optimization, curve-evolution, corners, noise suppression, Mumford-Shah functional
4	Mandyam-Komar Srinivas, James Jacob, Vishwani D. Agrawal	Functional test generation for non-scan sequential circuits.	VLSI Design	1995	DBLP DOI BibTeX RDF	nonscan sequential circuits, functional test vectors, growth and disappearance fault model, complete stuck fault coverage, algebraic transformations, synthesized FSMs, VLSI, fault diagnosis, logic testing, finite state machines, integrated circuit testing, sequential circuits, automatic testing, functional test generation
4	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
4	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
4	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
4	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
4	Jaroslaw Milewski	Functional Data Structures as Updatable Objects.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	continuous data copying, functional data structures, updatable objects, incremental structures, associated storage, shared structures, source program analysis, nondeterministic applications, parallel programming, data structures, functional programming, data dependencies, applicative programming, system programming
4	Marco Bellia	Retractions: A Functional Paradigm for Logic Programming.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF	Predicative and functional languages, symbolic expressions, lambda_calculus, Horn clause theories, Herbrand terms, computable sets, relations, retractions
3	Matthew Might, Yannis Smaragdakis, David Van Horn	Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis.	PLDI	2010	DBLP DOI BibTeX RDF	k-cfa, m-cfa, object-oriented, static analysis, functional, pointer analysis, control-flow analysis
3	Françoise Gire, Hicham Idabal	Regular tree patterns: a uniform formalism for update queries and functional dependencies in XML.	EDBT/ICDT Workshops	2010	DBLP DOI BibTeX RDF	regular tree pattern, update query, XML, functional dependency
3	Dewi Mairiza, Didar Zowghi, Nur Nurmuliani	An investigation into the notion of non-functional requirements.	SAC	2010	DBLP DOI BibTeX RDF	type of system, classification, types, non-functional requirements, application domain
3	Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer	Exploiting non-functional preferences in architectural adaptation for self-managed systems.	SAC	2010	DBLP DOI BibTeX RDF	software architecture, dynamic reconfiguration, self-adaptive, autonomous systems, non-functional properties
3	ByongChan Lim, Jaeha Kim, Mark A. Horowitz	An efficient test vector generation for checking analog/mixed-signal functional models.	DAC	2010	DBLP DOI BibTeX RDF	linear abstraction, validation, equivalence checking, verilog, functional model, test vector, mixed-signal circuits
3	Marco T. Morazán	Functional Video Games in the CS1 Classroom.	Trends in Functional Programming	2010	DBLP DOI BibTeX RDF
3	Pieter W. M. Koopman, Rinus Plasmeijer	Testing with Functional Reference Implementations.	Trends in Functional Programming	2010	DBLP DOI BibTeX RDF
3	Kenichi Asai, Arisa Kitani	Functional derivation of a virtual machine for delimited continuations.	PPDP	2010	DBLP DOI BibTeX RDF	cps transformation, functional derivation, virtual machine, delimited continuation, defunctionalization
3	Khalid T. Al-Sarayreh, Alain Abran	A Generic Model for the Specification of Software Interface Requirements and Measurement of Their Functional Size.	SERA	2010	DBLP DOI BibTeX RDF	Interface requirements, Functional size, Non functional requirements (NFR), COSMIC
3	Heon-Mo Koo, Prabhat Mishra	Functional test generation using design and property decomposition techniques.	ACM Trans. Embedded Comput. Syst.	2009	DBLP DOI BibTeX RDF	design decomposition, property decomposition, Model checking, test generation, pipelined processor, functional validation
3	Dominik Slezak	Rough Sets and Functional Dependencies in Data: Foundations of Association Reducts.	Transactions on Computational Science	2009	DBLP DOI BibTeX RDF	Approximate Functional Dependencies, Rough Sets, Reducts
3	Iasson Karafyllis, Zhong-Ping Jiang	Stability and control of nonlinear systems described by retarded functional equations: a review of recent results.	Science in China Series F: Information Sciences	2009	DBLP DOI BibTeX RDF	retarded functional equations, stability, Lyapunov functions, Lyapunov functionals, nonlinear control
3	José Juan Tapia, Edgar E. Vallejo, Enrique Morett	MOCEA: a multi-objective clustering evolutionary algorithm for inferring protein-protein functional interactions.	GECCO	2009	DBLP DOI BibTeX RDF	clustering genetic algorithms, genomic context, phylogenetic profiling, protein-protein functional prediction
3	Kamil Pietak, Adam Wos, Aleksander Byrski, Marek Kisiel-Dorohinicki	Functional Integrity of Multi-agent Computational System Supported by Component-Based Implementation.	HoloMAS	2009	DBLP DOI BibTeX RDF	functional integrity, mutli-agent systems, components
3	Richárd Legéndi, László Gulyás, Rajmund Bocsi, Tamás Máhr	Modeling Autonomous Adaptive Agents with Functional Language for Simulations.	EPIA	2009	DBLP DOI BibTeX RDF	El Farol Bar problem, Functional programming, agent-based simulations, multi-formalism
3	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
3	Alberto Muñoz, Javier González	Combining Functional Data Projections for Time Series Classification.	CIARP	2009	DBLP DOI BibTeX RDF	Functional data, Kernel Combination, Classifier Fusion, Reproducing Kernel Hilbert Spaces, Regularization Theory
3	George Sobral Silveira, Alisson Vasconcelos De Brito, Elmar U. K. Melcher	Functional verification of power gate design in SystemC RTL.	SBCCI	2009	DBLP DOI BibTeX RDF	simulation, SystemC, RTL, functional verification, power gate
3	Sergio Tafur, Ivan A. Mikhailov, Kevin D. Belfield, Artëm E. Masunov	Predictions of Two Photon Absorption Profiles Using Time-Dependent Density Functional Theory Combined with SOS and CEO Formalisms.	ICCS	2009	DBLP DOI BibTeX RDF	conjugated chromophores, two-photon absorption, time-dependent density functional theory, coupled electronic oscillators, sum over states, Tamm-Dancoff approximation, structure-activity relationship
3	Ivan A. Mikhailov, Artëm E. Masunov	Theoretical Photochemistry of the Photochromic Molecules Based on Density Functional Theory Methods.	ICCS	2009	DBLP DOI BibTeX RDF	Time Dependent Density Functional Theory, Photochromism, Photoswitching, Optical Data Storage, Double excited state, Theoretical Photochemistry, Two-photon Absorption, Rational Materials design
3	Gyun-Tack Bae, Randall W. Hall	Density Functional Calculation of the Structure and Electronic Properties of CunOn (n=1-4) Clusters.	ICCS	2009	DBLP DOI BibTeX RDF	copper oxide clusters, Density functional theory
3	Pansy D. Patel, Artëm E. Masunov	Time-Dependent Density Functional Theory Study of Structure-Property Relationships in Diarylethene Photochromic Compounds.	ICCS	2009	DBLP DOI BibTeX RDF	photochromism, electronic spectra, bond length alternation, molecular structure, density functional theory
3	Oscar Romero, Diego Calvanese, Alberto Abelló, Mariano Rodriguez-Muro	Discovering functional dependencies for multidimensional design.	DOLAP	2009	DBLP DOI BibTeX RDF	ontologies, functional dependencies, multidimensional design
3	Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz	Qualified Computations in Functional Logic Programming.	ICLP	2009	DBLP DOI BibTeX RDF	Constraints, Program Transformation, Rewriting Logic, Functional Logic Programming, Qualification