The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase U-functional (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1946-1959 (17) 1960-1962 (18) 1963-1966 (18) 1967-1968 (18) 1969-1970 (21) 1971-1972 (18) 1973 (15) 1974 (17) 1975 (30) 1976 (20) 1977 (28) 1978 (38) 1979 (44) 1980 (44) 1981 (79) 1982 (113) 1983 (83) 1984 (135) 1985 (145) 1986 (198) 1987 (194) 1988 (251) 1989 (276) 1990 (324) 1991 (311) 1992 (383) 1993 (388) 1994 (392) 1995 (538) 1996 (512) 1997 (534) 1998 (633) 1999 (740) 2000 (833) 2001 (972) 2002 (1111) 2003 (1311) 2004 (1640) 2005 (1935) 2006 (2173) 2007 (2369) 2008 (2270) 2009 (1934) 2010 (1173) 2011 (1228) 2012 (1308) 2013 (1330) 2014 (1318) 2015 (1415) 2016 (1454) 2017 (1506) 2018 (1612) 2019 (1787) 2020 (1791) 2021 (1862) 2022 (1875) 2023 (1825) 2024 (348)
Publication types (Num. hits)
article(18090) book(80) data(3) incollection(261) inproceedings(25543) phdthesis(767) proceedings(211)
Venues (Conferences, Journals, ...)
NeuroImage(2079) CoRR(1526) Medical Imaging: Biomedical Ap...(722) ICFP(714) FIMH(611) EMBC(408) Bioinform.(387) J. Comput. Chem.(370) Brain Connect.(341) DAC(340) IFL(325) BMC Bioinform.(314) Nucleic Acids Res.(275) Appl. Math. Comput.(270) ISBI(265) FLOPS(251) More (+10 of total 5230)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 18711 occurrences of 6735 keywords

Results
Found 44956 publication records. Showing 44955 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
58Wenyu Zhang, Shu Beng Tor, G. A. Britton, Y.-M. Deng EFDEX: A Knowledge-Based Expert System for Functional Design of Engineering Systems. Search on Bibsonomy Eng. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Functional reasoning, Object-oriented, Expert system, Knowledge-based, Functional Modeling, Functional design
55Qiao Liu 0007, Keiichi Nakata, Kazuo Furuta Display Design of Process Systems Based on Functional Modelling. Search on Bibsonomy Cogn. Technol. Work. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Functional macro, Functional primitives, Process systems, Interface design, Functional modelling, Visual display
45Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. Search on Bibsonomy FLOPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Functional and Logic- Functional Programming, Logic, Lazy Evaluation, Declarative Languages, Higher Order
45Pranav Ashar, Sharad Malik Fast functional simulation using branching programs. Search on Bibsonomy ICCAD The full citation details ... 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
45Nobuo Shimizu, Masahiro Mizuta Functional Principal Points and Functional Cluster Analysis. Search on Bibsonomy Computational Intelligence Paradigms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Gaussian random functions, Orthogonal basis, Optimization, k-means clustering, Functional data analysis
45Nobuo Shimizu, Masahiro Mizuta Functional Clustering and Functional Principal Points. Search on Bibsonomy KES (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Optimization, k-means algorithm, Functional data analysis
44Qiao Liu 0007, Keiichi Nakata, Kazuo Furuta Making control systems visible. Search on Bibsonomy Cogn. Technol. Work. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Automatic control systems, Functional macro, Functional primitive, Interface design, Functional model
42Yunkang Liu Runge-Kutta-collocation methods for systems of functional-differential and functional equations. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 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
42Brent Hailpern, Tien Huynh, György E. Révész Comparing Two Functional Programming Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
42Jian Qing Shi, B. Wang Curve prediction and clustering with mixtures of Gaussian process functional regression models. Search on Bibsonomy Stat. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Curve clustering, Curve prediction, Gaussian process functional regression model, Allocation model, Batch data, Gaussian process, Functional data analysis
40Luigi Buglione, Çigdem Gencel Impact of Base Functional Component Types on Software Functional Size Based Effort Estimation. Search on Bibsonomy PROFES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Base Functional Component, Effort Estimation, Functional Size Measurement, COSMIC, International Software Benchmarking Standards Group (ISBSG)
39Hong Yao, Howard J. Hamilton Mining functional dependencies from data. Search on Bibsonomy Data Min. Knowl. Discov. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Discovering functional dependencies, Mining functional dependencies, Implication rule, FD_Mine, Data mining, Relational databases, Knowledge discovery, Functional dependencies
39Yan Zhang, Yi Liu, Le Zhang, Zhiyi Ma, Hong Mei 0001 Modeling and Checking for Non-functional Attributes in Extended UML Class Diagram. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF non-functional attributes, model checking, model driven development, UML class diagram
37Erin 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. Search on Bibsonomy HCI (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF quantitative usability analysis, functional brain imaging, functional near-infrared (fNIR), functional magnetic resonance imaging (fMRI)
37Levent V. Orman Functional Development of Database Applications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
37Tennyson X. Chen, Sean Shuangquan Liu, Martin D. Meyer, Donald Gotterbarn An introduction to functional independency in relational database normalization. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF functional independency, relational database design, sub-domain dependency, decomposition, functional dependency, attribute, normal form
37Fabrice Rossi, Brieuc Conan-Guez Theoretical Properties of Projection Based Multilayer Perceptrons with Functional Inputs. Search on Bibsonomy Neural Process. Lett. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF consistency, projection, multilayer perceptron, functional data analysis, universal approximation
37Gary S. H. Tan, Yong Meng Teo Experiences in simulating a declarative multiprocessor. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 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
36Prabhat Ranjan, Arun Kumar Misra A hybrid model for agent based system requirements analysis. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 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
35Luigi Buglione, Olga Ormandjieva, Maya Daneva Using PSU for Early Prediction of COSMIC Size of Functional and Non-functional Requirements. Search on Bibsonomy IWSM/Metrikon/Mensura The full citation details ... 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?. Search on Bibsonomy IWSM/Mensura The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Base Functional Component, Effort Estimation, Functional Size Measurement, International Software Benchmarking Standards Group (ISBSG), COSMIC-FFP
34Irith Pomeranz, Sudhakar M. Reddy Expanded Definition of Functional Operation Conditions and its Effects on the Computation of Functional Broadside Tests. Search on Bibsonomy VTS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF functional broadside tests, test generation, transition faults, reachable states, full-scan circuits
34Mark P. Jones Polymorphism and page tables: systems programming from a functional programmer's perspective. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF memory manipulation, functional programming, type systems, data representation, systems programming
34Haifeng Qian, Eduardo B. Fernández, Jie Wu 0001 A combined functional and object-oriented approach to software design. Search on Bibsonomy ICECCS The full citation details ... 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?. Search on Bibsonomy IWSM/Metrikon/Mensura The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Base Functional Component, Functionality, Effort Estimation, Functional Size Measurement, COSMIC
34Hee Beng Kuan Tan, Yong Yang 0002, Lei Bian Systematic Transformation of Functional Analysis Model into OO Design and Implementation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF design, model transformation, requirements analysis, object-oriented model, functional decomposition, Functional model
34Zafar U. Singhera, Abad Ali Shah Extended web services framework to meet non-functional requirements. Search on Bibsonomy ICWE Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Web services, framework, non-functional requirements
32John Longley When is a Functional Program Not a Functional Program? Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
32Sylvie Trudel, Alain Abran Improving Quality of Functional Requirements by Measuring Their Functional Size. Search on Bibsonomy IWSM/Metrikon/Mensura The full citation details ... 2008 DBLP  DOI  BibTeX  RDF inspection, review, FSM, Functional requirements, Functional size measurement, COSMIC
32Eelco Dolstra, Andres Löh NixOS: a purely functional Linux distribution. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF NixOS, nix, package management, purely functional deployment model, purely functional language, system configuration management, software deployment
32Olaf Chitil Common Subexpressions Are Uncommon in Lazy Functional Languages. Search on Bibsonomy Implementation of Functional Languages The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
32A. V. S. Sastry, William D. Clinger Parallel Destructive Updating in Strict Functional Languages. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
32Tyng-Ruey Chuang A Randomized Implementation of Multiple Functional Arrays. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
32J Strother Moore Functional formal methods. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF functional programming, Java Virtual Machine, microarchitecture, software verification, Common Lisp, hardware verification, mechanical theorem proving
32R. Govindarajan Exception Handlers in Functional Programming Languages. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
32Cássio L. Rodrigues, Karina R. G. da Silva, Henrique do N. Cunha Improving functional verification of embedded systems using hierarchical composition and set theory. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF hierarchical composition, embedded systems, set theory, functional verification, functional coverage
32Baris Özkan, Onur Demirörs Formalization Studies in Functional Size Measurement: How Do They Help? Search on Bibsonomy IWSM/Mensura The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Software Functional Size Measurement, Functional Size Measurement Methods, Formalization, Software Models
32Dan Xue, Long Liang, Jingyuan Yin Analysis and Prediction of Global and Subfamily-specific Functional Sites in Bioaminergic Receptors. Search on Bibsonomy BMEI (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Bioaminergic receptors, Global functional sites, Subfamily-specific functional sites
32Leonardo Bobadilla, Fernando Niño, Edilberto Cepeda, Manuel A. Patarroyo A Novel Methodology for Characterizing and Predicting Protein Functional Sites. Search on Bibsonomy BIBM The full citation details ... 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
32Lei Ye 0012, Bin Zhang 0001 Web Service Discovery Based on Functional Semantics. Search on Bibsonomy SKG The full citation details ... 2006 DBLP  DOI  BibTeX  RDF web services functional semantic description model, domain-oriented functional ontology and semantic annotation, web service
32Pascual Julián Iranzo, Christian Villamizar Lamus Analysing Definitional Trees: Looking for Determinism. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF narrowing strategies, implementation of functional logic languages, program transformation, Functional logic programming
32Xavier Franch, Pere Botella Supporting software maintenance with non-functional information. Search on Bibsonomy CSMR The full citation details ... 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
32Irith Pomeranz, Sudhakar M. Reddy Functional test generation for delay faults in combinational circuits. Search on Bibsonomy ICCAD The full citation details ... 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
31Solmaz Kolahi, Laks V. S. Lakshmanan On approximating optimum repairs for functional dependency violations. Search on Bibsonomy ICDT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF functional dependency violation, approximation algorithm, repair, inconsistent databases
31Hannu Mäyrä, Mauno Rönkkö Reverse Engineering Functional Classes: A Middleware Case Study. Search on Bibsonomy ITNG The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Functional Classes, Middleware, Reverse Engineering, Decompilation, Java Bytecode
31Masahiro Mizuta, June Kato Functional Data Analysis and Its Application. Search on Bibsonomy RSKT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Functional Clustering, Music Broadcast Data, Power Law
31Jocelyn Marchadier, Walter G. Kropatsch Functional Modeling of Structured Images. Search on Bibsonomy GbRPR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF code, model selection, hypergraph, functional model, graph representation
31Y.-M. Deng, Shu Beng Tor, G. A. Britton Abstracting and Exploring Functional Design Information for Conceptual Mechanical Product Design. Search on Bibsonomy Eng. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Input-output flow-of-action, Mechanical product design, Design information, Functional design
31María Alpuente, Moreno Falaschi, Germán Vidal Partial Evaluation of Functional Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation
30Adora 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. Search on Bibsonomy Medical Imaging: Biomedical Applications in Molecular, Structural, and Functional Imaging The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
30Xixi 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. Search on Bibsonomy Medical Imaging: Biomedical Applications in Molecular, Structural, and Functional Imaging The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
30Simon P. Booth, Simon B. Jones Towards a Purely Functional Debugger for Functional Programs. Search on Bibsonomy Functional Programming The full citation details ... 1995 DBLP  BibTeX  RDF
30Philip Wadler Monads for Functional Programming. Search on Bibsonomy Advanced Functional Programming The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
30Erik Meijer 0001, Johan Jeuring Merging Monads and Folds for Functional Programming. Search on Bibsonomy Advanced Functional Programming The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
30John Launchbury Graph Algorithms with a Functional Flavous. Search on Bibsonomy Advanced Functional Programming The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
30Jeroen Fokker Functional Parsers. Search on Bibsonomy Advanced Functional Programming The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
30Mark P. Jones Functional Programming with Overloading and Higher-Order Polymorphism. Search on Bibsonomy Advanced Functional Programming The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
30Marko C. J. D. van Eekelen, Marinus J. Plasmeijer Constructing Medium Sized Efficient Functional Programs in Clean. Search on Bibsonomy Advanced Functional Programming The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
30Peter Achten, John H. G. van Groningen, Marinus J. Plasmeijer High Level Specification of I/O in Functional Languages. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
30Patrick M. Sansom, Simon L. Peyton Jones Profiling Lazy Functional Programs. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
30Colin Runciman, David Wakeling Heap Profiling of a Lazy Functional Compiler. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
30Kevin Hammond, Dave McNally, Patrick M. Sansom, Philip W. Trinder Improving Persistent Data Manipulation for Functional Languages. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
30Ben A. Sijtsma Requirements for a Functional Programming Environment. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
30Colin Runciman TIP in Haskell - another Exercise in Functional Programming. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
30Geoffrey Livingston Burn The Abstract interpretation of Higher-Order Functional Languages: From Properties to Abstract Domains (Technical Summary). Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
30Geoff W. Hamilton, Simon B. Jones Extending Deforestation for First Order functional Programs. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
30Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder A Parallel Functional Database on GRIP. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
30Manfred Schmidt-Schauß External Function Calls in a Functional Language. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
30David Sands Operational Theories of Improvement in Functional Languages (Extended Abstract). Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
30Nick Rothwell Functional Compilation from the Standard ML Core Language to Lambda Calculus. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
29Johan Fredriksson, Massimo Tivoli, Ivica Crnkovic A component-based development framework for supporting functional and non-functional analysis in control system design. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF non functional analysis, control systems, real time embedded systems, functional analysis
29Rinus Plasmeijer, Arjen van Weelden A Functional Shell That Operates on Typed and Compiled Applications. Search on Bibsonomy Advanced Functional Programming The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes 0001, Malcolm Wallace Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. Search on Bibsonomy Advanced Functional Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
29Graeme E. Moss, Colin Runciman Auburn: A Kit for Benchmarking Functional Data Structures. Search on Bibsonomy Implementation of Functional Languages The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
29Peter Achten, Marinus J. Plasmeijer Interactive Functional Objects in Clean. Search on Bibsonomy Implementation of Functional Languages The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
29Wei-Ngan Chin Safe Fusion of Functional Expressions. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
29Charles Consel Binding Time Analysis for High Order Untyped Functional Languages. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1990 DBLP  DOI  BibTeX  RDF SCHEME
29Patrice Quinton, Sanjay V. Rajopadhye, Doran Wilde On deriving data parallel code from a functional program. Search on Bibsonomy IPPS The full citation details ... 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
29Gabriel M. Silberman, Ilan Y. Spillinger Functional Fault Simulation as a Guide for Biased-Random Test Pattern Generation. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
29Jyotishman Pathak, Samik Basu 0001, Vasant G. Honavar Modeling Web Services by Iterative Reformulation of Functional and Non-functional Requirements. Search on Bibsonomy ICSOC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Richard S. Bird Fifteen years of functional pearls. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Beatriz Marín, Giovanni Giachetti, Oscar Pastor 0001 Measurement of Functional Size in Conceptual Models: A Survey of Measurement Procedures Based on COSMIC. Search on Bibsonomy IWSM/Metrikon/Mensura The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Functional Size Procedures, Conceptual Models, Functional Size Measurement, COSMIC
29Jennitta Andrea Envisioning the Next Generation of Functional Testing Tools. Search on Bibsonomy IEEE Softw. The full citation details ... 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
29Kazumi Hatayama, Kazunori Hikone, Takeshi Miyazaki, Hiromichi Yamada A practical approach to instruction-based test generation for functional modules of VLSI processors. Search on Bibsonomy VTS The full citation details ... 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
29Michael V. Mannino, Injun Choi, Don S. Batory The Object-Oriented Functional Data Language. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
29Martin Erwig Fully Persistent Graphs - Which One To Choose? Search on Bibsonomy Implementation of Functional Languages The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
29Akiko Sakamoto, Takehito Utsuro, Suguru Matsuyoshi Utilizing semantic equivalence classes of Japanese functional expressions in machine translation. Search on Bibsonomy IUCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Japanese functional expressions, machine translation, polysemy, sense disambiguation
29Baris Özkan, Oktay Türetken, Onur Demirörs Software Functional Size: For Cost Estimation and More. Search on Bibsonomy EuroSPI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Software Project Management, Functional Size Measurement
29Sven Apel, Christian Kästner, Don S. Batory Program refactoring using functional aspects. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF aspect-oriented refactoring, functional aspects, pseudo-commutativity, stepwise refinement, aspect interactions
29Frank-Michael Schleif, Thomas Villmann, Barbara Hammer Supervised Neural Gas for Classification of Functional Data and Its Application to the Analysis of Clinical Proteom Spectra. Search on Bibsonomy IWANN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF supervised neural gas, clinical proteomics, spectra preprocessing, data analysis, functional, wavelet analysis
29Steffen Göbel 0001, Christoph Pohl, Simone Röttger, Steffen Zschaler The COMQUAD component model: enabling dynamic selection of implementations by weaving non-functional aspects. Search on Bibsonomy AOSD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF QoS, adaptivity, components, AOSD, non-functional properties
29Steffen Zschaler Research Abstract: Semantic Concepts for the Specification of Non-Functional Properties of Component-Based Software. Search on Bibsonomy ICSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Language Definition, Semantics, Specification, Component-Based Software, Non-functional Properties
29Jixue Liu, Millist W. Vincent, Chengfei Liu Local XML functional dependencies. Search on Bibsonomy WIDM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF local functional dependency, relative keys, XML
29Ralf Lämmel, Joost Visser 0001 Design patterns for functional strategic programming. Search on Bibsonomy ACM SIGPLAN Workshop on Rule-Based Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF strafunski, design patterns, program transformation, program analysis, functional programming, generic programming, combinator libraries
29Namseung Kim, Hoon Choi, Seungjong Lee, Seungwang Lee, In-Cheol Park, Chong-Min Kyung Virtual Chip: Making Functional Models Work on Real Target Systems. Search on Bibsonomy DAC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF reconstruction, emulation, visibility, functional simulation
29Srinivas Devadas, Abhijit Ghosh, Kurt Keutzer An observability-based code coverage metric for functional simulation. Search on Bibsonomy ICCAD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF verification, code coverage, functional simulation
29Ali Gholipour, Nasser Kehtarnavaz, Richard W. Briggs, Michael Devous, Kaundinya S. Gopinath Brain Functional Localization: A Survey of Image Registration Techniques. Search on Bibsonomy IEEE Trans. Medical Imaging The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Mark Denford, John Leaney, Tim O'Neill Non-Functional Refinement of Computer Based Systems Architecture. Search on Bibsonomy ECBS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29M. Nakata Functional dependencies in fuzzy databases. Search on Bibsonomy KES (2) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
29Mark C. Hansen, John P. Hayes High-level test generation using physically-induced faults. Search on Bibsonomy VTS The full citation details ... 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
Displaying result #1 - #100 of 44955 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license