Stem function$ (all stems)

2498 papers:

CBSE-2015-KesselA #component

Measuring the Superfluous Functionality in Software Components (MK, CA), pp. 11–20.

CASE-2015-JeongMS #composition #design #functional #requirements

Product modularity to jointly address functional and ecological requirements in the early design stage (MGJ, JRM, HWS), pp. 33–38.

DAC-2015-ChangHLW #analysis #encoding #functional #named

TA-FTA: transition-aware functional timing analysis with a four-valued encoding (JCCC, RHMH, LYZL, CHPW), p. 6.

DAC-2015-CiesielskiYBLR #verification

Verification of gate-level arithmetic circuits by function extraction (MJC, CY, WB, DL, AR), p. 6.

DAC-2015-Foster #functional #industrial #roadmap #verification

Trends in functional verification: a 2014 industry study (HDF), p. 6.

DAC-2015-NishimiyaSS #evaluation #functional #interface #mockup #modelling #network

Evaluation of functional mock-up interface for vehicle power network modeling (KN, TS, SS), p. 6.

DAC-2015-Pomeranz #generative #testing

Generation of close-to-functional broadside tests with equal primary input vectors (IP), p. 6.

DAC-2015-ShererRO #functional #safety

Ensuring functional safety compliance for ISO 26262 (ADS, JR, RO), p. 3.

DAC-2015-XuLP #adaptation #modelling #physics #statistics #using

Adaptive characterization and emulation of delay-based physical unclonable functions using statistical models (TX, DL, MP), p. 6.

DATE-2015-BerryhillV #automation #functional

Automated rectification methodologies to functional state-space unreachability (RB, AGV), pp. 1401–1406.

DATE-2015-HashemianSWWCP #array #authentication #robust #using

A robust authentication methodology using physically unclonable functions in DRAM arrays (MSH, BPS, FGW, DJW, SC, CAP), pp. 647–652.

DATE-2015-JiRML #hardware #implementation #logic #network #probability #using

A hardware implementation of a radial basis function neural network using stochastic logic (YJ, FR, CM, DJL), pp. 880–883.

DATE-2015-KonstantinouKM #encryption #functional #privacy #verification

Privacy-preserving functional IP verification utilizing fully homomorphic encryption (CK, AK, MM), pp. 333–338.

DATE-2015-LeeJG #functional #hardware #performance #simulation

Dynamic power and performance back-annotation for fast and accurate functional hardware simulation (DL, LKJ, AG), pp. 1126–1131.

DATE-2015-ParkAHYL #big data #energy #gpu #low cost #memory management #performance

Memory fast-forward: a low cost special function unit to enhance energy efficiency in GPU for big data processing (EP, JA, SH, SY, SL), pp. 1341–1346.

DATE-2015-RustLP #approximate #architecture

QR-decomposition architecture based on two-variable numeric function approximation (JR, FL, SP), pp. 892–895.

DATE-2015-RustP #approximate #design #multi

Design method for multiplier-less two-variable numeric function approximation (JR, SP), pp. 948–953.

DATE-2015-TouatiBDGVBR #functional #power management #source code #testing

Exploring the impact of functional test programs re-used for power-aware testing (AT, AB, LD, PG, AV, PB, MSR), pp. 1277–1280.

PODS-2015-GottlobPS #dependence

Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability (GG, RP, ES), pp. 65–77.

SIGMOD-2015-PengW #probability #query

k-Hit Query: Top-k Query with Probabilistic Utility Function (PP, RCWW), pp. 577–592.

SIGMOD-2015-ZhangCPSX #graph #statistics #using

Private Release of Graph Statistics using Ladder Functions (JZ, GC, CMP, DS, XX), pp. 731–745.

VLDB-2015-LeisKK0 #performance #query #sql

Efficient Processing of Window Functions in Analytical SQL Queries (VL, KK, AK, TN), pp. 1058–1069.

VLDB-2015-PapenbrockEMNRZ #algorithm #dependence #evaluation #functional

Functional Dependency Discovery: An Experimental Evaluation of Seven Algorithms (TP, JE, JM, TN, JPR, MS, JZ, FN), pp. 1082–1093.

ITiCSE-2015-UraiUO #analysis #distributed #programming

Enhancements to Support Functions of Distributed Pair Programming Based on Action Analysis (TU, TU, NO), pp. 177–182.

ESOP-2015-EberlHN #compilation #probability

A Verified Compiler for Probability Density Functions (ME, JH, TN), pp. 80–104.

ESOP-2015-VasconcelosJFH #analysis #functional #lazy evaluation #recursion #type system

Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages (PBV, SJ, MF, KH), pp. 787–811.

TACAS-2015-SebastianiT #cost analysis #modulo theories #optimisation

Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions (RS, PT), pp. 335–349.

TACAS-2015-TschannenFNP #functional #named #object-oriented #source code #verification

AutoProof: Auto-Active Functional Verification of Object-Oriented Programs (JT, CAF, MN, NP), pp. 566–580.

ICPC-2015-KhadkeRS #functional #testing #workflow

Recovering workflows from functional tests (CK, SR, VS), pp. 287–288.

ICSME-2015-BinkleyBIJV #clustering #dependence

Uncovering dependence clusters and linchpin functions (DB, ÁB, SSI, JJ, BV), pp. 141–150.

MSR-2015-ZouXGYYZ #analysis #developer #empirical #non-functional #requirements #stack overflow #topic #using

Which Non-functional Requirements Do Developers Focus On? An Empirical Study on Stack Overflow Using Topic Analysis (JZ, LX, WG, MY, DY, XZ), pp. 446–449.

SANER-2015-LianZ #feature model #non-functional #product line #requirements #towards

Optimized feature selection towards functional and non-functional requirements in Software Product Lines (XL, LZ), pp. 191–200.

SANER-2015-QiuSM #graph #identification #library #morphism #using

Library functions identification in binary code by using graph isomorphism testings (JQ, XS, PM), pp. 261–270.

SCAM-2015-NicolayNRM #detection #javascript

Detecting function purity in JavaScript (JN, CN, CDR, WDM), pp. 101–110.

PEPM-2015-AsadaS0 #first-order #functional #refinement #relational #source code #verification

Verifying Relational Properties of Functional Programs by First-Order Refinement (KA, RS, NK), pp. 61–72.

PEPM-2015-KootH #analysis #exception #functional #higher-order #semantics #strict #type system

Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics (RK, JH), pp. 127–138.

PEPM-2015-VerstoepH #analysis #functional #higher-order #strict

Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement (HV, JH), pp. 139–142.

PLDI-2015-GonnordMR #ranking #synthesis #using

Synthesis of ranking functions using extremal counterexamples (LG, DM, GR), pp. 608–618.

STOC-2015-AlwenS #complexity #graph #parallel

High Parallel Complexity Graphs and Memory-Hard Functions (JA, VS), pp. 595–603.

STOC-2015-BansalGG #graph #independence #on the #set

On the Lovász Theta function for Independent Sets in Sparse Graphs (NB, AG, GG), pp. 193–200.

STOC-2015-ChenDST #adaptation #query #testing

Boolean Function Monotonicity Testing Requires (Almost) n 1/2 Non-adaptive Queries (XC, AD, RAS, LYT), pp. 519–528.

STOC-2015-GanorKR #communication #exponential

Exponential Separation of Information and Communication for Boolean Functions (AG, GK, RR), pp. 557–566.

STOC-2015-GargLOS #ram

Garbled RAM From One-Way Functions (SG, SL, RO, AS), pp. 449–458.

STOC-2015-LovettZ #difference

Improved Noisy Population Recovery, and Reverse Bonami-Beckner Inequality for Sparse Functions (SL, JZ), pp. 137–142.

STOC-2015-Moitra #matrix

Super-resolution, Extremal Functions and the Condition Number of Vandermonde Matrices (AM), pp. 821–830.

CIAA-2015-AdigaKMRRS #complexity

Complexity of Inferring Local Transition Functions of Discrete Dynamical Systems (AA, CJK, MVM, SSR, DJR, RES), pp. 21–34.

DLT-2015-OttoK #automaton #order

Deterministic Ordered Restarting Automata that Compute Functions (FO, KK), pp. 401–412.

ICALP-v1-2015-ChekuriGQ #algorithm #streaming

Streaming Algorithms for Submodular Function Maximization (CC, SG, KQ), pp. 318–330.

ICALP-v1-2015-CohenH #multi #pseudo

Multilinear Pseudorandom Functions (AC, JH), pp. 331–342.

ICALP-v1-2015-Sanyal #bound #fourier

Near-Optimal Upper Bound on Fourier Dimension of Boolean Functions in Terms of Fourier Sparsity (SS), pp. 1035–1045.

ICALP-v2-2015-Boreale #analysis #approximate #generative #probability

Analysis of Probabilistic Systems via Generating Functions and Padé Approximation (MB), pp. 82–94.

LATA-2015-AllenderM #complexity

Complexity of Regular Functions (EA, IM), pp. 449–460.

LATA-2015-GonzeJ #on the #probability

On the Synchronizing Probability Function and the Triple Rendezvous Time — New Approaches to Černý’s Conjecture (FG, RMJ), pp. 212–223.

SEFM-2015-BlomHZ #behaviour #concurrent #functional #source code #verification

History-Based Verification of Functional Behaviour of Concurrent Programs (SB, MH, MZS), pp. 84–98.

SEFM-2015-LarmuseauC #formal method #interface

Formalizing a Secure Foreign Function Interface (AL, DC), pp. 215–230.

ICFP-2015-AvanziniLM #complexity #first-order #functional #higher-order #source code

Analysing the complexity of functional programs: higher-order meets first-order (MA, UDL, GM), pp. 152–164.

ICFP-2015-BaumanBHKPST #functional #jit #named

Pycket: a tracing JIT for a functional language (SB, CFB, RH, VK, TP, JGS, STH), pp. 22–34.

ICFP-2015-Chlipala #compilation #functional #optimisation

An optimizing compiler for a purely functional web-application language (AC), pp. 10–21.

ICFP-2015-DannerLR #functional #induction #semantics

Denotational cost semantics for functional languages with inductive types (ND, DRL, R), pp. 140–151.

ICFP-2015-JaskelioffR #data type #functional

Functional pearl: a smart view on datatypes (MJ, ER), pp. 355–361.

ICFP-2015-NewtonFV #adaptation #scalability

Adaptive lock-free maps: purely-functional to scalable (RRN, PPF, AV), pp. 218–229.

ICFP-2015-RompfA #c #compilation #functional #sql

Functional pearl: a SQL to C compiler in 500 lines of code (TR, NA), pp. 2–9.

ICFP-2015-Russo #functional #haskell

Functional pearl: two can keep a secret, if one of them uses Haskell (AR), pp. 280–288.

ICFP-2015-Sheeran #design #functional #hardware #programming #years after

Functional programming and hardware design: still interesting after all these years (MS), p. 165.

ICFP-2015-SteuwerFLD #functional #generative #performance #using

Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code (MS, CF, SL, CD), pp. 205–217.

CHI-2015-SmeddinckHM #aspect-oriented #functional #game studies

Exergames for Physiotherapy and Rehabilitation: A Medium-term Situated Study of Motivational Aspects and Impact on Functional Reach (JDS, MH, RM), pp. 4143–4146.

CHI-2015-VissersG #case study #experience #functional #named #physics #prototype #user interface

TUIkit: Evaluating Physical and Functional Experiences of Tangible User Interface Prototypes (JV, DG), pp. 1267–1276.

CSCW-2015-ArazyONYB #functional #wiki

Functional Roles and Career Paths in Wikipedia (OA, FO, ON, MLY, AB), pp. 1092–1105.

DHM-EH-2015-CheffiRBBS #approach #cost analysis #feedback #optimisation

A Bi-level Optimization Approach to Get an Optimal Combination of Cost Functions for Pilot’s Arm Movement: The Case of Helicopter’s Flying Aid Functions with Haptic Feedback (SC, TR, LB, PB, JCS), pp. 248–257.

HIMI-IKD-2015-AinoyaKT

Proposal of New Lighting Which Combined Functionality of Street Light and Outdoor Light (TA, KK, AT), pp. 491–499.

ICEIS-v1-2015-CoelhoC #network

Radial Basis Function Neural Network Receiver for Wireless Channels (PHGC, FMC), pp. 658–663.

ICEIS-v1-2015-ConstantinonNS #heuristic

Combining Heuristic and Utility Function for Fair Train Crew Rostering (AAC, CFXdMN, AGN, AFdS), pp. 593–602.

ICEIS-v1-2015-SunB #classification #mining #process

Function-based Case Classification for Improving Business Process Mining (YS, BB), pp. 251–258.

ICEIS-v2-2015-MunizNM #functional #modelling #named #statistics #testing

TCG — A Model-based Testing Tool for Functional and Statistical Testing (LLM, USCN, PHMM), pp. 404–411.

ECIR-2015-UrbanoM #correlation #definite clause grammar #how #question #user satisfaction

How Do Gain and Discount Functions Affect the Correlation between DCG and User Satisfaction? (JU, MM), pp. 197–202.

ICML-2015-BahadoriKFL #clustering #functional

Functional Subspace Clustering with Application to Time Series (MTB, DCK, YF, YL), pp. 228–237.

ICML-2015-EneN #coordination #random

Random Coordinate Descent Methods for Minimizing Decomposable Submodular Functions (AE, HLN), pp. 787–795.

ICML-2015-KarN0 #precise

Surrogate Functions for Maximizing Precision at the Top (PK, HN, PJ), pp. 189–198.

ICML-2015-KordaA #approximate #bound #convergence #exponential #on the

On TD(0) with function approximation: Concentration bounds and a centered variant with exponential convergence (NK, PLA), pp. 626–634.

ICML-2015-SchaulHGS #approximate

Universal Value Function Approximators (TS, DH, KG, DS), pp. 1312–1320.

KDD-2015-JohanssonD #geometry #graph #learning #similarity #using

Learning with Similarity Functions on Graphs using Matchings of Geometric Embeddings (FDJ, DPD), pp. 467–476.

SEKE-2015-YungLC #black box #complexity

An Average Case Time Complexity Estimator for Black-box Functions (DY, BL, SKC), pp. 567–570.

SIGIR-2015-MehrotraY #learning #query #rank #using

Representative & Informative Query Selection for Learning to Rank using Submodular Functions (RM, EY), pp. 545–554.

MoDELS-2015-RagoMD #case study #identification #semantics

Identifying duplicate functionality in textual use cases by aligning semantic actions (SoSyM abstract) (AR, CM, JADP), p. 446.

OOPSLA-2015-BrutschyFTP #named #resource management

ShamDroid: gracefully degrading functionality in the presence of limited resource access (LB, PF, OT, MP), pp. 316–331.

PPDP-2015-GiantsiosPS #functional #testing

Concolic testing for functional languages (AG, NSP, KFS), pp. 137–148.

PPDP-2015-Schmidt-Schauss #call-by #functional #semantics

Improvements in a functional core language with call-by-need operational semantics (MSS, DS), pp. 220–231.

POPL-2015-Castagna0XA #polymorphism #re-engineering #type inference

Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction (GC, KN, ZX, PA), pp. 289–302.

REFSQ-2015-CanchiD #functional #interactive #modelling #requirements

Functional Requirements Modelling for Interactive TV Applications (SC, JED), pp. 254–261.

REFSQ-2015-DaunWP #detection #embedded #requirements

Detecting and Correcting Outdated Requirements in Function-Centered Engineering of Embedded Systems (MD, TW, KP), pp. 65–80.

SAC-2015-DAvanzoFGS #estimation #functional #metric #mobile

COSMIC functional measurement of mobile applications and code size estimation (LD, FF, CG, PS), pp. 1631–1636.

SAC-2015-JesusVB #functional #testing #web

Leveraging task-based data to support functional testing of web applications (FRdJ, LGdV, LABJ), pp. 783–790.

SAC-2015-JoshiSIY #architecture #behaviour #design #embedded #functional #modelling

Mapping functional behavior onto architectural model in a model driven embedded system design (PJ, SKS, JPT, HY), pp. 1624–1630.

SAC-2015-JuniorRSM #approach #deployment #multi #non-functional #requirements

A multi-criteria approach for assessing cloud deployment options based on non-functional requirements (RGJ, TR, AS, NCM), pp. 1383–1389.

SAC-2015-TakanoI #correctness #functional #lazy evaluation #semantics

Thunk recycling for lazy functional languages: operational semantics and correctness (YT, HI), pp. 2079–2086.

ICSE-v2-2015-DoligezFHM #development #functional #programming #security #validation #xml

Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator (DD, CF, TH, MM), pp. 209–218.

SPLC-2015-KassmeyerSS #impact analysis #process #safety #variability

A process to support a systematic change impact analysis of variability and safety in automotive functions (MK, MS, MS), pp. 235–244.

LCTES-2015-ManilovFMA

Free Rider: A Tool for Retargeting Platform-Specific Intrinsic Functions (SM, BF, AM, CA), p. 10.

CADE-2015-ChocronFR #revisited

A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited (PC, PF, CR), pp. 419–433.

CAV-2015-Saha0M #learning #named

Alchemist: Learning Guarded Affine Functions (SS, PG, PM), pp. 440–446.

CAV-2015-Ben-AmramG #complexity #ranking

Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions (AMBA, SG), pp. 304–321.

CAV-2015-KuwaharaSU0 #abstraction #functional #higher-order #source code #termination

Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs (TK, RS, HU, NK), pp. 287–303.

CSL-2015-CapriottiKV

Functions out of Higher Truncations (PC, NK, AV), pp. 359–373.

ICLP-J-2015-CristiaRF #constraints #logic programming #set

Adding partial functions to Constraint Logic Programming with sets (MC, GR, CSF), pp. 651–665.

TAP-2015-MijatovMLK #diagrams #functional #process #requirements #testing #uml

Testing Functional Requirements in UML Activity Diagrams (SM, TM, PL, GK), pp. 173–190.

WICSA-2014-SapienzaCP #architecture #clustering #multi

Architectural Decisions for HW/SW Partitioning Based on Multiple Extra-Functional Properties (GS, IC, PP), pp. 175–184.

WICSA-2014-SeeleSB #architecture #functional #modelling #web

The Functional Architecture Modeling Method Applied on Web Browsers (WS, SS, SB), pp. 171–174.

ASE-2014-WozniakNZMPG #component #design

Assigning time budgets to component functions in the design of time-critical automotive systems (EW, MDN, HZ, CM, STP, SG), pp. 235–246.

CASE-2014-LiuKCY #functional #modelling #monitoring #parametricity

Model-driven parametric monitoring of high-dimensional nonlinear functional profiles (GL, CK, YC, HY), pp. 722–727.

DAC-2014-ChangJC #configuration management #functional #using

Functional ECO Using Metal-Configurable Gate-Array Spare Cells (HYC, IHRJ, YWC), p. 6.

DAC-2014-ChenWLZAMWH #functional #multi #prototype #standard #verification

A SystemC Virtual Prototyping based Methodology for Multi-Standard SoC Functional Verification (ZC, YW, LL, YZ, AA, JHM, RW, SH), p. 6.

DAC-2014-KoestersG #verification

Verification of Non-Mainline Functions in Todays Processor Chips (JK, AG), p. 3.

DAC-2014-MunawarS #functional #modelling #scalability

Scalable Co-Simulation of Functional Models With Accurate Event Exchange (AM, SS), p. 6.

DAC-2014-Rodriguez-NavasSHNLL #approach #automation #functional #safety #specification #verification

Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach (GRN, CCS, HH, MN, OL, HL), p. 4.

DAC-2014-StoermerT #functional #interface #mockup #standard #using

Powertrain Co-Simulation using AUTOSAR and the Functional Mockup Interface standard (CS, GT), p. 1.

DAC-2014-SullivanBZZJ #functional #hardware #identification #named

FIGHT-Metric: Functional Identification of Gate-Level Hardware Trustworthiness (DS, JB, GZ, SZ, YJ), p. 4.

DAC-2014-WaksmanRSS #analysis #assessment #functional #identification

A Red Team/Blue Team Assessment of Functional Analysis Methods for Malicious Circuit Identification (AW, JR, MS, SS), p. 4.

DAC-2014-WangSYHC #functional

Practical Functional and Washing Droplet Routing for Cross-Contamination Avoidance in Digital Microfluidic Biochips (QW, YS, HY, TYH, YC), p. 6.

DAC-2014-WeiWNP #physics #reverse engineering #using

Reverse Engineering and Prevention Techniques for Physical Unclonable Functions Using Side Channels (SW, JBW, AN, MP), p. 6.

DATE-2014-AshammagariMH #configuration management #design #functional #performance #power management

Exploiting STT-NV technology for reconfigurable, high performance, low power, and low temperature functional unit design (ARA, HM, HH), pp. 1–6.

DATE-2014-HaoRX #behaviour #equivalence #pipes and filters #synthesis

Equivalence checking for function pipelining in behavioral synthesis (KH, SR, FX), pp. 1–6.

DATE-2014-HelfmeierBNTS #physics

Physical vulnerabilities of Physically Unclonable Functions (CH, CB, DN, ST, JPS), pp. 1–4.

DATE-2014-RiefertCSBRB #approach #automation #effectiveness #fault #functional #generative #testing

An effective approach to automatic functional processor test generation for small-delay faults (AR, LMC, MS, PB, MSR, BB), pp. 1–6.

DATE-2014-WangLLW0 #design #functional #generative #testing

Functional test generation guided by steady-state probabilities of abstract design (JW, HL, TL, TW, XL), pp. 1–4.

SIGMOD-2014-KhanYDK #query #towards

Towards indexing functions: answering scalar product queries (AK, PY, BD, DK), pp. 241–252.

VLDB-2014-WangKLW #multi #named

Terrain-Toolkit: A Multi-Functional Tool for Terrain Data (QW, MK, CL, RCWW), pp. 1645–1648.

TFPIE-2014-MorazanA #automaton #formal method #functional #student

Functional Automata — Formal Languages for Computer Science Students (MTM, RA), pp. 19–32.

TFPIE-2014-Winter #authentication #functional #named #programming language

Bricklayer: An Authentic Introduction to the Functional Programming Language SML (VLW), pp. 33–49.

ESOP-2014-KuwaharaTU0 #automation #functional #higher-order #source code #termination #verification

Automatic Termination Verification for Higher-Order Functional Programs (TK, TT, HU, NK), pp. 392–411.

ESOP-2014-UrbanM #abstract domain #ranking

An Abstract Domain to Infer Ordinal-Valued Ranking Functions (CU, AM), pp. 412–431.

WRLA-2014-Genet #automaton #functional #source code #static analysis #towards #using

Towards Static Analysis of Functional Programs Using Tree Automata Completion (TG), pp. 147–161.

ICSME-2014-ChristopheSRM #automation #functional #maintenance #testing #web

Prevalence and Maintenance of Automated Functional Tests for Web Applications (LC, RS, CDR, WDM), pp. 141–150.

PEPM-J-2013-Garcia-PerezN14 #automaton #functional #hybrid #on the

On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines (ÁGP, PN), pp. 176–199.

PEPM-2014-HanusS #analysis #composition #functional #logic programming #source code

A modular and generic analysis server system for functional logic programs (MH, FS), pp. 181–188.

PLDI-2014-SousaDVDG #query

Consolidation of queries with user-defined functions (MS, ID, DV, TD, CG), p. 56.

STOC-2014-BermanHT #bias #constant

Coin flipping of any constant bias implies one-way functions (IB, IH, AT), pp. 398–407.

STOC-2014-BitanskyCPR #on the

On the existence of extractable one-way functions (NB, RC, OP, AR), pp. 505–514.

STOC-2014-DeS #approximate #performance #polynomial

Efficient deterministic approximate counting for low-degree polynomial threshold functions (AD, RAS), pp. 832–841.

STOC-2014-GargMV #algorithm #equilibrium

Dichotomies in equilibrium computation, and complementary pivot algorithms for a new class of non-separable utility functions (JG, RM, VVV), pp. 525–534.

CIAA-2014-KurkaV #finite #transducer

Analytic Functions Computable by Finite State Transducers (PK, TV), pp. 252–263.

ICALP-v1-2014-BlaisHST #approximate #on the

On DNF Approximators for Monotone Boolean Functions (EB, JH, RAS, LYT), pp. 235–246.

ICALP-v1-2014-HohnMW #cost analysis #how #scheduling

How Unsplittable-Flow-Covering Helps Scheduling with Job-Dependent Cost Functions (WH, JM, AW), pp. 625–636.

ICALP-v1-2014-Kuncak #recursion #verification

Verifying and Synthesizing Software with Recursive Functions — (Invited Contribution) (VK), pp. 11–25.

LATA-2014-Kalocinski #on the

On Computability and Learnability of the Pumping Lemma Function (DK), pp. 433–440.

SEFM-2014-DuboisR #functional #using

Verified Functional Iterators Using the FoCaLiZe Environment (CD, RR), pp. 317–331.

ICFP-2014-ChenAT #functional #programming #scalability #self

Functional programming for dynamic and large data with self-adjusting computation (YC, UAA, KT), pp. 227–240.

ICFP-2014-GibbonsW #domain-specific language #functional

Folding domain-specific languages: deep and shallow embeddings (functional Pearl) (JG, NW), pp. 339–347.

ICFP-2014-Pottier #functional

Hindley-milner elaboration in applicative style: functional pearl (FP), pp. 203–212.

ICFP-2014-Winograd-CortH #first-order #how

Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough (DWC, PH), pp. 213–225.

IFL-2014-KoopmanPJ #data type #encoding #functional #harmful #implementation

Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl (PWMK, RP, JMJ), p. 4.

IFL-2014-LeF #functional #parallel

Combining Shared State with Speculative Parallelism in a Functional Language (ML, MF), p. 2.

CHI-2014-Bergstrom-LehtovirtaO #functional #mobile #modelling

Modeling the functional area of the thumb on mobile touchscreen surfaces (JBL, AO), pp. 1991–2000.

CHI-2014-MuellerMGFB #3d #functional #named #performance

faBrickation: fast 3D printing of functional objects by integrating construction kit building blocks (SM, TM, KG, JF, PB), pp. 3827–3834.

CHI-2014-PaterNMB #functional

Just awful enough: the functional dysfunction of the something awful forums (JAP, YN, EDM, ASB), pp. 2407–2410.

CSCW-2014-TeoJ #functional #online #performance #quality

Fast, functional, and fitting: expert response dynamics and response quality in an online newcomer help forum (HJT, AJ), pp. 332–341.

DUXU-ELAS-2014-Lai #design #interactive #usability

Examining the Functionality and Usability of Interactive Wayfinding Design within Cities in China (FHSL), pp. 305–316.

DUXU-TMT-2014-FilippiB #analysis #aspect-oriented #functional #human-computer #interactive #nondeterminism

In-Depth Analysis of Non-deterministic Aspects of Human-Machine Interaction and Update of Dedicated Functional Mock-Ups (SF, DB), pp. 185–196.

HCI-AIMT-2014-TawatsujiMM #reasoning #towards

Proposal for the Model of Occurrence of Negative Response toward Humanlike Agent Based on Brain Function by Qualitative Reasoning (YT, KM, TM), pp. 768–778.

HIMI-AS-2014-LinLLL #case study #design #functional #interface #navigation

A Study on the Interface Design of a Functional Menu and Icons for In-Vehicle Navigation Systems (MCL, YHL, CCL, JYL), pp. 261–272.

HIMI-DE-2014-KatoM #deployment #modelling #quality #using

Quality Function Deployment Using Improved Interpretive Structural Modeling (TK, YM), pp. 352–363.

HIMI-DE-2014-OkaTM #how

Selecting a Function by How Characteristic Shapes Afford Users (MO, MT, HM), pp. 621–628.

EDOC-2014-Franke #analysis #architecture #enterprise

Enterprise Architecture Analysis with Production Functions (UF), pp. 52–60.

ICEIS-v2-2014-ShamsuzzohaFAAH #collaboration #process #visualisation

Visualization Functionality of Virtual Factories — An Enhancement to Collaborative Business Process Management (AS, FF, SA, AA, PTH), pp. 599–604.

CIKM-2014-AbedjanSN #dependence #functional #named #performance

DFD: Efficient Functional Dependency Discovery (ZA, PS, FN), pp. 949–958.

ECIR-2014-GoswamiMGAM #information retrieval

Exploring the Space of IR Functions (PG, SM, ÉG, MRA, FM), pp. 372–384.

ICML-c1-2014-LiuJL #approximate #kernel #performance #using

Efficient Approximation of Cross-Validation for Kernel Methods using Bouligand Influence Function (YL, SJ, SL), pp. 324–332.

ICML-c1-2014-LiuYF #algorithm #constraints

Forward-Backward Greedy Algorithms for General Convex Smooth Functions over A Cardinality Constraint (JL, JY, RF), pp. 503–511.

ICML-c1-2014-YangSX #classification

The Coherent Loss Function for Classification (WY, MS, HX), pp. 37–45.

ICML-c2-2014-BeijbomSKV #multi

Guess-Averse Loss Functions For Cost-Sensitive Multiclass Boosting (OB, MJS, DJK, NV), pp. 586–594.

ICML-c2-2014-DuLBS #information management #learning #network

Influence Function Learning in Information Diffusion Networks (ND, YL, MFB, LS), pp. 2016–2024.

ICML-c2-2014-LinYHY #distance #learning

Geodesic Distance Function Learning via Heat Flow on Vector Fields (BL, JY, XH, JY), pp. 145–153.

ICML-c2-2014-SnoekSZA #optimisation

Input Warping for Bayesian Optimization of Non-Stationary Functions (JS, KS, RSZ, RPA), pp. 1674–1682.

ICML-c2-2014-TamarMX #approximate #robust #scalability #using

Scaling Up Robust MDPs using Function Approximation (AT, SM, HX), pp. 181–189.

ICML-c2-2014-ValkoMKK #graph

Spectral Bandits for Smooth Graph Functions (MV, RM, BK, TK), pp. 46–54.

ICPR-2014-BenhabilesTV #3d #framework #retrieval

Belief-Function-Based Framework for Deformable 3D-Shape Retrieval (HB, HT, JPV), pp. 285–290.

ICPR-2014-ContiFAAMCT #detection #distance #evaluation

Evaluation of Time Series Distance Functions in the Task of Detecting Remote Phenology Patterns (JCC, FAF, JA, BA, LPCM, LC, RdST), pp. 3126–3131.

ICPR-2014-HuynhR #image

Recovery of Spectral Sensitivity Functions from a Colour Chart Image under Unknown Spectrally Smooth Illumination (CPH, ARK), pp. 708–713.

ICPR-2014-LuoZW #image #segmentation #using

Image Fusion Using Region Segmentation and Sigmoid Function (XL, ZZ, XW), pp. 1049–1054.

ICPR-2014-ManfrediGC #energy #graph #image #learning #segmentation

Learning Graph Cut Energy Functions for Image Segmentation (MM, CG, RC), pp. 960–965.

ICPR-2014-OkadaFWP #analysis #random

Microenvironment-Based Protein Function Analysis by Random Forest (KO, LF, MW, DP), pp. 3138–3143.

ICPR-2014-RosaCJPFT #clustering #network #on the #using

On the Training of Artificial Neural Networks with Radial Basis Function Using Optimum-Path Forest Clustering (GHR, KAPC, LAPJ, JPP, AXF, JMRST), pp. 1472–1477.

ICPR-2014-SunTL #online #using

Sparse Online Co-regularization Using Conjugate Functions (BS, MT, GL), pp. 3666–3671.

KDIR-2014-DomeniconiMMP #ontology #random

Discovering New Gene Functionalities from Random Perturbations of Known Gene Ontological Annotations (GD, MM, GM, PP), pp. 107–116.

KR-2014-BartholomewL #modelling #multi

Stable Models of Multi-Valued Formulas: Partial versus Total Functions (MB, JL).

MLDM-2014-UtkinZC #classification #data-driven #database #robust

A Robust One-Class Classification Model with Interval-Valued Data Based on Belief Functions and Minimax Strategy (LVU, YAZ, AIC), pp. 107–118.

SEKE-2014-Wang #composition #using #web #web service

QoS-Based Web Service Composition by GA Using Consumer Decision-Making Function (GW), pp. 361–364.

SEKE-2014-XuS #automation #effectiveness #petri net #testing

Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments (DX, NS), pp. 211–216.

SIGIR-2014-SpinaGA #detection #learning #monitoring #online #similarity #topic

Learning similarity functions for topic detection in online reputation monitoring (DS, JG, EA), pp. 527–536.

Onward-2014-ReyndersDP #functional #multi #programming #web

Multi-Tier Functional Reactive Programming for the Web (BR, DD, FP), pp. 55–68.

GPCE-2014-HessGP #automation #interface

Automatic locality-friendly interface extension of numerical functions (BH, TRG, MP), pp. 83–92.

LOPSTR-2014-Danilenko #functional

Functional Kleene Closures (ND), pp. 241–258.

PPDP-2014-KranzS #compilation #domain-specific language #functional #integration #legacy #performance

Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems (JK, AS), pp. 187–198.

PPDP-2014-MehnerSSV #functional #parametricity #proving #theorem

Parametricity and Proving Free Theorems for Functional-Logic Languages (SM, DS, LS, JV), pp. 19–30.

PPDP-2014-PachecoZH #bidirectional #functional #named #xml

BiFluX: A Bidirectional Functional Update Language for XML (HP, TZ, ZH), pp. 147–158.

PPDP-2014-SchrijversWDD #functional #heuristic #implementation #logic programming #specification

Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation (TS, NW, BD, BD), pp. 259–270.

PADL-2014-LakinP #compilation #functional #programming language #using

Compiling DNA Strand Displacement Reactions Using a Functional Programming Language (MRL, AP), pp. 81–86.

POPL-2014-Castagna0XILP #evaluation #polymorphism #semantics #syntax

Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation (GC, KN, ZX, HI, SL, LP), pp. 5–18.

POPL-2014-LagoSA #functional #higher-order #induction #on the #probability #source code

On coinductive equivalences for higher-order probabilistic functional programs (UDL, DS, MA), pp. 297–308.

RE-2014-LiHMGGB0 #non-functional #ontology #requirements

Non-functional requirements as qualities, with a spice of ontology (FLL, JH, JM, RSSG, GG, AB, LL), pp. 293–302.

RE-2014-MartinsO #analysis #case study #fault #functional #protocol #requirements #safety #using

A case study using a protocol to derive safety functional requirements from Fault Tree Analysis (LEGM, TdO), pp. 412–419.

FSE-2014-Brunink #monitoring #non-functional

Autonomous compliance monitoring of non-functional properties (MB), pp. 795–798.

FSE-2014-HigoK #case study #functional #how #java #source code

How should we measure functional sameness from program source code? an exploratory study on Java methods (YH, SK), pp. 294–305.

ICSE-2014-KimSZXA #component #functional #reuse #reverse engineering

Reuse-oriented reverse engineering of functional components from x86 binaries (DK, WNS, XZ, DX, HA), pp. 1128–1139.

ICSE-2014-SiegmundKAPBLSB #comprehension #functional #source code

Understanding understanding source code with functional magnetic resonance imaging (JS, CK, SA, CP, AB, TL, GS, AB), pp. 378–389.

CGO-2014-CoppaDFM #cost analysis #empirical

Estimating the Empirical Cost Function of Routines with Dynamic Workloads (EC, CD, IF, RM), p. 230.

HPCA-2014-DiTomasoKL #architecture #fault tolerance #named #power management

QORE: A fault tolerant network-on-chip architecture with power-efficient quad-function channel (QFC) buffers (DD, AKK, AL), pp. 320–331.

LCTES-2014-KochFBD #reduction #similarity

Exploiting function similarity for code size reduction (TJKEvK, BF, PB, AD), pp. 85–94.

CAV-2014-MadhavanK #bound #functional #source code

Symbolic Resource Bound Inference for Functional Programs (RM, VK), pp. 762–778.

CAV-2014-PaolettiYHWK #logic

Analyzing and Synthesizing Genomic Logic Functions (NP, BY, YH, CMW, HK), pp. 343–357.

ICTSS-2014-AliY #algorithm #constraints #normalisation #ocl

Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints (SA, TY), pp. 17–31.

ISSTA-2014-MileaJK #detection #refactoring #scalability

Scalable detection of missed cross-function refactorings (NAM, LJ, SCK), pp. 138–148.

LICS-CSL-2014-Jeffrey #functional

Functional reactive types (AJ), p. 9.

LICS-CSL-2014-Pedrot #functional

A functional functional interpretation (PMP), p. 10.

VMCAI-2014-Masse #policy #ranking #termination

Policy Iteration-Based Conditional Termination and Ranking Functions (DM), pp. 453–471.

QoSA-2013-BerardinelliLM #analysis #execution #non-functional

Combining fUML and profiles for non-functional analysis based on model execution traces (LB, PL, TM), pp. 79–88.

DAC-2013-ChakrabortyLAP #physics

A transmission gate physical unclonable function and on-chip voltage-to-digital conversion technique (RC, CL, DA, JP), p. 10.

DAC-2013-ZhengHB #array #embedded #named #physics #robust

RESP: a robust physical unclonable function retrofitted into embedded SRAM array (YZ, MH, SB), p. 9.

DATE-2013-BernardiBSRB #embedded #fault #identification #online

On-line functionally untestable fault identification in embedded processor cores (PB, MB, ES, MSR, OB), pp. 1462–1467.

DATE-2013-JongheDDG #modelling #recursion

Extracting analytical nonlinear models from analog circuits by recursive vector fitting of transfer function trajectories (DdJ, DD, TD, GGEG), pp. 1448–1453.

DATE-2013-KoeberlKS #generative

Memristor PUFs: a new generation of memory-based physically unclonable functions (PK, ÜK, ARS), pp. 428–431.

DATE-2013-RakossyHTSNO #architecture #array #fault #functional #testing

Hot-swapping architecture with back-biased testing for mitigation of permanent faults in functional unit array (ZER, MH, HT, TS, YN, HO), pp. 535–540.

DATE-2013-RehmanSAKCH #hardware #reliability

Leveraging variable function resilience for selective software reliability on unreliable hardware (SR, MS, PVA, FK, JJC, JH), pp. 1759–1764.

DATE-2013-SubramanyanTPRSM #analysis #functional #reverse engineering #using

Reverse engineering digital circuits using functional analysis (PS, NT, KP, DR, AS, SM), pp. 1277–1280.

DATE-2013-UnutulmazDF #optimisation #using

Area optimization on fixed analog floorplans using convex area functions (AU, GD, FVF), pp. 1843–1848.

DATE-2013-YaoKLMK #named #network #physics

ClockPUF: physical unclonable functions based on clock networks (YY, MK, JL, ILM, FK), pp. 422–427.

DocEng-2013-Lumley #documentation #functional

Functional, extensible, svg-based variable documents (JWL), pp. 131–140.

DocEng-2013-SilvaSMB #on the #performance #xpath

On the performance of the position() XPath function (LAMdS, LLNdSJ, MM, VB), pp. 229–230.

DRR-2013-MehriGHM #analysis #documentation #image #multi #segmentation #using

Old document image segmentation using the autocorrelation function and multiresolution analysis (MM, PGK, PH, RM).

ICDAR-2013-ZhangL #polynomial

Locally Smoothed Modified Quadratic Discriminant Function (XYZ, CLL), pp. 8–12.

ICDAR-2013-ZhouYL #learning #performance #polynomial #recognition

GPU-Based Fast Training of Discriminative Learning Quadratic Discriminant Function for Handwritten Chinese Character Recognition (MKZ, FY, CLL), pp. 842–846.

PODS-2013-Wong #calculus #power of #relational #set

A dichotomy in the intensional expressive power of nested relational calculi augmented with aggregate functions and a powerset operator (LW), pp. 285–296.

SIGMOD-2013-WhangYYSKK #approach #named #parallel #using

ODYS: an approach to building a massively-parallel search engine using a DB-IR tightly-integrated parallel DBMS for higher-level functionality (KYW, TSY, YMY, IYS, HYK, IJK), pp. 313–324.

VLDB-2013-GrustSU #sql

Functions Are Data Too (Defunctionalization for PL/SQL) (TG, NS, AU), pp. 1214–1217.

VLDB-2013-TranDSL #nondeterminism

Supporting User-Defined Functions on Uncertain Data (TTLT, YD, CAS, AL), pp. 469–480.

TFPIE-2013-Caldwell #functional #induction

Structural Induction Principles for Functional Programmers (JC), pp. 16–26.

ESOP-2013-ToninhoCP #higher-order #integration #monad #process

Higher-Order Processes, Functions, and Sessions: A Monadic Integration (BT, LC, FP), pp. 350–369.

FoSSaCS-2013-BauerHK #higher-order #monad #on the #parametricity

On Monadic Parametricity of Second-Order Functionals (AB, MH, AK), pp. 225–240.

FoSSaCS-2013-GianantonioE

A Language for Differentiable Functions (PDG, AE), pp. 337–352.

TACAS-2013-BhatBGR #functional #probability #source code

Deriving Probability Density Functions from Probabilistic Functional Programs (SB, JB, ADG, CVR), pp. 508–522.

TACAS-2013-ChenW #algorithm #learning #library #named

BULL: A Library for Learning Algorithms of Boolean Functions (YFC, BYW), pp. 537–542.

WCRE-2013-TeytonFB #automation #library

Automatic discovery of function mappings between similar libraries (CT, JRF, XB), pp. 192–201.

PEPM-2013-Garcia-PerezN #functional #reduction #semantics

A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers (ÁGP, PN), pp. 107–116.

PEPM-2013-Lopez-FraguasM #evaluation #functional #type system

Typing as functional-logic evaluation (FJLF, EMM), pp. 23–32.

PLDI-2013-CzaplickiC #functional #programming #user interface

Asynchronous functional reactive programming for GUIs (EC, SC), pp. 411–422.

PLDI-2013-Titzer #parametricity #tuple

Harmonizing classes, functions, tuples, and type parameters in virgil iii (BT), pp. 85–94.

SAS-2013-Urban #abstract domain #ranking

The Abstract Domain of Segmented Ranking Functions (CU), pp. 43–62.

STOC-2013-ChakrabartyS

A o(n) monotonicity tester for boolean functions over the hypercube (DC, CS), pp. 411–418.

STOC-2013-ChungPS #security #simulation

Non-black-box simulation from one-way functions and applications to resettable security (KMC, RP, KS), pp. 231–240.

STOC-2013-GoldwasserKPVZ #encryption #functional #reuse

Reusable garbled circuits and succinct functional encryption (SG, YTK, RAP, VV, NZ), pp. 555–564.

STOC-2013-KaneM

A PRG for lipschitz functions of polynomials with applications to sparsest cut (DMK, RM), pp. 1–10.

CIAA-J-2012-Mohri13 #ambiguity #automaton #finite #functional #on the #transducer

On the Disambiguation of Finite Automata and Functional Transducers (MM), pp. 847–862.

ICALP-v1-2013-WimmerY #invariant #morphism #testing

Testing Linear-Invariant Function Isomorphism (KW, YY), pp. 840–850.

ICALP-v2-2013-AlurR #problem

Decision Problems for Additive Regular Functions (RA, MR), pp. 37–48.

ICALP-v2-2013-Woods #generative

Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials (KW), pp. 410–421.

LATA-2013-BalaK #ambiguity #automaton

Unambiguous Automata Denoting Finitely Sequential Functions (SB, AK), pp. 104–115.

CEFP-2013-Gibbons #domain-specific language #functional #programming

Functional Programming for Domain-Specific Languages (JG), pp. 1–28.

CEFP-2013-Granicz #development #f# #functional #mobile #web

Functional Web and Mobile Development in F# (AG), pp. 381–406.

ICFP-2013-AxelssonC #functional #higher-order #source code #syntax #using

Using circular programs for higher-order syntax: functional pearl (EA, KC), pp. 257–262.

ICFP-2013-Dolan #algebra #functional #linear

Fun with semirings: a functional pearl on the abuse of linear algebra (SD), pp. 101–110.

ICFP-2013-Jeffrey #functional #liveness #programming

Functional reactive programming with liveness guarantees (AJ), pp. 233–244.

ICFP-2013-Krishnaswami #functional #higher-order #programming

Higher-order functional reactive programming without spacetime leaks (NRK), pp. 221–232.

ICFP-2013-Mairson #functional #geometry

Functional geometry and the Traité de Lutherie: functional pearl (HGM), pp. 123–132.

ICFP-2013-McDonellCKL #functional #gpu #optimisation #source code

Optimising purely functional GPU programs (TLM, MMTC, GK, BL), pp. 49–60.

ICFP-2013-PetersenGDAD #case study #experience #functional #programming

Experience report: functional programming of mHealth applications (CP, MG, DTD, JMA, GAD), pp. 357–362.

IFL-2013-GrelckW #adaptation #array #functional #generative #performance

Next Generation Asynchronous Adaptive Specialization for Data-Parallel Functional Array Processing in SAC: Accelerating the Availability of Specialized High Performance Code (CG, HW), p. 117.

CSCW-2013-HuangYBC #functional #game studies #online #social

Functional or social?: exploring teams in online games (YH, WY, NB, NSC), pp. 399–408.

DUXU-WM-2013-Huang #design #functional #interactive

Proactive Home Furnishings: Inspiring from Interactive Art for Designing Functional Aesthetics in a Space (SCCH), pp. 367–375.

DUXU-WM-2013-MinJ #functional #named #using

TRIGGER: Maximizing Functional Effect of Using Products (KBM, ECJ), pp. 385–391.

DUXU-WM-2013-SpinilloS #comprehension #usability

Beyond Comprehension: A Usability Study on User Instruction Manual for Stove with Steam Function (CGS, KCASS), pp. 441–449.

HCI-AMTE-2013-Shiizuka #interactive

The Feeling of Kawaii Is a Function of Interaction (HS), pp. 601–610.

HCI-AMTE-2013-TanoKHIHI #3d #sketching

Enhanced 3D Sketch System Incorporating “Life-Size” and “Operability” Functions (ST, NK, XH, JI, TH, MI), pp. 480–489.

HCI-AS-2013-YajimaG #using

The Proposal of the Remote Consultation Service System Using the Outline Function for Consultation (HY, TG), pp. 216–225.

HCI-III-2013-KimKAPW #analysis #artificial reality #social

Brain Function Connectivity Analysis for Recognizing Different Relation of Social Emotion in Virtual Reality (JK, DK, SA, SP, MCW), pp. 441–447.

HCI-IMT-2013-CarrinoCKIM #functional #gesture #interactive

Functional Gestures for Human-Environment Interaction (SC, MC, OAK, RI, EM), pp. 167–176.

HCI-IMT-2013-RyuLYL #gesture #interface

Conditions of Applications, Situations and Functions Applicable to Gesture Interface (TR, JL, MHY, JHL), pp. 368–377.

HCI-IMT-2013-SakataKN #analysis #collaboration #communication #scalability

Communication Analysis of Remote Collaboration System with Arm Scaling Function (NS, TK, SN), pp. 378–387.

HCI-IMT-2013-TruongNTD #collaboration #predict #word

Collaborative Smart Virtual Keyboard with Word Predicting Function (CTT, DHNH, MTT, ADD), pp. 513–522.

HIMI-HSM-2013-ChenHCK #design #network #social #usability

Usability Study of Icon Designs with Social Network Functions (CHC, WHH, SCC, YYK), pp. 355–362.

HIMI-HSM-2013-YamamotoNEN #development #mobile #tablet

Development of a Mobile Tablet PC with Gaze-Tracking Function (MY, HN, KE, TN), pp. 421–429.

HIMI-LCCB-2013-TomiokaSI #deployment #ontology #quality

A Method for Developing Quality Function Deployment Ontology (KT, FS, SI), pp. 632–638.

OCSC-2013-OtakeUS #game studies #social

A Consideration of the Functions That Support to Find New Friends in Social Games (KO, TU, AS), pp. 405–411.

AdaEurope-2013-BicchieraiBNV #development #functional #integration #ontology #process #safety #using

Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems (IB, GB, CN, EV), pp. 95–108.

CIKM-2013-QinZ #functional #process

Functional dirichlet process (LQ, XZ), pp. 1331–1340.

ICML-c1-2013-ChenLYY #functional #matrix #using

General Functional Matrix Factorization Using Gradient Boosting (TC, HL, QY, YY), pp. 436–444.

ICML-c1-2013-LiLSHD #generative #learning #using

Learning Hash Functions Using Column Generation (XL, GL, CS, AvdH, ARD), pp. 142–150.

ICML-c3-2013-IyerJB #optimisation #performance

Fast Semidifferential-based Submodular Function Optimization (RKI, SJ, JAB), pp. 855–863.

ICML-c3-2013-KarS0K #algorithm #learning #on the #online

On the Generalization Ability of Online Learning Algorithms for Pairwise Loss Functions (PK, BKS, PJ, HK), pp. 441–449.

ICML-c3-2013-Mairal #first-order #optimisation

Optimization with First-Order Surrogate Functions (JM), pp. 783–791.

ICML-c3-2013-SunZ #evaluation #order #representation

Saving Evaluation Time for the Decision Function in Boosting: Representation and Reordering Base Learner (PS, JZ), pp. 933–941.

ICML-c3-2013-TeschSC #optimisation #probability

Expensive Function Optimization with Stochastic Binary Outcomes (MT, JGS, HC), pp. 1283–1291.

ICML-c3-2013-ZhangYJH #optimisation #probability

O(logT) Projections for Stochastic Optimization of Smooth and Strongly Convex Functions (LZ, TY, RJ, XH), pp. 1121–1129.

SEKE-2013-ShamsHK #estimation #network #using

Software Effort Estimation using Regularized Radial Basis Function Neural Networks (KMS, HSH, AK), pp. 473–478.

SEKE-2013-WangZLBCT #analysis #modelling #non-functional #object-oriented #requirements

Integrating Functional with Non-functional Requirements Analysis In Object Oriented Modeling Tool Based on HOOMT (S) (JW, FZ, X(L, ECB, BC, MT), pp. 59–62.

SIGIR-2013-BouadjenekHB #named #personalisation #ranking #social #web

Sopra: a new social personalized ranking function for improving web search (MRB, HH, MB), pp. 861–864.

SIGIR-2013-RousseauV #ad hoc #composition #information retrieval #normalisation

Composition of TF normalizations: new insights on scoring functions for ad hoc IR (FR, MV), pp. 917–920.

AMT-2013-NalchigarSC #model transformation #non-functional #requirements #towards

Towards a Catalog of Non-Functional Requirements in Model Transformation Languages (SN, RS, MC), pp. 72–81.

ECOOP-2013-HeuleKMS #abstraction #generative #logic #verification

Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions (SH, ITK, PM, AJS), pp. 451–476.

ECOOP-2013-LernerELK #source code #static typing

Combining Form and Function: Static Types for JQuery Programs (BSL, LE, JL, SK), pp. 79–103.

OOPSLA-2013-KneussKKS #recursion #synthesis

Synthesis modulo recursive functions (EK, IK, VK, PS), pp. 407–426.

LOPSTR-2013-AntoyJ #compilation #functional #logic

Compiling a Functional Logic Language: The Fair Scheme (SA, AJ), pp. 202–219.

PPDP-2013-BagnaraM #linear #ranking

Eventual linear ranking functions (RB, FM), pp. 229–238.

PPDP-2013-CalauttiGT #decidability #detection #logic programming #source code

Detecting decidable classes of finitely ground logic programs with function symbols (MC, SG, IT), pp. 239–250.

PPDP-2013-ChristiansenHRS #encapsulation #functional #logic programming #semantics #source code

A semantics for weakly encapsulated search in functional logic programs (JC, MH, FR, DS), pp. 49–60.

PPDP-2013-Holdermans #data type #functional #guidelines #random testing #testing

Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance (SH), pp. 275–284.

PPDP-2013-MandelPP #functional #refinement

Time refinement in a functional synchronous language (LM, CP, MP), pp. 169–180.

PPDP-2013-MontenegroPS #analysis #functional #regular expression #using

Shape analysis in a functional language by using regular languages (MM, RP, CS), pp. 251–262.

PPDP-2013-ODonnell #array #functional #parallel

Extensible sparse functional arrays with circuit parallelism (JTO), pp. 133–144.

PADL-2013-AngelopoulosCAWCW #functional #logic programming #statistics

Integrative Functional Statistics in Logic Programming (NA, VSC, JA, JW, RC, LW), pp. 190–205.

PADL-2013-BrasselHPR #constraints #equation #functional #implementation

Implementing Equational Constraints in a Functional Language (BB, MH, BP, FR), pp. 125–140.

PADL-2013-FourtounisPR #functional #implementation #lazy evaluation

The Generalized Intensional Transformation for Implementing Lazy Functional Languages (GF, NP, PR), pp. 157–172.

POPL-2013-BlellochH #algorithm #functional

Cache and I/O efficent functional algorithms (GEB, RH), pp. 39–50.

POPL-2013-UnnoTK #automation #functional #higher-order #source code #verification

Automating relatively complete verification of higher-order functional programs (HU, TT, NK), pp. 75–86.

ER-BR-2013-SerranoS #mobile #non-functional #pervasive #ubiquitous

Ubiquitous, Pervasive and Mobile Computing: A Reusable-Models-based Non-Functional Catalogue (MS, MS).

SAC-2013-PalomaresQFRG #content management #functional #requirements

A catalogue of functional software requirement patterns for the domain of content management systems (CP, CQ, XF, SR, CG), pp. 1260–1265.

ESEC-FSE-2013-GyoriFDL #functional #imperative #programming #refactoring

Crossing the gap from imperative to functional programming through refactoring (AG, LF, DD, JL), pp. 543–553.

ICSE-2013-DamianHKMK #communication #coordination

The role of domain knowledge and cross-functional communication in socio-technical coordination (DD, RH, IK, SM, BK), pp. 442–451.

ICSE-2013-FranklinGLD #automation #functional #imperative #named #programming #refactoring

LAMBDAFICATOR: from imperative to functional programming through automated refactoring (LF, AG, JL, DD), pp. 1287–1290.

ICSE-2013-GhezziPST #adaptation #modelling #non-functional #nondeterminism

Managing non-functional uncertainty via model-driven adaptivity (CG, LSP, PS, GT), pp. 33–42.

ICSE-2013-StaplesKKLAMJB #specification

Formal specifications better than function points for code sizing (MS, RK, GK, CL, JA, TCM, DRJ, LB), pp. 1257–1260.

LDTA-J-2009-ChilowiczDR #sequence #source code

Viewing functions as token sequences to highlight similarities in source code (MC, ÉD, GR), pp. 1871–1891.

SPLC-2013-SchulzeMB #functional #question #safety #variability

Functional safety and variability: can it be brought together? (MS, JM, DB), pp. 236–243.

LCTES-2013-MehiaouiWPMNZBLG #clustering #distributed #optimisation

A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems (AM, EW, STP, CM, MDN, HZ, JPB, LL, SG), pp. 121–132.

PLOS-2013-Eriksen

Your server as a function (ME), p. 7.

ICLP-J-2013-Balduccini

ASP with non-herbrand partial functions: a language and system for practical use (MB), pp. 547–561.

ICLP-J-2013-BartholomewL #on the #semantics

On the stable model semantics for intensional functions (MB, JL), pp. 863–876.

ICLP-J-2013-CatB #dependence #detection #functional #generative

Detection and exploitation of functional dependencies for model generation (BdC, MB), pp. 471–485.

ICLP-J-2013-GrecoMT #bottom-up #evaluation #logic programming #termination

Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments (SG, CM, IT), pp. 737–752.

ICST-2013-GraslandBGP #approach #functional #hybrid #safety #testing

A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information (YG, LdB, RG, IP), pp. 104–113.

ICST-2013-IchidaSO #testing

A Method of Making Single Function Tests for Constituting Scenario Tests (NI, TS, HO), pp. 479–480.

ICST-2013-NetterGB #composition #framework #modelling #simulation #validation

Real-Data Validation of Simulation Models in a Function-Based Modular Framework (FN, FG, BB), pp. 41–47.

ICTSS-2013-EnoiuSP #diagrams #logic #testing #using

Using Logic Coverage to Improve Testing Function Block Diagrams (EPE, DS, PP), pp. 1–16.

LICS-2013-AlurDDRY #automaton

Regular Functions and Cost Register Automata (RA, LD, JVD, MR, YY), pp. 13–22.

LICS-2013-FereeHG #complexity #on the #query

On the Query Complexity of Real Functionals (HF, MH, WG), pp. 103–112.

SAT-2013-BubeckB #modelling #quantifier

Nested Boolean Functions as Models for Quantified Boolean Formulas (UB, HKB), pp. 267–275.

WICSA-ECSA-2012-PoortKWV #non-functional #requirements

Issues Dealing with Non-Functional Requirements across the Contractual Divide (ERP, AK, PHNdW, HvV), pp. 315–319.

ASE-2012-WestermannHKF #automation #performance #predict

Automated inference of goal-oriented performance prediction functions (DW, JH, RK, RF), pp. 190–199.

CASE-2012-IdenP #algorithm #aspect-oriented #detection #functional #safety

Functional safety aspects of pattern detection algorithms (JI, CIP), pp. 747–752.

CASE-2012-LinKH #analysis #functional #modelling

Fitting a functional structural plant model based on global sensitivity analysis (YL, MK, JH), pp. 790–795.

CASE-2012-LuoCCH #energy #generative

Walking pattern generation based on energy function and inverse pendulum model for biped robot (RCL, HHC, CCC, KCH), pp. 729–734.

DAC-2012-ChungJ #analysis #functional #performance

Functional timing analysis made fast and general (YTC, JHRJ), pp. 1055–1060.

DAC-2012-EberlGTA #automation #design #network

Considering diagnosis functionality during automatic system-level design of automotive networks (ME, MG, JT, UA), pp. 205–213.

DAC-2012-FangMZLHZCLZ #manycore #named

Transformer: a functional-driven cycle-accurate multicore simulator (ZF, QM, KZ, YL, YH, WZ, HC, JL, BZ), pp. 106–114.

DAC-2012-ForteS #on the #proximity

On improving the uniqueness of silicon-based physically unclonable functions via optical proximity correction (DF, AS), pp. 96–105.

DAC-2012-HuLWR #array #hardware #using

Hardware realization of BSB recall function using memristor crossbar arrays (MH, HL, QW, GSR), pp. 498–503.

DAC-2012-MiddendorfBH #hardware #recursion #synthesis

Hardware synthesis of recursive functions through partial stream rewriting (LM, CB, CH), pp. 1207–1215.

DAC-2012-ZhangLWFW #higher-order #performance #reduction

Fast nonlinear model order reduction via associated transforms of high-order volterra transfer functions (YZ, HL, QW, NF, NW), pp. 289–294.

DATE-2012-BombieriFG #fault #framework #functional #named #simulation #verification

FAST-GP: An RTL functional verification framework based on fault simulation on GP-GPUs (NB, FF, VG), pp. 562–565.

DATE-2012-ChenJM

QBf-based boolean function bi-decomposition (HC, MJ, JMS), pp. 816–819.

DATE-2012-LinWCCCHYS #analysis #functional #mutation testing #probability

A probabilistic analysis method for functional qualification under Mutation Analysis (HYL, CYW, SCC, YCC, HMC, CYH, YCY, CCS), pp. 147–152.

DATE-2012-PoulosYAVL #debugging #functional

Leveraging reconfigurability to raise productivity in FPGA functional debug (ZP, YSY, JA, AGV, BL), pp. 292–295.

DATE-2012-Sasao #generative

Row-shift decompositions for index generation functions (TS), pp. 1585–1590.

DATE-2012-SekaninaS #image #logic #multi #towards

Towards new applications of multi-function logic: Image multi-filtering (LS, VS), pp. 824–827.

DATE-2012-SekaninaV #optimisation #polymorphism #satisfiability

A SAT-based fitness function for evolutionary optimization of polymorphic circuits (LS, ZV), pp. 715–720.

DATE-2012-Sun #automation #embedded #functional #generative #modelling

Automatic generation of functional models for embedded processor extensions (FS), pp. 304–307.

PODS-2012-BorodinLY

Max-Sum diversification, monotone submodular functions and dynamic updates (AB, HCL, YY), pp. 155–166.

PODS-2012-Kimelfeld #complexity #dependence #functional

A dichotomy in the complexity of deletion propagation with functional dependencies (BK), pp. 191–202.

VLDB-2012-CaoCLT #optimisation

Optimization of Analytic Window Functions (YC, CYC, JL, KLT), pp. 1244–1255.

VLDB-2012-ZhangZXYW #analysis #difference #functional #privacy

Functional Mechanism: Regression Analysis under Differential Privacy (JZ, ZZ, XX, YY, MW), pp. 1364–1375.

ITiCSE-2012-GerdesJH #functional #interactive #programming

An interactive functional programming tutor (AG, JJ, BH), pp. 250–255.

TFPIE-2012-ODonnell #education #functional #hardware #using

Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language (JTO), pp. 20–39.

FoSSaCS-2012-BoveDS #automation #first-order #functional #interactive #reasoning #source code

Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs (AB, PD, ASR), pp. 104–118.

FoSSaCS-2012-ToninhoCP #process

Functions as Session-Typed Processes (BT, LC, FP), pp. 346–360.

CSMR-2012-DavisGHMM #assembly #experience #industrial

Analyzing Assembler to Eliminate Dead Functions: An Industrial Experience (IJD, MWG, RCH, SM, NM), pp. 467–470.

CSMR-2012-DeissenboeckHHW #challenge #detection

Challenges of the Dynamic Detection of Functionally Similar Code Fragments (FD, LH, BH, SW), pp. 299–308.

CSMR-2012-YoshidaKI #approach #functional #maintenance #metric #source code

A Cohesion Metric Approach to Dividing Source Code into Functional Segments to Improve Maintainability (NY, MK, HI), pp. 365–370.

ICPC-2012-JbaraMF #kernel #linux

High-MCC functions in the Linux kernel (AJ, AM, DGF), pp. 83–92.

WCRE-2012-DurfinaKZK #decompiler #detection

Detection and Recovery of Functions and their Arguments in a Retargetable Decompiler (LD, JK, PZ, BK), pp. 51–60.

WCRE-2012-IshiharaHHIK #clone detection #detection #empirical #functional #library #towards

Inter-Project Functional Clone Detection Toward Building Libraries — An Empirical Study on 13, 000 Projects (TI, KH, YH, HI, SK), pp. 387–391.

PEPM-2012-GotoS #approach #functional

An approach to completing variable names for implicitly typed functional languages (TG, IS), pp. 131–140.

PEPM-2012-Katayama #functional #induction #programming #source code

An analytical inductive functional programming system that avoids unintended programs (SK), pp. 43–52.

PEPM-2012-KobayashiMS #functional #source code

Functional programs as compressed data (NK, KM, AS), pp. 121–130.

PEPM-2012-Lopez-FraguasMR #functional #logic programming

Well-typed narrowing with extra variables in functional-logic programming (FJLF, EMM, JRH), pp. 83–92.

PEPM-2012-MatsudaIN #cumulative #multi #polynomial #traversal

Polynomial-time inverse computation for accumulative functions with multiple data traversals (KM, KI, KN), pp. 5–14.

SAS-2012-Ledesma-GarzaR #analysis #functional #higher-order #reachability #source code

Binary Reachability Analysis of Higher Order Functional Programs (RLG, AR), pp. 388–404.

STOC-2012-Applebaum #generative #locality #pseudo #random

Pseudorandom generators with long stretch and low locality from random local one-way functions (BA), pp. 805–816.

STOC-2012-Belovs #source code

Span programs for functions with constant-sized 1-certificates: extended abstract (AB), pp. 77–84.

STOC-2012-GuruswamiX

Folded codes from function field towers and improved optimal rate list decoding (VG, CX), pp. 339–350.

STOC-2012-WoodruffZ #bound #distributed #functional #monitoring

Tight bounds for distributed functional monitoring (DPW, QZ), pp. 941–960.

FLOPS-2012-AntoyP #compilation #functional #logic

Compiling a Functional Logic Language: The Basic Scheme (SA, AP), pp. 17–31.

FLOPS-2012-Terauchi #automation #functional #higher-order #source code #verification

Automated Verification of Higher-Order Functional Programs (TT), p. 2.

CIAA-2012-EhrenfeuchtR #framework #process

A Formal Framework for Processes Inspired by the Functioning of Living Cells (AE, GR), pp. 25–27.

CIAA-2012-Mohri #algorithm #ambiguity #automaton #finite #functional #transducer

A Disambiguation Algorithm for Finite Automata and Functional Transducers (MM), pp. 265–277.

DLT-2012-BoiretLN #learning

Learning Rational Functions (AB, AL, JN), pp. 273–283.

ICALP-v1-2012-AdaCFN #communication #complexity #multi

The NOF Multiparty Communication Complexity of Composed Functions (AA, AC, OF, PN), pp. 13–24.

ICALP-v1-2012-AzarG #constraints #linear #performance

Efficient Submodular Function Maximization under Linear Packing Constraints (YA, IG), pp. 38–50.

ICALP-v1-2012-BuchbinderNRS #algorithm #approximate #constraints #online #rank

Approximation Algorithms for Online Weighted Rank Function Maximization under Matroid Constraints (NB, JN, RR, MS), pp. 145–156.

ICALP-v1-2012-ChakrabartyH #testing

Testing Coverage Functions (DC, ZH), pp. 170–181.

LATA-2012-ArvindV #morphism #testing

Isomorphism Testing of Boolean Functions Computable by Constant-Depth Circuits (VA, YV), pp. 83–94.

LATA-2012-HundeshagenO #transducer

Characterizing the Rational Functions by Restarting Transducers (NH, FO), pp. 325–336.

SFM-2012-Becker #analysis #model transformation #non-functional

Model Transformations in Non-functional Analysis (SB), pp. 263–289.

ICFP-2012-DagandM

Transporting functions across ornaments (PÉD, CM), pp. 103–114.

ICFP-2012-OliveiraC #functional #graph #programming

Functional programming with structured graphs (BCdSO, WRC), pp. 77–88.

ICFP-2012-PereraACL #functional #source code

Functional programs that explain their work (RP, UAA, JC, PBL), pp. 365–376.

ICFP-2012-SimoesVFJH #analysis #automation #functional #lazy evaluation #memory management #source code

Automatic amortised analysis of dynamic memory allocation for lazy functional programs (HRS, PBV, MF, SJ, KH), pp. 165–176.

CSCW-2012-ForteKLZBK #coordination #social

Coordination and beyond: social functions of groups in open content production (AF, NK, VL, HZ, AB, REK), pp. 417–426.

CAiSE-2012-SchmelingCMM #composition #non-functional #towards

Towards Conflict-Free Composition of Non-functional Concerns (BS, AC, MM, MM), pp. 80–94.

CIKM-2012-BambaSGBF #concept #recommendation #scalability #using

The twitaholic next door.: scalable friend recommender system using a concept-sensitive hash function (PB, JS, CG, NB, JF), pp. 2275–2278.

CIKM-2012-KimC #approximate #composition #dependence #functional #performance

Decomposition-by-normalization (DBN): leveraging approximate functional dependencies for efficient tensor decomposition (MK, KSC), pp. 355–364.

CIKM-2012-QahtanZW #detection #estimation #performance

Efficient estimation of dynamic density functions with an application to outlier detection (AAQ, XZ, SW), pp. 2159–2163.

CIKM-2012-VouzoukidouAC #query

Processing continuous text queries featuring non-homogeneous scoring functions (NV, BA, VC), pp. 1065–1074.

ICML-2012-BalakrishnanPL #functional #kernel

Sparse Additive Functional and Kernel CCA (SB, KP, JDL), p. 97.

ICML-2012-HazanJ #on the #random

On the Partition Function and Random Maximum A-Posteriori Perturbations (TH, TSJ), p. 217.

ICML-2012-KolarS #estimation

Variance Function Estimation in High-dimensions (MK, JS), p. 115.

ICML-2012-LiuWMKC

Compact Hyperplane Hashing with Bilinear Functions (WL, JW, YM, SK, SFC), p. 64.

ICPR-2012-BaiHR #graph #kernel #using

Jensen-Shannon graph kernel using information functionals (LB, ERH, PR), pp. 2877–2880.

ICPR-2012-BaillyMPB #cost analysis #learning

Learning global cost function for face alignment (KB, MM, PP, EB), pp. 1112–1115.

ICPR-2012-DattaBFP #identification #modelling #using

Appearance modeling for person re-identification using Weighted Brightness Transfer Functions (AD, LMGB, RF, SP), pp. 2367–2370.

ICPR-2012-GhoseMOMLFVCSM #functional #probability #segmentation

A Mumford-Shah functional based variational model with contour, shape, and probability prior information for prostate segmentation (SG, JM, AO, RM, XL, JF, JCV, JC, DS, FM), pp. 121–124.

ICPR-2012-HajimirsadeghiM #multi

Multiple instance real boosting with aggregation functions (HH, GM), pp. 2706–2710.

ICPR-2012-Kan #re-engineering

MEG source reconstruction with basis functions source model (JK), pp. 1791–1794.

ICPR-2012-ZenRSRS #categorisation #functional #semantics

Enhanced semantic descriptors for functional scene categorization (GZ, NR, JS, ER, NS), pp. 1985–1988.

KDD-2012-YuanZX #using

Discovering regions of different functions in a city using human mobility and POIs (JY, YZ, XX), pp. 186–194.

KDD-2012-YuDRZY #classification #multi #predict

Transductive multi-label ensemble classification for protein function prediction (GXY, CD, HR, GZ, ZY), pp. 1077–1085.

KDD-2012-ZhenY #learning #multimodal #probability

A probabilistic model for multimodal hash function learning (YZ, DYY), pp. 940–948.

KDIR-2012-Beranek #framework

A Framework for Situation Inference based on Belief Function Theory (LB), pp. 358–361.

KEOD-2012-LinharesD #analysis #functional #geometry

Geometric Knowledge Analysis based in Part Functional Descriptions (JCL, AD), pp. 307–313.

KR-2012-BartholomewL #modelling

Stable Models of Formulas with Intensional Functions (MB, JL).

KR-2012-Lifschitz #logic programming #source code

Logic Programs with Intensional Functions (VL).

SEKE-2012-LiuMLS #analysis #non-functional #specification

Risk-driven Non-functional Requirement Analysis and Specification (YL, ZM, HL, WS), pp. 55–60.

SEKE-2012-NoorianBD #classification #non-functional #product line #taxonomy

Non-functional Properties in Software Product Lines: A Taxonomy for Classification (MN, EB, WD), pp. 663–667.

SEKE-2012-XuT #automation #concurrent #generative

Automated Generation of Concurrent Test Code from Function Nets (DX, JT), pp. 346–351.

SIGIR-2012-ArroyueloGMOS #ranking #trade-off

To index or not to index: time-space trade-offs in search engines with positional ranking functions (DA, SG, MM, MO, TS), pp. 255–264.

ECMFA-2012-YueA #case study #industrial #non-functional #requirements #state machine #testing

Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies (TY, SA), pp. 133–145.

ECOOP-2012-MorandatHOV #data analysis #design

Evaluating the Design of the R Language — Objects and Functions for Data Analysis (FM, BH, LO, JV), pp. 104–131.

TOOLS-EUROPE-2012-JezekBH #independence

Enhancing OSGi with Explicit, Vendor Independent Extra-Functional Properties (KJ, PB, LH), pp. 108–123.

GPCE-2012-RaysideMLYXJ #abstraction

Synthesizing iterators from abstraction functions (DR, VM, FL, AY, KX, DJ), pp. 31–40.

PPDP-2012-Martin-MartinR

Transparent function types: clearing up opacity (EMM, JRH), pp. 127–138.

PPDP-2012-PlasmeijerLMAK #functional #programming

Task-oriented programming in a pure functional language (RP, BL, SM, PA, PWMK), pp. 195–206.

PPDP-2012-Thielecke #continuation #functional #parsing #recursion #semantics

Functional semantics of parsing actions, and left recursion elimination as continuation passing (HT), pp. 91–102.

PADL-2012-AntoyH #contract #functional #logic programming #specification

Contracts and Specifications for Functional Logic Programming (SA, MH), pp. 33–47.

PADL-2012-MartinsME #functional #programming

The Environment as an Argument — Context-Aware Functional Programming (PMM, JAM, SE), pp. 48–62.

PADL-2012-Stewart #exclamation #functional #haskell #programming

Make Things Now! Pragmatic Functional Programming in Haskell (DS), p. 17.

POPL-2012-BhatAVG #probability #type system

A type theory for probability density functions (SB, AA, RWV, AGG), pp. 545–556.

POPL-2012-KrishnaswamiBH #bound #functional #higher-order #programming

Higher-order functional reactive programming in bounded space (NRK, NB, JH), pp. 45–58.

RE-2012-AmellerACF #architecture #case study #how #non-functional #requirements

How do software architects consider non-functional requirements: An exploratory study (DA, CPA, JC, XF), pp. 41–50.

RE-2012-Ghazarian #functional #requirements #taxonomy

Characterization of functional software requirements space: The law of requirements taxonomic growth (AG), pp. 241–250.

REFSQ-2012-PoortMWV #architecture #how #non-functional #requirements

How Architects See Non-Functional Requirements: Beware of Modifiability (ERP, NM, IvdW, HvV), pp. 37–51.

SAC-2012-Affeldt #library #low level #on the

On construction of a library of formally verified low-level arithmetic functions (RA), pp. 1326–1331.

SAC-2012-AvalhaisSRT #difference #image #retrieval #search-based

Image retrieval employing genetic dissimilarity weighting and feature space transformation functions (LPSA, SFdS, JFRJ, AJMT), pp. 1012–1017.

SAC-2012-CarvalhoSG #adaptation #fuzzy #segmentation #using

Texture fuzzy segmentation using adaptive affinity functions (BMC, TSS, EG), pp. 51–53.

SAC-2012-HorikoshiNTO #adaptation #configuration management #non-functional #self

Dynamic reconfiguration in self-adaptive systems considering non-functional properties (HH, HN, YT, AO), pp. 1144–1150.

SAC-2012-KimWLLL #component #migration #multi

HW resource componentizing for smooth migration from single-function ECU to multi-function ECU (JCK, KSW, CGL, KJL, YSL), pp. 1821–1828.

SAC-2012-LaineSV

Extending XForms with server-side functionality (ML, DS, PV), pp. 688–695.

SAC-2012-NagarAB #functional #graph #similarity #using

Computing gene functional similarity using combined graphs (AN, HAM, SB), pp. 1381–1386.

SAC-2012-OtaMSA #dependence #flexibility #functional #named

C-Mapping: a flexible XML-RDB mapping method based on functional and inclusion dependencies (SO, AM, NS, TA), pp. 834–839.

SAC-2012-ScandurraAYD #case study #functional #modelling #requirements #state machine #validation

Functional requirements validation by transforming use case models into Abstract State Machines (PS, AA, TY, MD), pp. 1063–1068.

SAC-2012-TsadimasNA #design #information management #non-functional #requirements

Extending SysML to explore non-functional requirements: the case of information system design (AT, MN, DA), pp. 1057–1062.

FSE-2012-SiegmundBAKLLS #comprehension #functional #towards

Toward measuring program comprehension with functional magnetic resonance imaging (JS, AB, SA, CK, JL, TL, GS), p. 24.

ICSE-2012-AlkhalafBG #analysis #string #using #validation #verification

Verifying client-side input validation functions using string analysis (MA, TB, JLG), pp. 947–957.

ICSE-2012-LemosFSG #agile #assessment #development #empirical #programming

Development of auxiliary functions: Should you be agile? An empirical assessment of pair programming and test-first programming (OALL, FCF, FFS, AG), pp. 529–539.

ICSE-2012-PankratiusSG #empirical #functional #imperative #java #manycore #programming #scala

Combining functional and imperative programming for multicore software: An empirical study evaluating Scala and Java (VP, FS, GG), pp. 123–133.

SLE-2012-DuranZT #domain-specific language #non-functional #on the #reuse #specification

On the Reusable Specification of Non-functional Properties in DSLs (FD, SZ, JT), pp. 332–351.

PLEASE-2012-BaumgartFP #approach #certification #component #functional #performance #safety #towards #using

Towards efficient functional safety certification of construction machinery using a component-based approach (SB, JF, SP), pp. 1–4.

SPLC-2012-SoltaniAGHB #automation #feature model #non-functional #requirements

Automated planning for feature model configuration based on functional and non-functional requirements (SS, MA, DG, MH, EB), pp. 56–65.

PPoPP-2012-WernsingS #automation #heuristic #manycore #named

RACECAR: a heuristic for automatic function specialization on multi-core heterogeneous systems (JRW, GS), pp. 321–322.

CAV-2012-ChenW #incremental #learning

Learning Boolean Functions Incrementally (YFC, BYW), pp. 55–70.

ICLP-2012-BacciCFV #automation #functional #logic #specification #synthesis

The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages (GB, MC, MAF, AV), pp. 144–153.

ICLP-2012-GrecoST #logic programming #on the #source code #termination

On the Termination of Logic Programs with Function Symbols (SG, FS, IT), pp. 323–333.

ICLP-2012-VirsedaMT #concurrent #constraints #functional #logic programming #semantics

A Concurrent Operational Semantics for Constraint Functional Logic Programming (RdVV, FPM, MMGT), pp. 154–163.

IJCAR-2012-SebastianiT #cost analysis #optimisation #smt

Optimization in SMT with ℒ𝒜(ℚ) Cost Functions (RS, ST), pp. 484–498.

LICS-2012-GrigorieffV #algorithm #bound #using

Functionals Using Bounded Information and the Dynamics of Algorithms (SG, PV), pp. 345–354.

CBSE-2011-CicchettiCLS #component #embedded #evolution

Evolution management of extra-functional properties in component-based embedded systems (AC, FC, TL, SS), pp. 93–102.

CBSE-2011-LevequeS #component #modelling

Refining extra-functional property values in hierarchical component models (TL, SS), pp. 83–92.

ASE-2011-MacleanIG #animation #correctness #functional #pointer #source code

The CORE system: Animation and functional correctness of pointer programs (EM, AI, GG), pp. 588–591.

CASE-2011-SchererCC #distributed #linear #modelling #network

Transfer function modeling of linear dynamic networks for distributed MPC (HFS, EC, AC), pp. 613–618.

DAC-2011-ChangJC #functional

Simultaneous functional and timing ECO (HYC, IHRJ, YWC), pp. 140–145.

DAC-2011-HenrySN #embedded #power management

A case for NEMS-based functional-unit power gating of low-power embedded microprocessors (MBH, MS, LN), pp. 872–877.

DAC-2011-LinH #satisfiability #using

Using SAT-based Craig interpolation to enlarge clock gating functions (THL, CY(H), pp. 621–626.

DAC-2011-MeguerdichianP

Device aging-based physically unclonable functions (SM, MP), pp. 288–289.

DAC-2011-MoffittSV #clustering #functional #robust #verification

Robust partitioning for hardware-accelerated functional verification (MDM, MAS, PGV), pp. 854–859.

DAC-2011-PotkonjakMNW #architecture #difference

Differential public physically unclonable functions: architecture and applications (MP, SM, AN, SW), pp. 242–247.

DATE-2011-ChenM #composition #functional #generative #testing

Decision ordering based property decomposition for functional test generation (MC, PM), pp. 167–172.

DATE-2011-MohapatraCRR #approximate #design

Design of voltage-scalable meta-functions for approximate computing (DM, VKC, AR, KR), pp. 950–955.

DATE-2011-Pomeranz #functional #generative #testing

Built-in generation of functional broadside tests (IP), pp. 1297–1302.

DATE-2011-SreedharK11a #security

Physically unclonable functions for embeded security based on lithographic variation (AS, SK), pp. 1632–1637.

DATE-2011-WangCC #self

An all-digital built-in self-test technique for transfer function characterization of RF PLLs (PYW, HMC, KTC), pp. 359–364.

ICDAR-2011-HasegawaT #correlation

A Shape Descriptor Combining Logarithmic-Scale Histogram of Radon Transform and Phase-Only Correlation Function (MH, ST), pp. 182–186.

ICDAR-2011-HebertPN #multi

Continuous CRF with Multi-scale Quantization Feature Functions Application to Structure Extraction in Old Newspaper (DH, TP, SN), pp. 493–497.

ICDAR-2011-ImpedovoP11a #exponential #recognition

Tuning between Exponential Functions and Zones for Membership Functions Selection in Voronoi-Based Zoning for Handwritten Character Recognition (SI, GP), pp. 997–1001.

ICDAR-2011-KimL #identification #library

Functional-Based Table Category Identification in Digital Library (SK, YL), pp. 1364–1368.

ICDAR-2011-SuLZ #learning #polynomial

Perceptron Learning of Modified Quadratic Discriminant Function (THS, CLL, XYZ), pp. 1007–1011.

ICDAR-2011-ZhuGN #design #online #recognition

Objective Function Design for MCE-Based Combination of On-line and Off-line Character Recognizers for On-line Handwritten Japanese Text Recognition (BZ, JG, MN), pp. 594–598.

SIGMOD-2011-SolimanIMT #metric #nondeterminism #ranking #semantics

Ranking with uncertain scoring functions: semantics and sensitivity measures (MAS, IFI, DM, MT), pp. 805–816.

ITiCSE-2011-Mirolo #recursion

Is iteration really easier to master than recursion: an investigation in a functional-first CS1 context (CM), p. 362.

ESOP-2011-BrauerK #quantifier #synthesis

Transfer Function Synthesis without Quantifier Elimination (JB, AK), pp. 97–115.

FASE-2011-ErmelGLT #behaviour #consistency #control flow #functional #modelling

Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior (CE, JG, LL, GT), pp. 156–170.

FoSSaCS-2011-Hoshino #functional #linear #programming language

A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy (NH), pp. 320–334.

CSMR-2011-KohlKPDM #analysis #maintenance #multi #using

Using Multivariate Split Analysis for an Improved Maintenance of Automotive Diagnosis Functions (JK, AK, JPP, AD, SM), pp. 305–308.

PASTE-2011-JacobsonRM #library

Labeling library functions in stripped binaries (ERJ, NER, BPM), pp. 1–8.

WCRE-2011-CheathamR

Function Insight: Highlighting Suspicious Sections in Binary Run Traces (MC, JR), pp. 433–434.

PEPM-J-2007-CunhaV11 #query #source code #xpath

Transformation of structure-shy programs with application to XPath queries and strategic functions (AC, JV), pp. 516–539.

PEPM-2011-Caballero #functional #logic programming #program transformation #source code

A program transformation for returning states in functional-logic programs (RC), pp. 111–120.

PEPM-2011-Martin-Martin #functional #logic programming

Type classes in functional logic programming (EMM), pp. 121–130.

STOC-2011-BalcanH #learning

Learning submodular functions (MFB, NJAH), pp. 793–802.

STOC-2011-Goyal #constant #protocol #using

Constant round non-malleable protocols using one way functions (VG), pp. 695–704.

STOC-2011-LinP

Constant-round non-malleable commitments from any one-way function (HL, RP), pp. 705–714.

STOC-2011-VondrakCZ #multi

Submodular function maximization via the multilinear relaxation and contention resolution schemes (JV, CC, RZ), pp. 783–792.

DLT-2011-Wilke #functional #regular expression

A Functional Program for Regular Expressions Matching — Abstract of Invited Talk (TW), pp. 44–45.

ICALP-v1-2011-GoldbergJ #algorithm #polynomial

A Polynomial-Time Algorithm for Estimating the Partition Function of the Ferromagnetic Ising Model on a Regular Matroid (LAG, MJ), pp. 521–532.

ICALP-v1-2011-ODonnellWZ #fourier

The Fourier Entropy-Influence Conjecture for Certain Classes of Boolean Functions (RO, JW, YZ), pp. 330–341.

CEFP-2011-Butterfield #functional #reasoning #source code

Reasoning about I/O in Functional Programs (AB), pp. 93–141.

CEFP-2011-Loogen #functional #haskell #named #parallel #programming

Eden — Parallel Functional Programming with Haskell (RL), pp. 142–206.

CEFP-2011-SlodicakMN #category theory #functional #programming

Some New Approaches in Functional Programming Based on Categories (VS, PM, VN), pp. 517–532.

ICFP-2011-ChenDHA #functional #self #source code

Implicit self-adjusting computation for purely functional programs (YC, JD, MAH, UAA), pp. 129–141.

ICFP-2011-MagalhaesH #case study #experience #functional #modelling

Functional modelling of musical harmony: an experience report (JPM, BdH), pp. 156–162.

ICFP-2011-MightDS #functional #parsing

Parsing with derivatives: a functional pearl (MM, DD, DS), pp. 189–195.

ICFP-2011-Mitchell #ecosystem #functional #modelling #programming

Functional programming through deep time: modeling the first complex ecosystems on earth (EGM), pp. 28–31.

ICFP-2011-MorihataM #functional #parallel #programming

Balanced trees inhabiting functional parallel programming (AM, KM), pp. 117–128.

ICFP-2011-MuM #functional #morphism #theorem

Generalising and dualising the third list-homomorphism theorem: functional pearl (SCM, AM), pp. 385–391.

ICFP-2011-ShiversT #composition #functional

Modular rollback through control logging: a pair of twin functional pearls (OS, AJT), pp. 58–68.

ICFP-2011-UenoOO #functional #garbage collection #performance

An efficient non-moving garbage collector for functional languages (KU, AO, TO), pp. 196–208.

IFL-2011-MiddelkoopEP #functional #source code

Functional Instrumentation of ActionScript Programs with Asil (AM, ABE, WP), pp. 1–16.

IFL-2011-Thomsen #functional #logic #optimisation #using

Describing and Optimising Reversible Logic Using a Functional Language (MKT), pp. 148–163.

CHI-2011-HirshfieldGHHRWWJ #functional #interface #testing #usability

This is your brain on interfaces: enhancing usability testing with functional near-infrared spectroscopy (LMH, RG, SHH, SWH, MR, RW, TW, RJKJ), pp. 373–382.

CHI-2011-LeeD #functional

Reflecting on pills and phone use: supporting awareness of functional abilities for older adults (MLL, AKD), pp. 2095–2104.

CHI-2011-WoelferIHFG #mobile #people #safety

Improving the safety of homeless young people with mobile phones: values, form and function (JPW, AI, DGH, BF, BTG), pp. 1707–1716.

DHM-2011-ZouZYBGC #predict

An Alternative Formulation for Determining Weights of Joint Displacement Objective Function in Seated Posture Prediction (QZ, QZ, J(Y, RB, JG, AC), pp. 231–242.

HCI-ITE-2011-IkeYYMSYS #evaluation #user interface

Evaluation of User Support of a Hemispherical Sub-display with GUI Pointing Functions (SI, SY, YY, NM, KS, TY, HS), pp. 436–445.

HCI-MIIE-2011-HyrkkanenN #functional #how #identification #mobile #physics #question

The Virtual Workplace of a Mobile Employee — How Does Vischer’s Model Function in Identifying Physical, Functional and Psychosocial Fit? (UH, SN), pp. 69–75.

HCI-UA-2011-NagaiKI #learning #process

A Drawing Learning Support System with Auto-evaluating Function Based on the Drawing Process Model (TN, MK, KI), pp. 97–106.

HIMI-v1-2011-PavelJ #approach #authentication #design #logic #protocol

Routing Functionality in the Logic Approach for Authentication Protocol Design (OP, HJ), pp. 366–373.

IDGD-2011-HwangY #interface #multi

Accommodating Both Expert Users and Novice Users in One Interface by Utilizing Multi-layer Interface in Complex Function Products (TKPH, HYY), pp. 159–165.

ICEIS-v1-2011-ChenZ11a #enterprise #formal method #information management #quality

Enterprise Information Systems Bases on the Theory of Quality Function Deploymen (MC, BZ), pp. 586–588.

CIKM-2011-ShiYCYW #community #detection #multi #on the

On selection of objective functions in multi-objective community detection (CS, PSY, YC, ZY, BW), pp. 2301–2304.

CIKM-2011-WattanakitrungrojL #clustering #data type #streaming

Memory-less unsupervised clustering for data streaming by versatile ellipsoidal function (NW, CL), pp. 967–972.

ECIR-2011-EickhoffPGTG #query #web

Web Search Query Assistance Functionality for Young Audiences (CE, TP, KG, SDT, RG), pp. 776–779.

ICML-2011-BuffoniCGU #learning #standard

Learning Scoring Functions with Order-Preserving Losses and Standardized Supervision (DB, CC, PG, NU), pp. 825–832.

ICML-2011-Bylander #learning #linear #multi #polynomial

Learning Linear Functions with Quadratic and Linear Multiplicative Updates (TB), pp. 505–512.

ICML-2011-ChakrabortyS #learning

Structure Learning in Ergodic Factored MDPs without Knowledge of the Transition Function’s In-Degree (DC, PS), pp. 737–744.

ICML-2011-KadriRPDR #functional #kernel

Functional Regularized Least Squares Classication with Operator-valued Kernels (HK, AR, PP, ED, AR), pp. 993–1000.

ICML-2011-LiuI #bound #difference #using

Bounding the Partition Function using Holder’s Inequality (QL, ATI), pp. 849–856.

ICML-2011-PazisP #scalability #set

Generalized Value Functions for Large Action Sets (JP, RP), pp. 1185–1192.

ICML-2011-VainsencherDM #estimation #online

Bundle Selling by Online Estimation of Valuation Functions (DV, OD, SM), pp. 1137–1144.

KDD-2011-PereiraB #classification #functional #using

Classification of functional magnetic resonance imaging data using informative pattern features (FP, MB), pp. 940–946.

KDIR-2011-ConroyGO #similarity #twitter

Measuring Twitter user Similarity as a Function of Strength of Ties (JC, JG, CO), pp. 262–270.

KDIR-2011-ReuterC #identification #learning #similarity #using

Learning Similarity Functions for Event Identification using Support Vector Machines (TR, PC), pp. 208–215.

KEOD-2011-SchadeOS #functional #integration #web

Functional Integration for the Observation Web (SS, FOO, LS), pp. 498–504.

KMIS-2011-JezekB #case study #deployment #framework #tool support

Extra-functional Properties Framework with Configuration based on Deployment Environment — Tool Demonstration and Case-study (KJ, PB), pp. 322–325.

MLDM-2011-ChenER #mining #parametricity #using

Mining Spatial Trajectories Using Non-parametric Density Functions (CSC, CFE, NJR), pp. 496–510.

SEKE-2011-Krishna #approach #non-functional #process #requirements #uml

A Process Oriented Approach to Model Non-Functional Requirements Proposition Extending UML (AK), pp. 736–739.

SEKE-2011-LiuZH11a #classification #empirical #non-functional #requirements

An Empirical Study on Classification of Non-Functional Requirements (SL, RZ, XH), pp. 444–449.

SEKE-2011-SantosSN #functional #order #performance #reuse #testing

Reusing Functional Testing in order to Decrease Performance and Stress Testing Costs (IdSS, ARS, PdAdSN), pp. 470–474.

SEKE-2011-VillegasS #non-functional #requirements

Mapping non-functional requirements to cloud applications (DV, SMS), pp. 527–532.

SEKE-2011-YuLFC #composition #testing

A Regression Test Technique for Analyzing the Functionalities of Service Composition (HY, DL, GF, LC), pp. 578–582.

SIGIR-2011-AsadiMEL #learning #pseudo #ranking #web

Pseudo test collections for learning web search ranking functions (NA, DM, TE, JJL), pp. 1073–1082.

SIGIR-2011-BlondelSU

Tackling class imbalance and data scarcity in literature-based gene function annotation (MB, KS, KU), pp. 1123–1124.

SIGIR-2011-ThomasJH #quality #what

What deliberately degrading search quality tells us about discount functions (PT, TJ, DH), pp. 1107–1108.

SIGIR-2011-ZhouYZ #functional #matrix #recommendation

Functional matrix factorizations for cold-start recommendation (KZ, SHY, HZ), pp. 315–324.

MoDELS-2011-RamirezC #automation #monitoring #requirements

Automatic Derivation of Utility Functions for Monitoring Software Requirements (AJR, BHCC), pp. 501–516.

MoDELS-2011-RamirezC #automation #monitoring #requirements

Automatic Derivation of Utility Functions for Monitoring Software Requirements (AJR, BHCC), pp. 501–516.

LOPSTR-2011-Almendros-JimenezCGS #declarative #functional #xquery

A Declarative Embedding of XQuery in a Functional-Logic Language (JMAJ, RC, YGR, FSP), pp. 42–56.

PPDP-2011-ChristiansenS #polymorphism #strict

Minimally strict polymorphic functions (JC, DS), pp. 53–64.

PADL-2011-CaballeroGS #functional #xpath

Integrating XPath with the Functional-Logic Language Toy (RC, YGR, FSP), pp. 145–159.

PADL-2011-Kaivola #execution #framework #functional #validation

Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework (RK), p. 1.

POPL-2011-OngR #algebra #data type #functional #higher-order #pattern matching #source code #verification

Verifying higher-order functional programs with pattern-matching algebraic data types (CHLO, SJR), pp. 587–598.

RE-2011-WeiYJZ #automation #modelling #named #non-functional #reasoning

rΣ: Automated reasoning tool for non-functional requirement goal models (BW, BY, ZJ, DZ), pp. 337–338.

SAC-2011-CoupeyF #adaptation #component #framework #functional

A formal framework for a functional language with adaptable components (PC, CF), pp. 1297–1298.

SAC-2011-LimaSM #aspect-oriented #authoring #design #hypermedia #non-functional #tool support

Considering non-functional aspects in the design of hypermedia authoring tools (BSL, LFGS, MFM), pp. 1259–1266.

SAC-2011-Sanchez-GilHO

Relating function spaces to resourced function spaces (LSG, MHH, YOM), pp. 1301–1308.

SAC-2011-ShimadaKLCN #composition #design #embedded #functional #kernel

Design issues in composition kernels for highly functional embedded systems (HS, YK, THL, AC, TN), pp. 338–345.

SAC-2011-ZhangZZZX #detection #learning #web

Harmonic functions based semi-supervised learning for web spam detection (WZ, DZ, YZ, GZ, BX), pp. 74–75.

ICSE-2011-McMillan11a

Finding relevant functions in millions of lines of code (CM), pp. 1170–1172.

ICSE-2011-McMillanGPXF #named

Portfolio: finding relevant functions and their usage (CM, MG, DP, QX, CF), pp. 111–120.

ICSE-2011-McMillanGPXF11a #named

Portfolio: a search engine for finding functions and their usages (CM, MG, DP, QX, CF), pp. 1043–1045.

ICSE-2011-Smith #functional #requirements #security #testing #using

Systematizing security test case planning using functional requirements phrases (BS), pp. 1136–1137.

SLE-2011-KaminskiW #attribute grammar #functional #programming language

Integrating Attribute Grammar and Functional Programming Language Features (TK, EVW), pp. 263–282.

SPLC-2011-GhezziS #approach #model checking #non-functional #parametricity #performance #product line #towards #using #verification

Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking (CG, AMS), pp. 170–174.

SPLC-2011-SiegmundRKGAK #non-functional #predict #product line #scalability

Scalable Prediction of Non-functional Properties in Software Product Lines (NS, MR, CK, PGG, SA, SSK), pp. 160–169.

CGO-2011-KarrenbergH

Whole-function vectorization (RK, SH), pp. 141–150.

CGO-2011-LeeT #automation #fine-grained #parallel

Automatic parallelization of fine-grained meta-functions on a chip multiprocessor (SL, JT), pp. 130–140.

SOSP-2011-ColpNZACDLW #security

Breaking up is hard to do: security and functionality in a commodity hypervisor (PC, MN, JZ, WA, GC, TD, PL, AW), pp. 189–202.

CAV-2011-BalabanovJ #evaluation #proving

Resolution Proofs and Skolem Functions in QBF Evaluation and Applications (VB, JHRJ), pp. 149–164.

CAV-2011-JhalaMR #functional #named #source code #using #verification

HMC: Verifying Functional Programs Using Abstract Interpreters (RJ, RM, AR), pp. 470–485.

CSL-2011-EscardoOP

System T and the Product of Selection Functions (MHE, PO, TP), pp. 233–247.

CSL-2011-ReusS #functional #logic #source code

Relative Completeness for Logics of Functional Programs (BR, TS), pp. 470–480.

ICLP-2011-ZomboriCS #functional #prolog #static typing #type checking

Static Type Checking for the Q Functional Language in Prolog (ZZ, JC, PS), pp. 62–72.

ICST-2011-BelliBTF #automaton #mutation testing #testing

Mutation Testing of “Go-Back” Functions Based on Pushdown Automata (FB, MB, TT, ZF), pp. 249–258.

RTA-2011-AvanziniEM #exponential #order #term rewriting

A Path Order for Rewrite Systems that Compute Exponential Time Functions (MA, NE, GM), pp. 123–138.

RTA-2011-KochemsO #analysis #functional #linear #reachability #using

Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars (JK, CHLO), pp. 187–202.

RTA-2011-KopR #algebra #dependence #functional #higher-order

Higher Order Dependency Pairs for Algebraic Functional Systems (CK, FvR), pp. 203–218.

RTA-2011-NishidaV #recursion

Program Inversion for Tail Recursive Functions (NN, GV), pp. 283–298.

SAT-2011-IgnatievS #encryption

DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions (AI, AS), pp. 76–89.

ECSA-2010-AhujaSN #design #functional

MDA Tool for Telecom Service Functional Design (AA, JS, RN), pp. 519–522.

ECSA-2010-BrinkkemperP #architecture #functional #industrial #modelling

Functional Architecture Modeling for the Software Product Industry (SB, SP), pp. 198–213.

CASE-2010-HuangL #assessment

Comprehensive planning of robotic therapy and assessment of task-oriented functions via improved QFD applicable to hand rehabilitation (YYH, KHL), pp. 252–257.

DAC-2010-AltunR

Lattice-based computation of Boolean functions (MA, MDR), pp. 609–612.

DAC-2010-HelinskiAP #evaluation #metric #physics #quality

Quality metric evaluation of a physical unclonable function derived from an IC’s power distribution system (RH, DA, JP), pp. 240–243.

DAC-2010-KundertC #functional #modelling #verification

Model-based functional verification (KSK, HC), pp. 421–424.

DAC-2010-LimKH #functional #generative #modelling #performance

An efficient test vector generation for checking analog/mixed-signal functional models (BL, JK, MAH), pp. 767–772.

DAC-2010-TanachutiwatLWS #configuration management #logic #multi

Reconfigurable multi-function logic based on graphene P-N junctions (ST, JUL, WW, CYS), pp. 883–888.

DATE-2010-BarrioMMHM #functional #synthesis #using

Using Speculative Functional Units in high level synthesis (AADB, MCM, JMM, RH, SOM), pp. 1779–1784.

DATE-2010-FanucciPDSTCLT #programmable

An high voltage CMOS voltage regulator for automotive alternators with programmable functionalities and full reverse polarity capability (LF, GP, PD, RS, FT, PC, LL, PT), pp. 526–531.

DATE-2010-LiuZYX #power management #pseudo #testing

Layout-aware pseudo-functional testing for critical paths considering power supply noise effects (XL, YZ, FY, QX), pp. 1432–1437.

DATE-2010-LiZYZ #functional

Proactive NBTI mitigation for busy functional units in out-of-order microprocessors (LL, YZ, JY, JZ), pp. 411–416.

DATE-2010-PomeranzR10a #functional #on the #testing

On reset based functional broadside tests (IP, SMR), pp. 1438–1443.

DATE-2010-WangT #novel #physics #process

Novel Physical Unclonable Function with process and environmental variations (XW, MT), pp. 1065–1070.

DATE-2010-ZhangDYMZKCPS #code generation #compilation #evaluation

A special-purpose compiler for look-up table and code generation for function evaluation (YZ, LD, PY, SPM, HZ, MTK, CC, NP, XS), pp. 1130–1135.

DocEng-2010-Lumley #documentation #functional #invariant #layout

Pre-evaluation of invariant layout in functional variable-data documents (JWL), pp. 251–254.

VLDB-2010-BeskalesIG #constraints #dependence #functional

Sampling the Repairs of Functional Dependency Violations under Hard Constraints (GB, IFI, LG), pp. 197–207.

VLDB-2010-MahPC #algorithm #functional #named #realtime #set

UASMAs: a set of algorithms to instantaneously map SNPs in real time to aid functional SNP discovery (JM, DP, SC), pp. 1406–1413.

VLDB-2010-MarnetteMP #dependence #functional #scalability

Scalable Data Exchange with Functional Dependencies (BM, GM, PP), pp. 105–116.

VLDB-2010-SenDG #database #evaluation #probability #query

Read-Once Functions and Query Evaluation in Probabilistic Databases (PS, AD, LG), pp. 1068–1079.

VLDB-2011-SagyKSS10 #difference #distributed #query #representation

Distributed Threshold Querying of General Functions by a Difference of Monotonic Representation (GS, DK, IS, AS), pp. 46–57.

ESOP-2010-BaillotGM #functional #linear #logic

A PolyTime Functional Language from Light Linear Logic (PB, MG, VM), pp. 104–124.

ESOP-2010-LagoS #functional #programming #sublinear

Functional Programming in Sublinear Space (UDL, US), pp. 205–225.

TACAS-2010-CookKRW #ranking #synthesis

Ranking Function Synthesis for Bit-Vector Relations (BC, DK, PR, CMW), pp. 236–250.

WCRE-2010-WongASLM #behaviour #detection #programming #reverse engineering #search-based #using

Reverse Engineering Utility Functions Using Genetic Programming to Detect Anomalous Behavior in Software (SW, MA, JS, KL, SM), pp. 141–149.

PEPM-2010-Hofmann #functional #induction #named #programming

IGOR2 — an analytical inductive functional programming system: tool demo (MH0), pp. 29–32.

PEPM-2010-RiescoR #nondeterminism #programming

Programming with singular and plural non-deterministic functions (AR, JRH), pp. 83–92.

PLDI-2010-KuncakMPS #functional #synthesis

Complete functional synthesis (VK, MM, RP, PS), pp. 316–329.

PLDI-2010-MightSH #functional #object-oriented #program analysis

Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis (MM, YS, DVH), pp. 305–315.

STOC-2010-AkaviaGGM #np-hard

Erratum for: on basing one-way functions on NP-hardness (AA, OG, SG, DM), pp. 795–796.

STOC-2010-DiakonikolasHKMRST #bound #polynomial

Bounding the average sensitivity and noise sensitivity of polynomial threshold functions (ID, PH, AK, RM, PR, RAS, LYT), pp. 533–542.

STOC-2010-HaitnerRV #generative #performance #pseudo

Efficiency improvements in constructing pseudorandom generators from one-way functions (IH, OR, SPV), pp. 437–446.

STOC-2010-MekaZ #generative #polynomial #pseudo

Pseudorandom generators for polynomial threshold functions (RM, DZ), pp. 427–436.

FLOPS-2010-BartheBK #framework #functional

A Functional Framework for Result Checking (GB, PB, CK), pp. 72–86.

FLOPS-2010-MorihataM #automation #parallel #quantifier #recursion #using

Automatic Parallelization of Recursive Functions Using Quantifier Elimination (AM, KM), pp. 321–336.

FLOPS-2010-NishidaS #injection #proving #term rewriting

Proving Injectivity of Functions via Program Inversion in Term Rewriting (NN, MS), pp. 288–303.

ICALP-v1-2010-GoldbergJ #approximate

Approximating the Partition Function of the Ferromagnetic Potts Model (LAG, MJ), pp. 396–407.

ICALP-v2-2010-ColcombetKL #cost analysis

Regular Temporal Cost Functions (TC, DK, SL), pp. 563–574.

ICALP-v2-2010-HofmannKS #functional #question #what

What Is a Pure Functional? (MH, AK, HS), pp. 199–210.

LATA-2010-PlatekML #automaton #functional #generative

Restarting Automata with Structured Output and Functional Generative Description (MP, FM, ML), pp. 500–511.

ICFP-2010-Blelloch #algorithm #functional #parallel

Functional parallel algorithms (GEB), pp. 247–248.

ICFP-2010-FischerHW #functional #game studies #regular expression

A play on regular expressions: functional pearl (SF, FH, TW), pp. 357–368.

ICFP-2010-ScottSGM #functional #industrial #programming #using

Using functional programming within an industrial product group: perspectives and perceptions (DJS, RS, TG, AM), pp. 87–92.

ICFP-2010-VytiniotisK #functional

Functional pearl: every bit counts (DV, AJK), pp. 15–26.

IFL-2010-BoeijinkHK #functional #lazy evaluation

Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages (AB, PKFH, JK), pp. 54–71.

ICGT-2010-HermannEOG #analysis #behaviour #formal method #functional #graph grammar #model transformation

Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars (FH, HE, FO, UG), pp. 155–170.

ICGT-2010-Jiresch #interactive

Realizing Impure Functions in Interaction Nets (EJ), pp. 394–396.

CHI-2010-GrossmanF #comprehension #named #video

ToolClips: an investigation of contextual video assistance for functionality understanding (TG, GWF), pp. 1515–1524.

ICEIS-ISAS-2010-JiagueFGKLMS #functional #modelling #policy #security

Model-driven Engineering of Functional Security Policies (MEJ, MF, FG, PK, RL, JM, RSD), pp. 374–379.

ECIR-2010-PengMO #learning #ranking

Learning to Select a Ranking Function (JP, CM, IO), pp. 114–126.

ICML-2010-LizotteBM #analysis #learning #multi #performance #random

Efficient Reinforcement Learning with Multiple Reward Functions for Randomized Controlled Trial Analysis (DJL, MHB, SAM), pp. 695–702.

ICML-2010-MaeiSBS #approximate #learning #towards

Toward Off-Policy Learning Control with Function Approximation (HRM, CS, SB, RSS), pp. 719–726.

ICPR-2010-ChoPPKKALL #hybrid #segmentation #using

Level-Set Segmentation of Brain Tumors Using a New Hybrid Speed Function (WC, JP, SYP, SHK, SWK, GA, MEL, GL), pp. 1545–1548.

ICPR-2010-Coeurjolly #approximate #performance

Fast and Accurate Approximation of the Euclidean Opening Function in Arbitrary Dimension (DC), pp. 229–232.

ICPR-2010-ImpedovoMP #recognition

Membership Functions for Zoning-Based Recognition of Handwritten Digits (SI, RM, GP), pp. 1876–1879.

ICPR-2010-KumarTG #symmetry

Combination of Symmetric Hash Functions for Secure Fingerprint Matching (GK, ST, VG), pp. 890–893.

ICPR-2010-PapariCP #detection #novel #using

Steerable Filtering Using Novel Circular Harmonic Functions with Application to Edge Detection (GP, PC, NP), pp. 3947–3950.

ICPR-2010-TumaIP #classification #kernel #set #using

Hydroacoustic Signal Classification Using Kernel Functions for Variable Feature Sets (MT, CI, MP), pp. 1011–1014.

ICPR-2010-Vazquez-SantacruzB #geometry #network

A Geometric Radial Basis Function Network for Robot Perception and Action (EVS, EBC), pp. 2961–2964.

ICPR-2010-ZareG #multi #pattern matching #pattern recognition #recognition #using

Pattern Recognition Using Functions of Multiple Instances (AZ, PDG), pp. 1092–1095.

KDD-2010-FeiH #classification #functional #graph

Boosting with structure information in the functional space: an application to graph classification (HF, JH), pp. 643–652.

KMIS-2010-Jezek #bibliography #implementation #repository

Universal Extra-functional Properties Repository — Model Overview and Implementation (KJ), pp. 382–385.

KR-2010-CreignouST #abduction #complexity #set #strict

Complexity of Propositional Abduction for Restricted Sets of Boolean Functions (NC, JS, MT).

KR-2010-DelgrandeW #horn clause #set

Horn Clause Contraction Functions: Belief Set and Belief Base Approaches (JPD, RW).

KR-2010-KelveyMNS #dependence #functional #independence

Independence and Functional Dependence Relations on Secrets (RK, SMM, PN, BS).

SEKE-2010-BansalKBG #composition #non-functional #weaving #web #web service

Weaving Functional and Non-Functional Attributes for Dynamic Web Service Composition (AB, SK, MBB, GG), pp. 247–252.

SEKE-2010-ShewchukG #experience #functional #maintenance #testing #user interface #using

Experience with Maintenance of a Functional GUI Test Suite using IBM Rational Functional Tester (YS, VG), pp. 489–494.

TOOLS-EUROPE-2010-ChristBEGL #approach #framework #metamodelling #specification

A Generic Meta-model-Based Approach for Specifying Framework Functionality and Usage (FC, JCB, GE, CG, ML), pp. 21–40.

TOOLS-EUROPE-2010-NordioCMMT #reasoning

Reasoning about Function Objects (MN, CC, BM, PM, JT), pp. 79–96.

GPCE-2010-RysselPK #automation #identification #modelling

Automatic variation-point identification in function-block-based models (UR, JP, KK), pp. 23–32.

LOPSTR-2010-BacciC #first-order #functional #logic programming #source code

Abstract Diagnosis of First Order Functional Logic Programs (GB, MC), pp. 215–233.

PPDP-2010-AsaiK #continuation #functional #virtual machine

Functional derivation of a virtual machine for delimited continuations (KA, AK), pp. 87–98.

POPL-2010-Chlipala #compilation #functional

A verified compiler for an impure functional language (AC), pp. 93–106.

RE-2010-AmellerFC #development #modelling #non-functional #requirements

Dealing with Non-Functional Requirements in Model-Driven Development (DA, XF, JC), pp. 189–198.

RE-2010-MenzelMGD #comparison #functional #requirements #specification

An Experimental Comparison Regarding the Completeness of Functional Requirements Specifications (IM, MM, AG, JD), pp. 15–24.

REFSQ-2010-AmellerF #architecture #bibliography #how #non-functional #requirements

How Do Software Architects Consider Non-Functional Requirements: A Survey (DA, XF), pp. 276–277.

SAC-2010-KrajcaV #functional #memory management #parallel #transaction

Software transactional memory for implicitly parallel functional language (PK, VV), pp. 2123–2130.

SAC-2010-MairizaZN #non-functional #requirements

An investigation into the notion of non-functional requirements (DM, DZ, NN), pp. 311–317.

SAC-2010-SykesHMK #adaptation #architecture #non-functional #self

Exploiting non-functional preferences in architectural adaptation for self-managed systems (DS, WH, JM, JK), pp. 431–438.

FSE-2010-LiG #gpu #kernel #scalability #smt #verification

Scalable SMT-based verification of GPU kernel functions (GL, GG), pp. 187–196.

ICSE-2010-JilaniMLGM #invariant #using

Using invariant functions and invariant relations to compute loop functions (LLJ, OM, AL, WG, AM), pp. 317–318.

LDTA-2010-JansenPKA #functional #workflow

Embedding a web-based workflow management system in a functional language (JMJ, RP, PWMK, PA), p. 7.

SLE-2010-PirkelbauerDS #c++ #evolution

Support for the Evolution of C++ Generic Functions (PP, DD, BS), pp. 123–142.

HPDC-2010-HigdonLK #functional #modelling #sequence #similarity

Modeling sequence and function similarity between proteins for protein functional annotation (RH, BL, EK), pp. 499–502.

HPDC-2010-PetrouSMFPD #mutation testing #optimisation #parallel #permutation #testing

Optimization of a parallel permutation testing function for the SPRINT R package (SP, TMS, MM, TF, MP, BD), pp. 516–521.

CAV-2010-KuncakMPS #functional #named #synthesis

Comfusy: A Tool for Complete Functional Synthesis (VK, MM, RP, PS), pp. 430–433.

ICLP-2010-Alqaddoumi10 #functional #logic programming #parallel #towards #virtual machine

Towards a Parallel Virtual Machine for Functional Logic Programming (AA), pp. 222–225.

ICLP-J-2010-AlvianoFL #decidability #effectiveness #query

Disjunctive ASP with functions: Decidable queries and effective computation (MA, WF, NL), pp. 497–512.

ICST-2010-PavlovicE #diagrams #model checking

Model Checking PLC Software Written in Function Block Diagram (OP, HDE), pp. 439–448.

ICST-2010-SilvaJA #cost analysis #execution #machine learning #symmetry #testing

Machine Learning Methods and Asymmetric Cost Function to Estimate Execution Effort of Software Testing (DGeS, MJ, BTdA), pp. 275–284.

ICST-2010-SinnigKC #formal method #functional #generative #testing #user interface

A Formal Model for Generating Integrated Functional and User Interface Test Cases (DS, FK, PC), pp. 255–264.

ICTSS-2010-WalkinshawBDP #case study #functional #induction #testing

Increasing Functional Coverage by Inductive Testing: A Case Study (NW, KB, JD, JP), pp. 126–141.

IJCAR-2010-Nivelle #logic

Classical Logic with Partial Functions (HdN), pp. 203–217.

LICS-2010-ColcombetL #cost analysis #finite

Regular Cost Functions over Finite Trees (TC, CL), pp. 70–79.

SAT-2010-TompkinsH #satisfiability

Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT (DADT, HHH), pp. 278–292.

TAP-2010-Blanchette #algebra #analysis #data type #induction #recursion #relational

Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions (JCB), pp. 117–134.

CBSE-2009-BotaschanjanH #architecture #functional

Integrating Functional and Architectural Views of Reactive Systems (JB, AH), pp. 156–172.

CBSE-2009-SentillesSCC #component #integration #modelling

Integration of Extra-Functional Properties in Component Models (SS, PS, JC, IC), pp. 173–190.

CASE-2009-MonchZ #case study #experience #prototype #state of the art #web #web service

Providing production planning and control functionality by web services: State of the art and experiences with prototypes (LM, JZ), pp. 495–500.

CASE-2009-NaveenRR #algorithm #difference #evolution #network #search-based #using

Rule extraction from differential evolution trained radial basis function network using genetic algorithms (NN, VR, CRR), pp. 152–157.

DAC-2009-ArbelER

Resurrecting infeasible clock-gating functions (EA, CE, OR), pp. 160–165.

DAC-2009-BawiecN #logic #synthesis

Boolean logic function synthesis for generalised threshold gate circuits (MAB, MN), pp. 83–86.

DAC-2009-HelinskiAP #physics #using

A physical unclonable function defined using power distribution system equivalent resistance variations (RH, DA, JP), pp. 676–681.

DAC-2009-WilleD #logic #scalability #synthesis

BDD-based synthesis of reversible logic for large functions (RW, RD), pp. 270–275.

DAC-2009-YuanX #identification #on the #pseudo #testing

On systematic illegal state identification for pseudo-functional testing (FY, QX), pp. 702–707.

DATE-2009-AbateSVK #case study #functional

A study of the Single Event Effects impact on functional mapping within Flash-based FPGAs (FA, LS, MV, FLK), pp. 1226–1229.

DATE-2009-BaneresCK #design

Variable-latency design by function speculation (DB, JC, MK), pp. 1704–1709.

DATE-2009-BernasconiCTV #on the

On decomposing Boolean functions via extended cofactoring (AB, VC, GT, TV), pp. 1464–1469.

DATE-2009-BombieriFPHL #functional #verification

Functional qualification of TLM verification (NB, FF, GP, MH, FL), pp. 190–195.

DATE-2009-HenzenCFF #evaluation #hardware

Hardware evaluation of the stream cipher-based hash functions RadioGatún and irRUPT (LH, FC, NF, WF), pp. 646–651.

HT-2009-VitaliIB

New forms of Xanalogical storage and function (FV, ADI, JB), pp. 389–390.

SIGMOD-2009-CormodeGKMSZ #dependence #functional

Estimating the confidence of conditional functional dependencies (GC, LG, FK, AM, DS, XZ), pp. 469–482.

SIGMOD-2009-ZhongLLXTZP #approach #ontology

A gauss function based approach for unbalanced ontology matching (QZ, HL, JL, GTX, JT, LZ, YP), pp. 669–680.

VLDB-2009-FriedmanPC #approach #named #pipes and filters #polymorphism #self #sql

SQL/MapReduce: A practical approach to self-describing, polymorphic, and parallelizable user-defined functions (EF, PMP, JC), pp. 1402–1413.

VLDB-2009-KimuraHRMZ #correlation #dependence #functional

Correlation Maps: A Compressed Access Method for Exploiting Soft Functional Dependencies (HK, GH, AR, SM, SBZ), pp. 1222–1233.

ITiCSE-2009-Rubio-SanchezV #recursion #using

Tail recursion by using function generalization (MRS, JÁVI), p. 394.

WRLA-2008-CaballeroMRV09 #debugging #declarative #functional #maude

A Declarative Debugger for Maude Functional Modules (RC, NMO, AR, AV), pp. 63–81.

ESOP-2009-LakinP #functional #higher-order #induction #programming

Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming (MRL, AMP), pp. 47–61.

ICPC-2009-DekelH #api #comprehension #documentation

Reading the documentation of invoked API functions in program comprehension (UD, JDH), pp. 168–177.

WCRE-1999-PassingSLP99a #bound #named

NTrace: Function Boundary Tracing for Windows on IA-32 (JP, AS, MvL, AP), pp. 43–52.

PEPM-2009-Lopez-FraguasRS #flexibility #framework #nondeterminism #programming

A flexible framework for programming with non-deterministic functions (FJLF, JRH, JSH), pp. 91–100.

STOC-2009-Guruswami #morphism

Artin automorphisms, cyclotomic function fields, and folded list-decodable codes (VG), pp. 23–32.

STOC-2009-RabaniS #linear

Explicit construction of a small epsilon-net for linear threshold functions (YR, AS), pp. 649–658.

ICALP-v1-2009-ArackaparambilBC #functional #monitoring

Functional Monitoring without Monotonicity (CA, JB, AC), pp. 95–106.

ICALP-v2-2009-Colcombet #cost analysis #formal method #monad

The Theory of Stabilisation Monoids and Regular Cost Functions (TC), pp. 139–150.

ICALP-v2-2009-IbrahimKYZ #sublinear

Secure Function Collection with Sublinear Storage (MHI, AK, MY, HSZ), pp. 534–545.

CEFP-2009-FluetBFRRSX #functional #parallel #programming

Programming in Manticore, a Heterogenous Parallel Functional Language (MF, LB, NF, MR, JHR, AS, YX), pp. 94–145.

CEFP-2009-Porkolab #c++ #functional #metaprogramming

Functional Programming with C++ Template Metaprograms (ZP), pp. 306–353.

ICFP-2009-FelleisenFFK #functional

A functional I/O system or, fun for freshman kids (MF, RBF, MF, SK), pp. 47–58.

ICFP-2009-FischerKS #functional #lazy evaluation #nondeterminism #programming

Purely functional lazy non-deterministic programming (SF, OK, CcS), pp. 11–22.

ICFP-2009-GazagnaireH #database #functional #named #performance #programming #transaction #using

OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons (TG, VH), pp. 203–214.

ICFP-2009-Hinze #functional

Functional Pearl: La Tour D’Hanoï (RH), pp. 3–10.

ICFP-2009-MidtgaardJ #abstract interpretation #analysis #control flow

Control-flow analysis of function calls and returns by abstract interpretation (JM, TPJ), pp. 287–298.

ICFP-2009-NewtonK #case study #domain-specific language #embedded #experience #functional #parallel

Experience report: embedded, parallel computer-vision with a functional DSL (RN, TK), pp. 59–64.

ICFP-2009-Sampson #case study #experience #functional #haskell #lazy evaluation

Experience report: Haskell in the “real world”: writing a commercial application in a lazy functional language (CJS), pp. 185–190.

ICFP-2009-SculthorpeN #dependent type #functional #programming

Safe functional reactive programming through dependent types (NS, HN), pp. 23–34.

ICFP-2009-Steele #execution #functional #parallel

Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful (GLSJ), pp. 1–2.

ICFP-2009-Voigtlander #functional #theorem

Free theorems involving type constructor classes: functional pearl (JV), pp. 173–184.

CHI-2009-HirshfieldSGKJSF #adaptation #functional #interface #metric #testing #usability

Brain measurement for usability testing and adaptive interfaces: an example of uncovering syntactic workload with functional near infrared spectroscopy (LMH, ETS, AG, JK, RJKJ, AS, SF), pp. 2185–2194.

CHI-2009-LeonardiMNPZGC #functional

Knocking on elders’ door: investigating the functional and emotional geography of their domestic space (CL, CM, EN, FP, MZ, FG, AC), pp. 1703–1712.

DHM-2009-HeZFH #artificial reality #multi #visualisation

A Multi-functional Visualization System for Motion Captured Human Body Based on Virtual Reality Technology (QH, LZ, XF, YH), pp. 115–122.

HCI-NT-2009-LinHYTS #usability

Comparing the Usability of the Icons and Functions between IE6.0 and IE7.0 (CJL, MCH, HCY, PJT, WJS), pp. 465–473.

HCI-VAD-2009-LinYYC #automation #interface

Allocating Human-System Interfaces Functions by Levels of Automation in an Advanced Control Room (CJL, CWY, TCY, LYC), pp. 741–750.

HIMI-DIE-2009-BrangierDE #analysis #integration #library

The 7 Basic Functions of a Digital Library — Analysis of Focus Groups about the Usefulness of a Thematic Digital Library on the History of European Integration (EB, JD, LE), pp. 345–354.

HIMI-II-2009-HoMBB #concept #requirements

Information Requirements and Sharing for NGATS Function Allocation Concepts (NTH, PM, JB, BB), pp. 776–785.

ICEIS-AIDSS-2009-BoryczkaK #approach #heuristic

A New Heuristic Function in Ant-miner Approach (UB, JK), pp. 33–38.

ICEIS-J-2009-SoonthornphisajT #self

A Self-tuning of Membership Functions for Medical Diagnosis (NS, PT), pp. 275–286.

CIKM-2009-KanoulasA #empirical

Empirical justification of the gain and discount function for nDCG (EK, JAA), pp. 611–620.

CIKM-2009-VienVCYKC #kernel #locality #named #using #visualisation

VRIFA: a nonlinear SVM visualization tool using nomogram and localized radial basis function (LRBF) kernels (NAV, NHV, TC, HY, SK, BHC), pp. 2081–2082.

CIKM-2009-WuCZZ #approach #definite clause grammar #learning #novel #rank #using

Smoothing DCG for learning to rank: a novel approach using smoothed hinge functions (MW, YC, ZZ, HZ), pp. 1923–1926.

ICML-2009-Schmidt #process #using

Function factorization using warped Gaussian processes (MNS), pp. 921–928.

ICML-2009-SuttonMPBSSW #approximate #learning #linear #performance

Fast gradient-descent methods for temporal-difference learning with linear function approximation (RSS, HRM, DP, SB, DS, CS, EW), pp. 993–1000.

ICML-2009-TaylorP #approximate #kernel #learning

Kernelized value function approximation for reinforcement learning (GT, RP), pp. 1017–1024.

KDIR-2009-Exman #composition #named #paradigm

Interestingness — A Unifying Paradigm — Bipolar Function Composition (IE), pp. 196–201.

KEOD-2009-GudasL #knowledge-based #refinement

Knowledge-based Refinement of Business Management Functions (SG, AL), pp. 435–442.

KEOD-2009-Hufflen #component #framework #non-functional #using

A Framework for Managing Components using Non-functional Properties (JMH), pp. 460–463.

RecSys-2009-HadzicO #dependence #functional

Uncovering functional dependencies in MDD-compiled product catalogues (TH, BO), pp. 377–380.

SIGIR-2009-LiLJZ #ranking #robust #web

Comparing both relevance and robustness in selection of web ranking functions (FL, XL, SJ, ZZ), pp. 648–649.

TOOLS-EUROPE-2009-CaronCMV #adaptation #component #framework #functional

A Coding Framework for Functional Adaptation of Coarse-Grained Components in Extensible EJB Servers (OC, BC, AM, GV), pp. 215–230.

PPDP-2009-AntoyH #functional #logic programming #set

Set functions for functional logic programming (SA, MH), pp. 73–82.

PPDP-2009-Kobayashi #higher-order #model checking

Model-checking higher-order functions (NK), pp. 25–36.

PPDP-2009-Vasconcelos #functional #linear #parallel #programming #thread

Session types for linear multithreaded functional programming (VTV), pp. 1–6.

RE-2009-EspanaCGP #empirical #functional #requirements #specification

Evaluating the Completeness and Granularity of Functional Requirements Specifications: A Controlled Experiment (SE, NCF, AG, OP), pp. 161–170.

RE-2009-GhezziT #non-functional #reasoning #requirements

Reasoning on Non-Functional Requirements for Integrated Services (CG, GT), pp. 69–78.

RE-2009-PostSMGK #functional #requirements #verification

Linking Functional Requirements and Software Verification (HP, CS, FM, TG, TK), pp. 295–302.

REFSQ-2009-MarholdRSD #experience #non-functional #requirements

Clarifying Non-functional Requirements to Improve User Acceptance — Experience at Siemens (CM, CR, CS, JD), pp. 139–146.

SAC-2009-FortS #distance #network

GPU-based computation of distance functions on road networks with applications (MF, JAS), pp. 1320–1324.

SAC-2009-KimYCH #embedded

Impact of function inlining on resource-constrained embedded systems (BK, SY, YC, JH), pp. 287–292.

SAC-2009-LemosBOML #code search #reuse #testing

Applying test-driven code search to the reuse of auxiliary functionality (OALL, SKB, JO, PCM, CVL), pp. 476–482.

SAC-2009-RodriguesSC #composition #embedded #functional #set #using #verification

Improving functional verification of embedded systems using hierarchical composition and set theory (CLR, KRGdS, HdNC), pp. 1632–1636.

SAC-2009-ShangLL #biology #functional #mining #network

Mining functional associated patterns from biological network data (XS, ZL, WL), pp. 1488–1489.

SAC-2009-YiMCKJ #named #network

Arbiter-Recall: a new function update scheme by arbitration between a remote call and a dynamic update for wireless sensor networks (SY, HM, YC, YK, IJ), pp. 339–340.

ICSE-2009-RaysideBSNMJ #abstraction #generative #implementation #similarity

Equality and hashing for (almost) free: Generating implementations from abstraction functions (DR, ZB, RS, JPN, AM, DJ), pp. 342–352.

LDTA-2008-Dolstra09 #domain-specific language #functional #lazy evaluation #performance

Maximal Laziness: An Efficient Interpretation Technique for Purely Functional DSLs (ED), pp. 81–99.

LDTA-2008-FokkerS09 #abstract interpretation #attribute grammar #functional #source code #using

Abstract Interpretation of Functional Programs using an Attribute Grammar System (JF, SDS), pp. 117–133.

ISMM-2009-UnnikrishnanS #analysis #functional #parametricity #source code

Parametric heap usage analysis for functional programs (LU, SDS), pp. 139–148.

CADE-2009-Sofronie-Stokkermans #locality

Locality Results for Certain Extensions of Theories with Bridging Functions (VSS), pp. 67–83.

CAV-2009-Ben-Amram #constraints #ranking #termination

Size-Change Termination, Monotonicity Constraints and Ranking Functions (AMBA), pp. 109–123.

CAV-2009-BjornerH #fixpoint #functional #linear

Linear Functional Fixed-points (NB, JH), pp. 124–139.

CAV-2009-GuernicG #analysis #hybrid #reachability #using

Reachability Analysis of Hybrid Systems Using Support Functions (CLG, AG), pp. 540–554.

CAV-2009-Jiang #composition #functional #quantifier

Quantifier Elimination via Functional Composition (JHRJ), pp. 383–397.

CSL-2009-FerreiraO #functional #linear #logic

Functional Interpretations of Intuitionistic Linear Logic (GF, PO), pp. 3–19.

ICLP-2009-CaballeroRR #functional #logic programming

Qualified Computations in Functional Logic Programming (RC, MRA, CARD), pp. 449–463.

ICLP-2009-Li #algorithm #constraints #difference #functional #integer #research #summary

Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality (CL), pp. 530–531.

ICST-2009-HillTES #component #distributed #non-functional #testing

Unit Testing Non-functional Concerns of Component-based Distributed Systems (JHH, HAT, JRE, DCS), pp. 406–415.

ICST-2009-MouelhiTB #functional #policy #security #testing

Transforming and Selecting Functional Test Cases for Security Policy Testing (TM, YLT, BB), pp. 171–180.

ICST-2009-PostS #bound #equivalence #functional #implementation #model checking #proving #using

Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking (HP, CS), pp. 31–40.

ICST-2009-SilvaAJ #approach #estimation #execution #functional #testing

A Simple Approach for Estimation of Execution Effort of Functional Test Cases (DGeS, BTdA, MJ), pp. 289–298.

ISSTA-2009-JiangS #automation #mining #random testing #testing

Automatic mining of functionally equivalent code fragments via random testing (LJ, ZS), pp. 81–92.

LICS-2009-OngT #functional #reachability

Functional Reachability (CHLO, NT), pp. 286–295.

VMCAI-2009-BentonF #behaviour #java #source code

Mostly-Functional Behavior in Java Programs (WCB, CNF), pp. 29–43.

QoSA-2008-RaadtV #architecture #design #enterprise

Designing the Enterprise Architecture Function (BvdR, HvV), pp. 103–118.

WICSA-2008-MucciniP #analysis #architecture #functional #simulation

Simulating Software Architectures for Functional Analysis (HM, PP), pp. 289–292.

CASE-2008-LiuYGB #certification #functional #safety

Functional safety certification: Practice and issues (JL, CY, FG, SB), pp. 412–417.

CASE-2008-QianK #component #performance #product line

Supply chain performance with various price-dependent demand functions and component commonality in one product family (LQ, Z(K), pp. 760–765.

DAC-2008-CzajkowskiB #composition #linear #logic #synthesis

Functionally linear decomposition and synthesis of logic circuits for FPGAs (TSC, SDB), pp. 18–23.

DAC-2008-GuzeyWLF #analysis #functional #testing

Functional test selection based on unsupervised support vector analysis (OG, LCW, JRL, HF), pp. 262–267.

DAC-2008-HanSE #3d #equation #modelling

Electric field integral equation combined with cylindrical conduction mode basis functions for electrical modeling of three-dimensional interconnects (KJH, MS, EE), pp. 421–424.

DAC-2008-HuSMH #multi #reduction

FPGA area reduction by multi-output function based sequential resynthesis (YH, VS, RM, LH), pp. 24–29.

DAC-2008-LeeJH #satisfiability #scalability

Bi-decomposing large Boolean functions via interpolation and satisfiability solving (RRL, JHRJ, WLH), pp. 636–641.

DAC-2008-SauerGL #framework #functional #modelling #named #performance #using

SystemClick: a domain-specific framework for early exploration using functional performance models (CS, MG, HPL), pp. 480–485.

DAC-2008-XuC #multi

Broadcast electrode-addressing for pin-constrained multi-functional digital microfluidic biochips (TX, KC), pp. 173–178.

DATE-2008-ApostolakisGPP #functional #multi #self #symmetry

Functional Self-Testing for Bus-Based Symmetric Multiprocessors (AA, DG, MP, AMP), pp. 1304–1309.

DATE-2008-Garcia #automation #configuration management

Safe Automatic Flight Back and Landing of Aircraft Flight Reconfiguration Function (FRF) (JAHG), pp. 280–283.

DATE-2008-MostermanOSJKRCM #automation #embedded #functional #modelling

Automatically Realising Embedded Systems from High-Level Functional Models (PJM, DO, JS, AAJ, WK, VR, CGC, GM).

DATE-2008-YonedaF #functional #reuse

Wrapper and TAM Co-Optimization for Reuse of SoC Functional Interconnects (TY, HF), pp. 1366–1369.

HT-2008-VaisenbergSMJM #approach

A new approach for adding browser functionality (RV, AS, KAM, RJ, SM), pp. 247–248.

PODS-2008-Adler #database #dependence #functional

Tree-width and functional dependencies in databases (IA), pp. 311–320.

SIGMOD-2008-ThiagarajanM #database #query

Querying continuous functions in a database system (AT, SM), pp. 791–804.

VLDB-2008-FanGJ #dependence #functional #named #quality

Semandaq: a data quality system based on conditional functional dependencies (WF, FG, XJ), pp. 1460–1463.

VLDB-2008-FanMHLW #dependence #functional

Propagating functional dependencies with conditions (WF, SM, YH, JL, YW), pp. 391–407.

VLDB-2008-GolabKKSY #dependence #functional #generative #on the

On generating near-optimal tableaux for conditional functional dependencies (LG, HJK, FK, DS, BY), pp. 376–390.

VLDB-2008-GuoARSSV #performance

Efficient top-k processing over query-dependent functions (LG, SAY, RR, JS, US, EV), pp. 1044–1055.

ESOP-2008-Coquand #functional #programming

Constructive Mathematics and Functional Programming (Abstract) (TC), pp. 146–147.

TACAS-2008-Ben-AmramC #approach #ranking #satisfiability #termination

A SAT-Based Approach to Size Change Termination with Global Ranking Functions (AMBA, MC), pp. 218–232.

TACAS-2008-LiS

Trusted Source Translation of a Total Function Language (GL, KS), pp. 471–485.

ICSM-2008-MalikCTJH #comprehension

Understanding the rationale for updating a function’s comment (HM, IC, HMT, ZMJ, AEH), pp. 167–176.

ICSM-2008-SuttonM #automation #c++ #concept #identification

Automatically identifying C++0x concepts in function templates (AS, JIM), pp. 57–66.

SCAM-2008-WangH #c++ #empirical

An Empirical Study of Function Overloading in C++ (CW, DH), pp. 47–56.

WCRE-2008-RoyC #empirical #open source

An Empirical Study of Function Clones in Open Source Software (CKR, JRC), pp. 81–90.

PEPM-2008-LiT #functional #refactoring #source code #tool support

Tool support for refactoring functional programs (HL, SJT), pp. 199–203.

PEPM-2008-Mogensen #functional #parametricity

Semi-inversion of functional parameters (TÆM), pp. 21–29.

PLDI-2008-ZeeKR #data type #functional #linked data #open data #verification

Full functional verification of linked data structures (KZ, VK, MCR), pp. 349–361.

STOC-2008-BalcanBV #clustering #framework #similarity

A discriminative framework for clustering via similarity functions (MFB, AB, SV), pp. 671–680.

STOC-2008-ODonnell #analysis #topic

Some topics in analysis of boolean functions (RO), pp. 569–578.

STOC-2008-PeikertW

Lossy trapdoor functions and their applications (CP, BW), pp. 187–196.

STOC-2008-Raz #bound

Elusive functions and lower bounds for arithmetic circuits (RR), pp. 711–720.

FLOPS-2008-CaballeroRV #constraints #declarative #functional #logic programming

Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 305–321.

ICALP-A-2008-CicaleseL #evaluation #linear #programming

Function Evaluation Via Linear Programming in the Priced Information Model (FC, ESL), pp. 173–185.

ICALP-A-2008-Dachman-SoledLMSWW #encryption #learning

Optimal Cryptographic Hardness of Learning Monotone Functions (DDS, HKL, TM, RAS, AW, HW), pp. 36–47.

ICALP-C-2008-CanettiD

Extractable Perfectly One-Way Functions (RC, RRD), pp. 449–460.

ICALP-C-2008-FischlinLP #multi #revisited #robust

Robust Multi-property Combiners for Hash Functions Revisited (MF, AL, KP), pp. 655–666.

ICALP-C-2008-HochS #on the

On the Strength of the Concatenated Hash Combiner When All the Hash Functions Are Weak (JJH, AS), pp. 616–630.

ICALP-C-2008-PietrzakS #pseudo

Weak Pseudorandom Functions in Minicrypt (KP, JS), pp. 423–436.

ICALP-C-2008-ShrimptonS

Building a Collision-Resistant Compression Function from Non-compressing Primitives (TS, MS), pp. 643–654.

ICFP-2008-ChargueraudP #calculus #functional

Functional translation of a calculus of capabilities (AC, FP), pp. 213–224.

ICFP-2008-Cheney #functional #named #xml

FLUX: functional updates for XML (JC), pp. 3–14.

ICFP-2008-DolstraL #functional #linux #named

NixOS: a purely functional Linux distribution (ED, AL), pp. 367–378.

ICFP-2008-DukeBRW #case study #experience #functional #pipes and filters #visualisation

Experience report: visualizing data through functional pipelines (DJD, RB, CR, MW), pp. 379–382.

ICFP-2008-Hinze #fixpoint #functional

Functional pearl: streams and unique fixed points (RH), pp. 189–200.

ICFP-2008-Jones08a #functional #morphism #perspective #polymorphism #programming

Polymorphism and page tables: systems programming from a functional programmer’s perspective (MPJ), pp. 265–266.

ICFP-2008-MainlandMW #functional #named #network #programming #staged

Flask: staged functional programming for sensor networks (GM, GM, MW), pp. 335–346.

ICFP-2008-ParkKI #functional

Functional netlists (SP, JK, HI), pp. 353–366.

ICFP-2008-SchrijversJCS #type checking

Type checking with open type functions (TS, SLPJ, MMTC, MS), pp. 51–62.

ICFP-2008-SpoonhowerBHG #functional #parallel #profiling #source code

Space profiling for parallel functional programs (DS, GEB, RH, PBG), pp. 253–264.

IFL-2008-BrasselF #functional #lazy evaluation #logic programming #source code

From Functional Logic Programs to Purely Functional Programs Preserving Laziness (BB, SF), pp. 25–42.

IFL-2008-GiorgidzeN #functional #haskell #hybrid #modelling

Embedding a Functional Hybrid Modelling Language in Haskell (GG, HN), pp. 138–155.

IFL-2008-ShkaravskaET #functional #semantics #source code

Collected Size Semantics for Functional Programs over Lists (OS, MCJDvE, AT), pp. 118–137.

EDOC-2008-KimKLP #approach #architecture #non-functional #requirements

A Tactic-Based Approach to Embodying Non-functional Requirements into Software Architectures (SK, DKK, LL, SP), pp. 139–148.

CIKM-2008-ChenLWSHT #adaptation #named #ranking

Trada: tree based ranking function adaptation (KC, RL, CKW, GS, LPH, BLT), pp. 1143–1152.

CIKM-2008-MahouiTSC #identification #modelling #predict #using

Identification of gene function using prediction by partial matching (PPM) language models (MM, WJT, AKTS, SC), pp. 779–786.

ICML-2008-BryanS #learning

Actively learning level-sets of composite functions (BB, JGS), pp. 80–87.

ICML-2008-Li #approximate #comparison #difference #linear #worst-case

A worst-case comparison between temporal difference and residual gradient with linear function approximation (LL), pp. 560–567.

ICML-2008-LoeffFR #approximate #learning #named

ManifoldBoost: stagewise function approximation for fully-, semi- and un-supervised learning (NL, DAF, DR), pp. 600–607.

ICML-2008-MeloMR #analysis #approximate #learning

An analysis of reinforcement learning with function approximation (FSM, SPM, MIR), pp. 664–671.

ICML-2008-ParrLTPL #analysis #approximate #feature model #learning #linear #modelling

An analysis of linear models, linear value-function approximation, and feature selection for reinforcement learning (RP, LL, GT, CPW, MLL), pp. 752–759.

ICPR-2008-BorsN #estimation #kernel #modelling #probability

Kernel bandwidth estimation in methods based on probability density function modelling (AGB, NN), pp. 1–4.

ICPR-2008-KleinLM #using

Preceding car tracking using belief functions and a particle filter (JK, CL, PM), pp. 1–4.

ICPR-2008-LiuDJM #3d #kernel #robust

Kernel functions for robust 3D surface registration with spectral embeddings (XL, AD, MJ, WM), pp. 1–4.

ICPR-2008-LouJ #distance #image #probability #recognition

Integrated probability function on local mean distance for image recognition (ZL, ZJ), pp. 1–4.

ICPR-2008-TsuboiK #sequence

A new objective function for sequence labeling (YT, HK), pp. 1–4.

KDD-2008-EshghiR #locality #order #rank #statistics

Locality sensitive hash functions based on concomitant rank order statistics (KE, SR), pp. 221–229.

KDD-2008-LozanoA #multi

Multi-class cost-sensitive boosting with p-norm loss functions (ACL, NA), pp. 506–514.

KR-2008-Delgrande #horn clause

Horn Clause Belief Change: Contraction Functions (JPD), pp. 156–165.

KR-2008-LinW #programming #set

Answer Set Programming with Functions (FL, YW), pp. 454–465.

SEKE-2008-AfzalTF #non-functional #search-based #testing

A Systematic Mapping Study on Non-Functional Search-based Software Testing (WA, RT, RF), pp. 488–493.

SEKE-2008-DebOP #deployment #distributed #self

Self-managed Deployment in a Distributed Environment via Utility Functions (DD, MJO, JP), pp. 808–813.

SEKE-2008-MiliAN #algorithm

An Algorithm for Computing Loop Functions (AM, SA, CN), pp. 448–453.

SIGIR-2008-AminiTG #algorithm #learning #ranking

A boosting algorithm for learning bipartite ranking functions with partially labeled data (MRA, TVT, CG), pp. 99–106.

BX-2008-Matsuda1 #bidirectional #source code

Bidirectionalization of Programs with Duplication through Complement Function Derivation (KM), p. 40.

GPCE-2008-ApelKB #aspect-oriented #functional #refactoring #using

Program refactoring using functional aspects (SA, CK, DSB), pp. 161–170.

GPCE-2008-Meijer #functional #programming

Fundamentalist functional programming (EM), pp. 99–100.

LOPSTR-2008-ArroyoRTV #approach #functional #higher-order #source code

A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs (GA, JGR, ST, GV), pp. 40–54.

LOPSTR-2008-Kitzelmann #functional #induction #programming

Analytical Inductive Functional Programming (EK), pp. 87–102.

PPDP-2008-ChitilD #algorithm #debugging #finite #functional #higher-order #source code

Comprehending finite maps for algorithmic debugging of higher-order functional programs (OC, TD), pp. 205–216.

PPDP-2008-Hanus #analysis #functional #logic programming #source code

Call pattern analysis for functional logic programs (MH), pp. 67–78.

PPDP-2008-SilvaO #functional #prototype #proving #quote

“Galculator”: functional prototype of a Galois-connection based proof assistant (PFS, JNO), pp. 44–55.

PADL-2008-Launchbury #functional #industrial #programming

Industrial Functional Programming (JL), p. 1.

POPL-2008-Danielsson #analysis #complexity #data type #functional #lightweight

Lightweight semiformal time complexity analysis for purely functional data structures (NAD), pp. 133–144.

RE-2008-NiuE #functional #modelling #product line #requirements

Extracting and Modeling Product Line Functional Requirements (NN, SME), pp. 155–164.

SAC-2008-BugattiTT #integration #query #similarity

Assessing the best integration between distance-function and image-feature to answer similarity queries (PHB, AJMT, CTJ), pp. 1225–1230.

SAC-2008-CartaxoANM #embedded #functional #named #testing

LTS-BT: a tool to generate and select functional test cases for embedded systems (EGC, WdLA, FGON, PDLM), pp. 1540–1544.

SAC-2008-GarciaH #analysis #functional #metric #using

Integrating functional metrics, COCOMO II and earned value analysis for software projects using PMBoK (CALG, CMH), pp. 820–825.

SAC-2008-HojjatMS #algebra #evaluation #framework #functional #performance #probability #process #verification

A framework for performance evaluation and functional verification in stochastic process algebras (HH, MRM, MS), pp. 339–346.

SAC-2008-JarviF #c++

λ functions for C++0x (JJ, JF), pp. 178–183.

SAC-2008-ZarvicWE #modelling

Checking the alignment of value-based business models and IT functionality (NZ, RW, PvE), pp. 607–613.

SPLC-2008-NiuE #analysis #clustering #functional #on-demand #product line #requirements

On-Demand Cluster Analysis for Product Line Functional Requirements (NN, SME), pp. 87–96.

ISMM-2008-Trancon-y-Widemann #functional #garbage collection #programming

A reference-counting garbage collection algorithmfor cyclical functional programming (BTyW), pp. 71–80.

CAV-2008-EisnerNY #composition #design #functional #power management #reasoning #verification

Functional Verification of Power Gated Designs by Compositional Reasoning (CE, AN, KY), pp. 433–445.

ICLP-2008-BaseliceB #source code

Composing Normal Programs with Function Symbols (SB, PAB), pp. 425–439.

ICLP-2008-Cabalar #programming #set #similarity

Partial Functions and Equality in Answer Set Programming (PC), pp. 392–406.

ICLP-2008-CalimeriCIL #implementation

Computable Functions in ASP: Theory and Implementation (FC, SC, GI, NL), pp. 407–424.

ICLP-2008-ZhangYLM #algorithm #constraints #functional #performance

Efficient Algorithms for Functional Constraints (YZ, RHCY, CL, SM), pp. 606–620.

ICST-2008-KimC #object-oriented #sequence #source code #testing

A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs (MK, YC), pp. 537–540.

ICST-2008-LefticaruI #functional #search-based #state machine #testing

Functional Search-based Testing from State Machines (RL, FI), pp. 525–528.

ICST-2008-MouyMWG #generative #testing

Generation of All-Paths Unit Test with Function Calls (PM, BM, NW, PLG), pp. 32–41.

IJCAR-2008-Melquiond #bound #proving

Proving Bounds on Real-Valued Functions with Computations (GM), pp. 2–17.

RTA-2008-MazanekM #combinator #functional #graph #parsing

Functional-Logic Graph Parser Combinators (SM, MM), pp. 261–275.

TAP-2008-CarlierD #functional #testing

Functional Testing in the Focal Environment (MC, CD), pp. 84–98.

TestCom-FATES-2008-Kuliamin

Test Construction for Mathematical Functions (VVK), pp. 23–37.

ECSA-2007-WaignierMD #architecture #framework #named

FIESTA: A Generic Framework for Integrating New Functionalities into Software Architectures (GW, AFLM, LD), pp. 76–91.

WICSA-2007-CortellessaMI #architecture #modelling #non-functional #validation

Non-Functional Modeling and Validation in Model-Driven Architecture (VC, ADM, PI), p. 25.

WICSA-2007-KulkarniP #architecture #enterprise #framework #functional #requirements

An Architectural Framework for Non Functional Requirements in Enterprise SOA Adoption (NNK, SP), p. 36.

DAC-2007-KirnerS #analysis #execution #modelling #worst-case

Modeling the Function Cache for Worst-Case Execution Time Analysis (RK, MS), pp. 471–476.

DAC-2007-PetlinS #functional #multi #verification

Functional Verification of SiCortex Multiprocessor System-on-a-Chip (OP, WS), pp. 906–909.

DAC-2007-SuhD #authentication #generative #physics

Physical Unclonable Functions for Device Authentication and Secret Key Generation (GES, SD), pp. 9–14.

DAC-2007-Tabor #parallel #programming

Programming Living Cells to Function as Massively Parallel Computers (JJT), pp. 638–639.

DAC-2007-TibboelRKA #design #functional

System-Level Design Flow Based on a Functional Reference for HW and SW (WHT, VR, MK, DA), pp. 23–28.

DATE-2007-BombieriFP #design #functional #incremental #refinement #validation

Incremental ABV for functional validation of TL-to-RTL design refinement (NB, FF, GP), pp. 882–887.

DATE-2007-GrosseKD #bound #functional #model checking

Estimating functional coverage in bounded model checking (DG, UK, RD), pp. 1176–1181.

DATE-2007-HuMWD #performance

Optimization-based wideband basis functions for efficient interconnect extraction (XH, TM, JKW, LD), pp. 1200–1205.

DATE-2007-VermaHR #automation #behaviour #functional #generative #interactive #modelling

Interactive presentation: Automatic generation of functional coverage models from behavioral verilog descriptions (SV, IGH, KR), pp. 900–905.

DATE-2007-ZhangOSFKB #analysis #approach #named #parametricity #process

CMCal: an accurate analytical approach for the analysis of process variations with non-gaussian parameters and nonlinear functions (MZ, MO, DS, MF, HK, EB), pp. 243–248.

DATE-2007-ZhuSD #functional #interactive #pipes and filters #validation

Interactive presentation: Functional and timing validation of partially bypassed processor pipelines (QZ, AS, ND), pp. 1164–1169.

DocEng-2007-DejeanM #documentation #functional #logic

Logical document conversion: combining functional and formal knowledge (HD, JLM), pp. 135–143.

DocEng-2007-LumleyGR #documentation

Endless documents: a publication as a continual function (JWL, RG, OR), pp. 174–176.

ICDAR-2007-CharW #approximate #functional #representation

Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation (BWC, SMW), pp. 1198–1202.

ICDAR-2007-HirayamaNK #classification #difference #using

A Classifier of Similar Characters using Compound Mahalanobis Function based on Difference Subspace (JH, HN, NK), pp. 432–436.

ICDAR-2007-YangJHH #kernel #online #polynomial #recognition

Kernel Modified Quadratic Discriminant Function for Online Handwritten Chinese Characters Recognition (DY, LJ, QH, TH), pp. 38–42.

ICDAR-2007-ZhangYT #documentation #image #using

Removing Shading Distortions in Camera-based Document Images Using Inpainting and Surface Fitting With Radial Basis Functions (LZ, AMY, CLT), pp. 984–988.

SIGMOD-2007-XinHC #ad hoc #ranking

Progressive and selective merge: computing top-k with ad-hoc ranking functions (DX, JH, KCCC), pp. 103–114.

VLDB-2007-BotanFFKKT #xquery

Extending XQuery with Window Functions (IB, PMF, DF, DK, TK, RT), pp. 75–86.

VLDB-2007-OnoseBC #framework

Inverse Functions in the AquaLogic Data Services Platform (NO, VRB, MJC), pp. 1231–1242.

WRLA-J-2004-Lopez-FraguasRV07 #constraints #functional #logic programming

A new generic scheme for functional logic programming with constraints (FJLF, MRA, RdVV), pp. 73–122.

ESOP-2007-BlanquiHW #data type #implementation #on the

On the Implementation of Construction Functions for Non-free Concrete Data Types (FB, TH, PW), pp. 95–109.

FASE-2007-CortellessaMI #analysis #framework #non-functional #performance #reliability

Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework (VC, ADM, PI), pp. 57–71.

FoSSaCS-2007-YoshidaHB #higher-order #logic #reasoning

Logical Reasoning for Higher-Order Functions with Local State (NY, KH, MB), pp. 361–377.

CSMR-2007-BeszedesGFGF #evolution #metric

The Dynamic Function Coupling Metric and Its Use in Software Evolution (ÁB, TG, SF, TG, FF), pp. 103–112.

PEPM-2007-BurchettCK #functional #named #optimisation

Lowering: a static optimization technique for transparent functional reactivity (KB, GHC, SK), pp. 71–80.

PEPM-2007-CunhaV #query #source code #xpath

Transformation of structure-shy programs: applied to XPath queries and strategic functions (AC, JV), pp. 11–20.

PLDI-2007-ScherpelzLC #automation #semantics

Automatic inference of optimizer flow functions from semantic meanings (ERS, SL, CC), pp. 135–145.

SAS-2007-ChenWWKC #aspect-oriented #compilation #functional

A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages (KC, SCW, MW, SCK, CHC), pp. 34–51.

STOC-2007-HaitnerR #statistics

Statistically-hiding commitment from any one-way function (IH, OR), pp. 1–10.

ICALP-2007-AlonG #product line

Balanced Families of Perfect Hash Functions and Their Applications (NA, SG), pp. 435–446.

ICALP-2007-BellareR #design

Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms (MB, TR), pp. 399–410.

IFM-2007-HasanT #cumulative #probability #using #verification

Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function (OH, ST), pp. 333–352.

CEFP-2007-MolEP #functional #lazy evaluation #proving #source code

Proving Properties of Lazy Functional Programs with Sparkle (MdM, MCJDvE, RP), pp. 41–86.

CEFP-2007-Pop #functional #object-oriented #programming #tutorial

A Tutorial on Object-Oriented Functional Programming (HFP), pp. 228–249.

ICFP-2007-BeshersFS #case study #experience #functional #linux #programming #using

Experience report: using functional programming to manage a linux distribution (CB, DF, JS), pp. 213–218.

ICFP-2007-DanvyS #on the

On Barron and Strachey’s cartesian product function (OD, JMS), pp. 41–46.

ICFP-2007-Elliott #functional #programming

Tangible functional programming (CE), pp. 59–70.

ICFP-2007-EnnalsG #functional #programming #web

User-friendly functional programming for web mashups (RE, DG), pp. 223–234.

ICFP-2007-FredlundS #distributed #functional #model checking #named #programming language

McErlang: a model checker for a distributed functional programming language (LÅF, HS), pp. 125–136.

ICFP-2007-Herman #functional #how

Functional pearl: the great escape or, how to jump the border without getting caught (DH), pp. 157–164.

ICFP-2007-MatsudaHNHT #automation #bidirectional

Bidirectionalization transformation based on automatic derivation of view complement functions (KM, ZH, KN, MH, MT), pp. 47–58.

ICFP-2007-Sereni #analysis #functional #graph #higher-order #source code #termination

Termination analysis and call graph construction for higher-order functional programs (DS), pp. 71–84.

ICFP-2007-Wazny #case study #experience #functional #programming

Experience report: functional programming in c-rules (JW), pp. 25–28.

IFL-2007-BrasselS #debugging #functional #lazy evaluation #source code

Debugging Lazy Functional Programs by Asking the Oracle (BB, HS), pp. 183–200.

IFL-2007-WidemannP #functional #programming

Tabular Expressions and Total Functional Programming (BTyW, DLP), pp. 219–236.

CHI-2007-Salovaara

Appropriation of a MMS-based comic creator: from system functionalities to resources for action (AS), pp. 1117–1126.

DHM-2007-MariasDSZGMMT #analysis #information management #modelling #multi #validation

Multi-level Analysis and Information Extraction Considerations for Validating 4D Models of Human Function (KM, DDD, GSS, FZ, ECG, TM, TGM, IGT), pp. 703–709.

HCI-AS-2007-Moallem #enterprise #how

Excellence in Ease of Use with Rich Functionality How Enterprise Software Applications with Rich Functionality Can Be Built to Excel in Ease of Use (AM), pp. 672–681.

HCI-IDU-2007-NingT #functional #how #order #usability

How to Use Emotional Usability to Make the Product Serves a Need Beyond the Traditional Functional Objective to Satisfy the Emotion Needs of the User in Order to Improve the Product Differentiator — Focus on Home Appliance Product (LN, ST), pp. 587–593.

HCI-IPT-2007-NishimuraRDCSPDD #analysis #functional

Functional Brain Imaging for Analysis of Reading Effort for Computer-Generated Text (EMN, EDR, BAD, JPC, JS, DP, THD, JHD), pp. 1183–1192.

HCI-MIE-2007-WonCKC #authoring

Customer-Dependent Storytelling Tool with Authoring and Viewing Functions (SW, MYC, GYK, HIC), pp. 1000–1009.

HIMI-IIE-2007-HsuCSWY #analysis #assessment #game studies #interface #online #using

Function Interfaces Assessment of Online Game Websites in Great China Area Using Content Analysis (CIH, CC, CHS, PJW, YJY), pp. 337–346.

HIMI-IIE-2007-OmoriHFM #evaluation #mobile #visual notation

Visibility Evaluation of Characters on Liquid Crystal Displays in Mobile Phones, and Visual Function (MO, SH, KF, MM), pp. 600–607.

HIMI-MTT-2007-ParkK07a #case study #effectiveness #mobile

A Case Study on Effective Application of Inquiry Methods to Find Out Mobile Phone’s New Function (SP, YK), pp. 163–170.

VISSOFT-2007-BohnetD07a #compilation #comprehension #graph

CGA Call Graph Analyzer — Locating and Understanding Functionality within the Gnu Compiler Collection’s Million Lines of Code (JB, JD), pp. 161–162.

SIGAda-2007-HallmarkR #ada #evaluation #evolution #game studies #parallel

Parallel evolution of game evaluation functions in ada (TBH, EKR), pp. 59–62.

ICEIS-AIDSS-2007-ShethG #execution #middleware #non-functional #process #semantics #workflow

The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.

ICEIS-DISI-2007-RavatTT

Olap aggregation function for textual data warehouse (FR, OT, RT), pp. 151–156.

ICEIS-DISI-2007-ShethG #execution #middleware #non-functional #process #semantics #workflow

The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.

ICEIS-EIS-2007-ShethG #execution #middleware #non-functional #process #semantics #workflow

The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.

ICEIS-HCI-2007-ShethG #execution #middleware #non-functional #process #semantics #workflow

The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.

ICEIS-J-2007-ShethG07a #execution #middleware #non-functional #process #semantics #workflow

The 4 x 4 Semantic Model: Exploiting Data, Functional, Non-functional and Execution Semantics Across Business Process, Workflow, Partner Services and Middleware Services Tiers (APS, KG), pp. 16–26.

ICEIS-J-2007-WagnerM07a #adaptation #middleware

Enhancing Middleware Functionality by Virtualizing Adapters (RW, BM), pp. 108–120.

ICEIS-SAIC-2007-ShethG #execution #middleware #non-functional #process #semantics #workflow

The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.

ECIR-2007-AslamP #estimation #multi #query #using

Query Hardness Estimation Using Jensen-Shannon Divergence Among Multiple Scoring Functions (JAA, VP), pp. 198–209.

ECIR-2007-TzitzikasT

Naming Functions for the Vector Space Model (YT, YT), pp. 613–620.

ICML-2007-Bar-HillelW #distance #learning #similarity

Learning distance function by coding similarity (ABH, DW), pp. 65–72.

ICML-2007-JohnsM #approximate #graph

Constructing basis functions from directed graphs for value function approximation (JJ, SM), pp. 385–392.

ICML-2007-Marthi #automation #composition

Automatic shaping and decomposition of reward functions (BM), pp. 601–608.

ICML-2007-OsentoskiM #learning

Learning state-action basis functions for hierarchical MDPs (SO, SM), pp. 705–712.

ICML-2007-ParrPLL #approximate #generative

Analyzing feature generation for value-function approximation (RP, CPW, LL, MLL), pp. 737–744.

ICML-2007-PhuaF #approximate #learning #linear

Tracking value function dynamics to improve reinforcement learning with piecewise linear function approximation (CWP, RF), pp. 751–758.

ICML-2007-WangYF #difference #learning #on the

On learning with dissimilarity functions (LW, CY, JF), pp. 991–998.

ICML-2007-XuF #learning #linear #on the #ranking

On learning linear ranking functions for beam search (YX, AF), pp. 1047–1054.

KDD-2007-DingSJL #framework #kernel #learning #recommendation #using

A learning framework using Green’s function and kernel regularization with application to recommender system (CHQD, RJ, TL, HDS), pp. 260–269.

KDD-2007-PandeySGGK #case study #interactive #network #predict

Association analysis-based transformations for protein interaction networks: a function prediction case study (GP, MS, RG, TG, VK), pp. 540–549.

MLDM-2007-LateckiLP #detection #kernel

Outlier Detection with Kernel Density Functions (LJL, AL, DP), pp. 61–75.

MLDM-2007-MartinsSSPG #classification #image #using

Classification of Breast Masses in Mammogram Images Using Ripley’s K Function and Support Vector Machine (LdOM, ECdS, ACS, ACdP, MG), pp. 784–794.

MLDM-2007-TanN #data mining #mining #privacy #probability #re-engineering

Generic Probability Density Function Reconstruction for Randomization in Privacy-Preserving Data Mining (VYFT, SKN), pp. 76–90.

SEKE-2007-Condori-FernandezP #evaluation #functional #metric

Analyzing the Applicability of a Theoretical Model in the Evaluation of Functional Size Measurement Procedures (NCF, OP), pp. 736–739.

SEKE-2007-GuzmanPP #modelling #pattern matching #using

Using Model-Driven Pattern Matching to derive functionalities in Models (IGRdG, MP, MP), pp. 529–534.

SEKE-2007-MoserPS #agile #development #incremental #modelling #predict #using

Incremental Effort Prediction Models in Agile Development using Radial Basis Functions (RM, WP, GS), pp. 519–522.

SIGIR-2007-AlmeidaGCC #adaptation #approach #component #programming #ranking #search-based

A combined component approach for finding collection-adapted ranking functions based on genetic programming (HMdA, MAG, MC, PC), pp. 399–406.

SIGIR-2007-SevillanoAS #clustering #named

BordaConsensus: a new consensus function for soft cluster ensembles (XS, FA, JCS), pp. 743–744.

SIGIR-2007-ZhengCSZ #framework #learning #ranking #using

A regression framework for learning ranking functions using relative relevance judgments (ZZ, KC, GS, HZ), pp. 287–294.

LOPSTR-2007-FischerSTV #functional #lazy evaluation #partial evaluation #source code

Preserving Sharing in the Partial Evaluation of Lazy Functional Programs (SF, JS, ST, GV), pp. 74–89.

PPDP-2007-EncinaLRH #functional #lazy evaluation #parallel

Observing intermediate structures in a parallel lazy functional language (AdlE, LL, FR, MHH), pp. 109–120.

PPDP-2007-FischerK #functional #generative #logic programming #source code #testing

Systematic generation of glass-box test cases for functional logic programs (SF, HK), pp. 63–74.

POPL-2007-MandelbaumFWFG #functional #ml #named

PADS/ML: a functional data description language (YM, KF, DW, MFF, AG), pp. 77–83.

RE-2007-Glinz #non-functional #on the #requirements

On Non-Functional Requirements (MG), pp. 21–26.

REFSQ-2007-AlkkiomakiS #architecture #case study #functional #integration #modelling #requirements #uml

Integration Use Cases — An Applied UML Technique for Modeling Functional Requirements in Service Oriented Architecture (VA, KS), pp. 190–202.

REFSQ-2007-RegnellHB #analysis #mobile #non-functional #performance #quality #requirements

A Quality Performance Model for Cost-Benefit Analysis of Non-functional Requirements Applied to the Mobile Handset Domain (BR, MH, RBS), pp. 277–291.

SAC-2007-BaoYS #monitoring

Projection function for driver fatigue monitoring with monocular camera (DB, ZY, YS), pp. 82–83.

SAC-2007-LiuMB #approach #clustering

A clustering entropy-driven approach for exploring and exploiting noisy functions (SHL, MM, BRB), pp. 738–742.

ESEC-FSE-2007-Potena #composition #non-functional #research #trade-off

Composition and tradeoff of non-functional attributes in software systems: research directions (PP), pp. 583–586.

ICSE-2007-RamanathanGJ #precedence #protocol

Path-Sensitive Inference of Function Precedence Protocols (MKR, AG, SJ), pp. 240–250.

HPDC-2007-LeeS #analysis #performance #precise

Precise and realistic utility functions for user-centric performance analysis of schedulers (CBL, AS), pp. 107–116.

CAV-2007-LeavensKP #behaviour #composition #functional #java #ml #specification #tutorial #verification

A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java (GTL, JRK, EP), p. 37.

ICLP-2007-CaballeroRV #constraints #debugging #declarative #functional #logic programming

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 425–427.

SAT-2007-DeKV #using

Inversion Attacks on Secure Hash Functions Using satSolvers (DD, AK, RV), pp. 377–382.

SAT-2007-DershowitzHN #comprehension #satisfiability #towards

Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver (ND, ZH, AN), pp. 287–293.

TLCA-2007-ShkaravskaKE #analysis #first-order #polynomial

Polynomial Size Analysis of First-Order Functions (OS, RvK, MCJDvE), pp. 351–365.

ASE-2006-HanakawaI #ajax #web

A new web browser including a transferable function to Ajax codes (NH, NI), pp. 351–352.

ASE-2006-LaurentSW #automation #constraints #functional #generative #specification #testing

A methodology for automated test generation guided by functional coverage constraints at specification level (OL, CS, VW), pp. 285–288.

CASE-2006-AndersonRLF #distributed #multi

Sinthesis of hierarchical and distributed control functions for multi-product manufacturing cells (KA, JR, BL, MF), pp. 325–330.

CASE-2006-ChoWTF #distributed #scheduling

Autonomous Distributed Scheduling Adjustment Function with Interchanging Operations (SCC, KW, KT, SF), pp. 387–392.

CASE-2006-ZhangA #functional #simulation

Tremor Suppression of Elbow Joint via Functional Electrical Stimulation: A Simulation Study (DZ, WTA), pp. 182–187.

DAC-2006-ChoCCV #cost analysis #embedded #energy #power management

High-level power management of embedded systems with application-specific energy cost functions (YC, NC, CC, SBKV), pp. 568–573.

DAC-2006-DupenloupLM #abstraction #functional #verification

Transistor abstraction for the functional verification of FPGAs (GD, TL, RM), pp. 1069–1072.

DAC-2006-RaoOK #architecture #logic

Topology aware mapping of logic functions onto nanowire-based crossbar architectures (WR, AO, RK), pp. 723–726.

DAC-2006-WuJYLT #estimation #functional

A systematic method for functional unit power estimation in microprocessors (WW, LJ, JY, PL, SXDT), pp. 554–557.

DAC-2006-ZhangMBC #detection #representation #satisfiability #scalability #simulation #symmetry #using

Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability (JSZ, AM, RKB, MCJ), pp. 510–515.

DATE-2006-BalarinP #functional #generative #interface #specification #verification

Functional verification methodology based on formal interface specification and transactor generation (FB, RP), pp. 1013–1018.

DATE-2006-BiswasDIP #architecture #automation #functional #identification

Automatic identification of application-specific functional units with architecturally visible storage (PB, NDD, PI, LP), pp. 212–217.

DATE-2006-DhayniMRB #functional #linear #pseudo

Pseudorandom functional BIST for linear and nonlinear MEMS (AD, SM, LR, AB), pp. 664–669.

DATE-2006-JerinicLHM #functional #metric #verification

New methods and coverage metrics for functional verification (VJ, JL, UH, DM), pp. 1025–1030.

DATE-2006-KooM #functional #generative #pipes and filters #testing #using #validation

Functional test generation using property decompositions for validation of pipelined processors (HMK, PM), pp. 1240–1245.

DATE-2006-KruppM #classification #functional #random testing #testing

Classification trees for random tests and functional coverage (AK, WM), pp. 1031–1032.

DATE-2006-MajidzadehS #design #higher-order #novel

Arbitrary design of high order noise transfer function for a novel class of reduced-sample-rate sigma-delta-pipeline ADCs (VM, OS), pp. 138–143.

DATE-2006-MartinezLC #order #reduction #using

Nonlinear model order reduction using remainder functions (JAM, SPL, DMC), pp. 281–282.

DATE-2006-McConaghyG #canonical #modelling #performance

Double-strength CAFFEINE: fast template-free symbolic modeling of analog circuits via implicit canonical form functions and explicit introns (TM, GGEG), pp. 269–274.

DATE-2006-PolianF #constraints #functional #testing

Functional constraints vs. test compression in scan-based delay testing (IP, HF), pp. 1039–1044.

DATE-2006-WangM #algorithm #analysis #multi

A logarithmic full-chip thermal analysis algorithm based on multi-layer Green’s function (BW, PM), pp. 39–44.

DocEng-2006-MacdonaldBL #documentation #layout

Evaluating invariances in document layout functions (AJM, DFB, JWL), pp. 25–27.

SIGMOD-2006-Cohen #theory and practice

User-defined aggregate functions: bridging theory and practice (SC), pp. 49–60.

SIGMOD-2006-SharfmanSK #approach #data type #distributed #geometry #monitoring

A geometric approach to monitoring threshold functions over distributed data streams (IS, AS, DK), pp. 301–312.

VLDB-2006-DennyF #adaptation #execution

Adaptive Execution of Variable-Accuracy Functions (MD, MJF), pp. 547–558.

VLDB-2006-PandaRPGC #approximate

Indexing for Function Approximation (BP, MR, SBP, JG, LPC), pp. 523–534.

ITiCSE-2006-AxelssonMW #assessment #design #multi #process #student

Student activity in seminars: designing multi-functional assessment events (KA, UM, TW), pp. 93–97.

ESOP-2006-GulwaniT #abstraction #linear

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions (SG, AT), pp. 279–293.

MSR-2006-KakimotoMKTTM #identification #using

Using software birthmarks to identify similar classes and major functionalities (TK, AM, YK, HT, MT, KiM), pp. 171–172.

PEPM-2006-IwamaIK #analysis #exception #functional #resource management

Resource usage analysis for a functional language with exceptions (FI, AI, NK), pp. 38–47.

PEPM-2006-SwadiTKP #approach #monad #staging

A monadic approach for avoiding code duplication when staging memoized functions (KNS, WT, OK, EP), pp. 160–169.

PEPM-2006-WangCK #aspect-oriented #functional #higher-order #weaving

Type-directed weaving of aspects for higher-order functional languages (MW, KC, SCK), pp. 78–87.

STOC-2006-AkaviaGGM #np-hard #on the

On basing one-way functions on NP-hardness (AA, OG, SG, DM), pp. 701–710.

STOC-2006-DinurFKO #bound #fourier #on the

On the fourier tails of bounded functions over the discrete cube (ID, EF, GK, RO), pp. 437–446.

STOC-2006-Feige #on the

On maximizing welfare when utility functions are subadditive (UF), pp. 41–50.

FLOPS-2006-BartheFPR #coq #proving #reasoning #recursion

Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant (GB, JF, DP, VR), pp. 114–129.

FLOPS-2006-CasasCH #approach #evaluation #functional #higher-order #lazy evaluation

A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems (AC, DC, MVH), pp. 146–162.

FLOPS-2006-HinzeJL #contract #functional #programming

Typed Contracts for Functional Programming (RH, JJ, AL), pp. 208–225.

FLOPS-2006-IgnatoffCK #adaptation #framework #functional #object-oriented

Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages (DI, GHC, SK), pp. 259–276.

DLT-2006-BastienCFR #context-free grammar #equivalence

Equivalence of Functions Represented by Simple Context-Free Grammars with Output (CB, JC, WF, WR), pp. 71–82.

ICALP-v1-2006-GairingMT #game studies #latency #linear

Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions (MG, BM, KT), pp. 501–512.

ICALP-v2-2006-ArmknechtK #algebra #multi

Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic Immunity (FA, MK), pp. 180–191.

ICALP-v2-2006-HaitnerHR #generative #performance #pseudo

Efficient Pseudorandom Generators from Exponentially Hard One-Way Functions (IH, DH, OR), pp. 228–239.

ICALP-v2-2006-HondaBY #higher-order #logic

Descriptive and Relative Completeness of Logics for Higher-Order Functions (KH, MB, NY), pp. 360–371.

ICALP-v2-2006-KawachiY #quantum

Quantum Hardcore Functions by Complexity-Theoretical Quantum List Decoding (AK, TY), pp. 216–227.

ICFP-2006-Bird #functional

Fifteen years of functional pearls (RSB), p. 215.

ICFP-2006-BringertR #composition

A pattern for almost compositional functions (BB, AR), pp. 216–226.

ICFP-2006-KatsumataN #algebra #parametricity

Algebraic fusion of functions with an accumulating parameter and its improvement (SyK, SN), pp. 227–238.

ICFP-2006-ZiarekSJ #abstraction #composition #concurrent #functional #named #source code

Stabilizers: a modular checkpointing abstraction for concurrent functional programs (LZ, PS, SJ), pp. 136–147.

IFL-2006-Almendros-JimenezV #automation

Automatic Partial Inversion of Inductively Sequential Functions (JMAJ, GV), pp. 253–270.

IFL-2006-BertholdL #coordination #functional #parallel

Parallel Coordination Made Explicit in a Functional Setting (JB, RL), pp. 73–90.

IFL-2006-BonenfantFHH #execution #functional #worst-case

Worst-Case Execution Times for a Purely Functional Language (AB, CF, KH, RH), pp. 235–252.

IFL-2006-Hidalgo-HerreroOR #evaluation #functional #parallel

Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages (MHH, YOM, FR), pp. 55–72.

IFL-2006-JanssonJCEKMOV #testing

Testing Properties of Generic Functions (PJ, JJ, LC, GE, JK, SM, MO, KV), pp. 217–234.

IFL-2006-RuffJ #array #synthesis

Functional-Based Synthesis of a Systolic Array for GCD Computation (LR, TJ), pp. 37–54.

ICGT-2006-MendizabalD #analysis #distributed #graph grammar #non-functional #probability #using

Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars (OMM, FLD), pp. 275–290.

CHI-2006-LudfordFRWT #functional

Because I carry my cell phone anyway: functional location-based reminder applications (PJL, DF, KR, KW, LGT), pp. 889–898.

SOFTVIS-2006-BohnetD #feature model #graph #visual notation

Visual exploration of function call graphs for feature location in complex software systems (JB, JD), pp. 95–104.

EDOC-2006-KuropkaBW #enterprise #framework #motivation #semantics

Semantic Enterprise Services Platform: Motivation, Potential, Functionality and Application Scenarios (DK, AB, MW), pp. 253–264.

EDOC-2006-MoragaCP #ontology

Ontology Driven Definition of a Portlet Functionality Model (MÁM, CC, MP), pp. 405–408.

ICEIS-DISI-2006-CaropreseGZ #consistency #database #dependence #functional #query

Merging, Repairing and Querying Inconsistent Databases with Functional and Inclusion Dependencies (LC, SG, EZ), pp. 38–45.

CIKM-2006-BaiKCS #functional #image #information retrieval

IR principles for content-based indexing and retrieval of functional brain images (BB, PBK, NDC, DS), pp. 828–829.

CIKM-2006-TaylorZCRB #multi #optimisation #parametricity #ranking

Optimisation methods for ranking functions with multiple parameters (MJT, HZ, NC, SR, CB), pp. 585–593.

CIKM-2006-XiaoLXM #case study #comparative #web

A comparative study on classifying the functions of web page blocks (XX, QL, XX, WYM), pp. 776–777.

CIKM-2006-ZhaZFS #difference #learning #query #retrieval #web

Incorporating query difference for learning retrieval functions in world wide web search (HZ, ZZ, HF, GS), pp. 307–316.

ICML-2006-BalcanB #formal method #learning #on the #similarity

On a theory of learning with similarity functions (MFB, AB), pp. 73–80.

ICML-2006-EngelhardtJB #predict #visual notation

A graphical model for predicting protein molecular function (BEE, MIJ, SEB), pp. 297–304.

ICML-2006-HertzBW #classification #kernel #learning

Learning a kernel function for classification with small training samples (TH, ABH, DW), pp. 401–408.

ICML-2006-KellerMP #approximate #automation #learning #programming

Automatic basis function construction for approximate dynamic programming and reinforcement learning (PWK, SM, DP), pp. 449–456.

ICML-2006-LeordeanuH #approximate #energy #performance

Efficient MAP approximation for dense energy functions (ML, MH), pp. 545–552.

ICPR-v1-2006-SmithL #design #metric #visual notation

Measurement Function Design for Visual Tracking Applications (AWBS, BCL), pp. 789–792.

ICPR-v1-2006-ZhuJB #estimation

Nonlinear Eye Gaze Mapping Function Estimation via Support Vector Regression (ZZ, QJ, KPB), pp. 1132–1135.

ICPR-v2-2006-ChenB06a #kernel

Function Dot Product Kernels for Support Vector Machine (GC, PB), pp. 614–617.

ICPR-v2-2006-ChenH #bound #composition #image #segmentation

Boundary correction for total variation regularized L^1 function with applications to image decomposition and segmentation (TC, TSH), pp. 316–319.

ICPR-v2-2006-LiuHZ #independence #robust #verification

Robust Local Scoring Function for Text-Independent Speaker Verification (ML, TSH, ZZ), pp. 1146–1149.

ICPR-v2-2006-PanBD #bottom-up #contest #functional #image #segmentation #using

Bottom-Up Hierarchical Image Segmentation Using Region Competition and the Mumford-Shah Functional (YP, JDB, SMD), pp. 117–121.

ICPR-v2-2006-ShimshoniRS #classification #image #performance #verification

Efficient Search and Verification for Function Based Classification from Real Range Images (IS, ER, OS), pp. 1118–1121.

ICPR-v3-2006-GutmanWLCT #analysis #using

Hippocampal Surface Analysis Using Spherical Harmonic Function Applied to Surface Conformal Mapping (BG, YW, LML, TFC, PMT), pp. 964–967.

ICPR-v3-2006-HuS06a #classification #clustering #functional #image #normalisation

Normalization of Functional Magnetic Resonance Images by Classified Cerebrospinal Fluid Cluster (ZH, PS), pp. 938–941.

ICPR-v3-2006-XueLF #image #using

Iterative Image Restoration using a Non-Local Regularization Function and a Local Regularization Operator (FX, QSL, WF), pp. 766–769.

ICPR-v4-2006-KoSB #random

A New Objective Function for Ensemble Selection in Random Subspaces (AHRK, RS, AdSBJ), pp. 185–188.

ICPR-v4-2006-LefaucheurN #classification #multi #robust #symmetry

Robust Multiclass Ensemble Classifiers via Symmetric Functions (PL, RN), pp. 136–139.

KDD-2006-JankSW #functional #modelling #online #realtime

Dynamic, real-time forecasting of online auctions via functional models (WJ, GS, SW), pp. 580–585.

KR-2006-WachterH #graph #representation

Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions (MW, RH), pp. 277–285.

SIGIR-2006-Baeza-YatesBC #algorithm #rank #ranking

Generalizing PageRank: damping functions for link-based ranking algorithms (RABY, PB, CC), pp. 308–315.

SIGIR-2006-ZhaZFS #difference #information retrieval #learning #query

Incorporating query difference for learning retrieval functions in information retrieval (HZ, ZZ, HF, GS), pp. 721–722.

ECOOP-2006-LeeC

Parameterized Modules for Classes and Extensible Functions (KL, CC), pp. 353–378.

LOPSTR-2006-BrasselFH #functional #logic #program transformation

A Program Transformation for Tracing Functional Logic Computations (BB, SF, FH), pp. 160–176.

PPDP-2006-FernandezF #calculus #functional #object-oriented

A historic functional and object-oriented calculus (MF, FF), pp. 145–156.

PPDP-2006-LohH #data type #open data

Open data types and open functions (AL, RH), pp. 133–144.

PADL-2006-GouraudG #functional #java #testing #using #virtual machine

Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine (SDG, AG), pp. 1–15.

RE-2006-Cleland-HuangSZS #aspect-oriented #classification #detection #non-functional #requirements

The Detection and Classification of Non-Functional Requirements with Application to Early Aspects (JCH, RS, XZ, PS), pp. 36–45.

RE-2006-Gonzalez-BaixauliLL #elicitation #interactive #non-functional #requirements #using

Eliciting Non-Functional Requirements Interactions Using the Personal Construct Theory (BGB, JCSdPL, MAL), pp. 340–341.

SAC-2006-CutelloNO #algorithm #analysis #heuristic

Analysis of an evolutionary algorithm with HyperMacromutation and stop at first constructive mutation heuristic for solving trap functions (VC, GN, PSO), pp. 945–949.

SAC-2006-DinechinLM #using #verification

Assisted verification of elementary functions using Gappa (FdD, CQL, GM), pp. 1318–1322.

SAC-2006-ErshovNM #architecture #precise

Quad and correctly rounded double precision math functions: portable and optimized for Intel architectures (AE, AN, SM), pp. 1310–1317.

SAC-2006-FelipeMBTT #distance #image #interactive

Comparing images with distance functions based on attribute interaction (JCF, PMAM, AGRB, CTJ, AJMT), pp. 1398–1399.

SAC-2006-LastovetskyRH #functional #performance

Building the functional performance model of a processor (ALL, RR, RH), pp. 746–753.

SAC-2006-OrshanskyWCX #analysis #robust #statistics

Interval-based robust statistical techniques for non-negative convex functions, with application to timing analysis of computer chips (MO, WSW, MC, GX), pp. 1645–1649.

HPDC-2006-AuYoungRWW #contract

Service contracts and aggregate utility functions (AA, LR, SW, JW), pp. 119–131.

LCTES-2006-MutyamLNKI #functional

Compiler-directed thermal management for VLIW functional units (MM, FL, NV, MTK, MJI), pp. 163–172.

LCTES-2006-RegehrD #embedded

Deriving abstract transfer functions for analyzing embedded software (JR, UD), pp. 34–43.

CSL-2006-AlvesFFM #linear #power of

The Power of Linear Functions (SA, MF, MF, IM), pp. 119–134.

CSL-2006-DurandO #first-order #query

First-Order Queries over One Unary Function (AD, FO), pp. 334–348.

ICLP-2006-AntoyH #functional #logic programming #source code

Overlapping Rules and Logic Variables in Functional Logic Programs (SA, MH), pp. 87–101.

ICLP-2006-CaballeroRV #constraints #declarative #functional #logic programming

Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming (RC, MRA, RdVV), pp. 421–422.

IJCAR-2006-BeckertP #logic

Dynamic Logic with Non-rigid Functions (BB, AP), pp. 266–280.

IJCAR-2006-GregoireT #composition #functional #library #scalability

A Purely Functional Library for Modular Arithmetic and Its Application to Certifying Large Prime Numbers (BG, LT), pp. 423–437.

IJCAR-2006-Krauss #higher-order #logic #recursion

Partial Recursive Functions in Higher-Order Logic (AK), pp. 589–603.

IJCAR-2006-TomanW #dependence #functional #logic #on the

On Keys and Functional Dependencies as First-Class Citizens in Description Logics (DT, GEW), pp. 647–661.

SAT-2006-MironovZ #satisfiability

Applications of SAT Solvers to Cryptanalysis of Hash Functions (IM, LZ), pp. 102–115.

SAT-2006-ZabiyakaD #bound #complexity #dependence #functional

Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies (YZ, AD), pp. 116–129.

VMCAI-2006-RossignoliS #compilation #detection

Detecting Non-cyclicity by Abstract Compilation into Boolean Functions (SR, FS), pp. 95–110.

CBSE-2005-Dolstra #component #deployment #functional #performance

Efficient Upgrading in a Purely Functional Component Deployment Model (ED), pp. 219–234.

ASE-2005-FredrikssonTC #analysis #component #design #development #framework #non-functional

A component-based development framework for supporting functional and non-functional analysis in control system design (JF, MT, IC), pp. 368–371.

ASE-2005-LiuLWCC #testing

A unified fitness function calculation rule for flag conditions to improve evolutionary testing (XL, HL, BW, PC, XC), pp. 337–341.

CASE-2005-CengicALYF #composition #implementation #using

Implementation of full synchronous composition using IEC 61499 function blocks (GC, KÅ, BL, CY, PMF), pp. 267–272.

DAC-2005-ChangZNV #analysis #parametricity #statistics

Parameterized block-based statistical timing analysis with non-gaussian parameters, nonlinear delay functions (HC, VZ, SN, CV), pp. 71–76.

DAC-2005-SasaoM #composition #functional #logic #multi #representation

BDD representation for incompletely specifiedvmultiple-output logic functions and its applications to functional decomposition (TS, MM), pp. 373–378.

DAC-2005-SuWKLK #analysis #effectiveness #embedded #functional #performance

A noise-driven effective capacitance method with fast embedded noise rule calculation for functional noise analysis (HS, DW, CVK, FL, BK), pp. 186–189.

DAC-2005-XuGFM

A green function-based parasitic extraction method for inhomogeneous substrate layers (CX, RG, TSF, KM), pp. 141–146.

DATE-2005-AbdiG #functional #scheduling #validation

Functional Validation of System Level Static Scheduling (SA, DDG), pp. 542–547.

DATE-2005-ChureauSA #functional #prototype #uml

The Role of Model-Level Transactors and UML in Functional Prototyping of Systems-on-Chip: A Software-Radio Application (AC, YS, EMA), pp. 698–703.

DATE-2005-IsseninD #automation #generative #memory management #named #optimisation

FORAY-GEN: Automatic Generation of Affine Functions for Memory Optimizations (II, NDD), pp. 808–813.

DATE-2005-JeffreyCPLRR #configuration management #integration #monitoring #online #safety #using

The Integration of On-Line Monitoring and Reconfiguration Functions using IEEE1149.4 Into a Safety Critical Automotive Electronic Control Unit (CJ, RC, SP, ML, AR, SR), pp. 153–158.

DATE-2005-McConaghyEG #canonical #generative #named #programming #search-based

CAFFEINE: Template-Free Symbolic Model Generation of Analog Circuits via Canonical Form Functions and Genetic Programming (TM, TE, GGEG), pp. 1082–1087.

DATE-2005-MishraD #functional #generative #pipes and filters #testing #validation

Functional Coverage Driven Test Generation for Validation of Pipelined Processors (PM, NDD), pp. 678–683.

DATE-2005-RodriguesC #compilation #design #framework

An Infrastructure to Functionally Test Designs Generated by Compilers Targeting FPGAs (RR, JMPC), pp. 30–31.

DATE-2005-ShashidharBCJ #algebra #equivalence #functional #source code #verification

Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code (KCS, MB, FC, GJ), pp. 1310–1315.

DocEng-2005-LumleyGR #documentation #framework #layout

A framework for structure, layout & function in documents (JWL, RG, OR), pp. 32–41.

PODS-2005-Koch #complexity #functional #on the #query #recursion #xquery

On the complexity of nonrecursive XQuery and functional query languages on complex values (CK), pp. 84–97.

VLDB-2005-TaoCXNKP #multi #nondeterminism #probability

Indexing Multi-Dimensional Uncertain Data with Arbitrary Probability Density Functions (YT, RC, XX, WKN, BK, SP), pp. 922–933.

ITiCSE-2005-Cox #approach #functional #human-computer #programming

A pragmatic HCI approach: engagement by reinforcing perception with functional dsesign and programming (DC), pp. 39–43.

ITiCSE-2005-Prakash05a

Implicit functions lab: a collaboratory for computer graphics (ECP), p. 376.

WRLA-2004-Lopez-FraguasRV05 #constraints #functional #logic programming #revisited

Constraint Functional Logic Programming Revisited (FJLF, MRA, RdVV), pp. 5–50.

ESOP-2005-TsuikiS #functional

Streams with a Bottom in Functional Languages (HT, KS), pp. 201–216.

WCRE-2005-KimPW #automation #detection

When Functions Change Their Names: Automatic Detection of Origin Relationships (SK, KP, EJWJ), pp. 143–152.

PLDI-2005-FurrF #type safety

Checking type safety of foreign function calls (MF, JSF), pp. 62–72.

SAS-2005-JeannetGR #abstraction #relational

A Relational Abstraction for Functions (BJ, DG, TWR), pp. 186–202.

STOC-2005-BenjaminiSW

Balanced boolean functions that can be evaluated so that every input bit is unlikely to be read (IB, OS, DBW), pp. 244–250.

STOC-2005-CodenottiMV #equilibrium

Market equilibrium via the excess demand function (BC, BM, KRV), pp. 74–83.

STOC-2005-Wee #obfuscation #on the

On obfuscating point functions (HW), pp. 523–532.

DLT-J-2004-Staiger05 #infinity

Infinite Iterated Function Systems in Cantor Space and the Hausdorff Measure of ω-Power Languages (LS), pp. 787–802.

ICALP-2005-BraekenBNP #classification #encryption

Classification of Boolean Functions of 6 Variables or Less with Respect to Some Cryptographic Properties (AB, YLB, SN, BP), pp. 324–334.

SEFM-2005-GervaisFL #database #generative #recursion #relational #transaction

Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces (FG, MF, RL), pp. 117–126.

CEFP-2005-Hammond #approach #behaviour #bound #functional #programming

Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach (KH), pp. 100–134.

CEFP-2005-KoopmanP #automation #specification #testing

Fully Automatic Testing with Functions as Specifications (PWMK, RP), pp. 35–61.

CEFP-2005-Scholz #array #functional #programming

Functional Array Programming in SaC (SBS), pp. 62–99.

ICFP-2005-BergerHY #alias #analysis #higher-order #imperative #logic

A logical analysis of aliasing in imperative higher-order functions (MB, KH, NY), pp. 280–293.

ICFP-2005-Cheney #functional

Scrap your nameplate: (functional pearl) (JC), pp. 180–191.

ICFP-2005-DantasWWW #aspect-oriented #functional #named #polymorphism #programming language

Poly_AML: a polymorphic aspect-oriented functional programming language (DSD, DW, GW, SW), pp. 306–319.

ICFP-2005-KiselyovSFS #backtracking #functional #monad

Backtracking, interleaving, and terminating monad transformers: (functional pearl) (OK, CcS, DPF, AS), pp. 192–203.

ICFP-2005-LammelJ #scrap your boilerplate

Scrap your boilerplate with class: extensible generic functions (RL, SLPJ), pp. 204–215.

ICFP-2005-MasuharaTY #aspect-oriented #functional #ml

Aspectual Caml: an aspect-oriented functional language (HM, HT, AY), pp. 320–330.

ICFP-2005-Nilsson #algebra #data type #functional #optimisation #programming #using

Dynamic optimization for functional reactive programming using generalized algebraic data types (HN), pp. 54–65.

ICFP-2005-WestbrookSW #approach #imperative #programming

A language-based approach to functionally correct imperative programming (EMW, AS, IW), pp. 268–279.

AdaEurope-2005-SwardB #equivalence #functional #proving #slicing

Proving Functional Equivalence for Program Slicing in SPARK™ (RES, LCBI), pp. 105–114.

EDOC-2005-JonkersILS #analysis #aspect-oriented #development #integration #modelling #non-functional

Integration and Analysis of Functional and Non-Functional Aspects in Model-Driven E-Service Development (HJ, MEI, MML, PS), pp. 229–238.

ICEIS-v3-2005-CechichP #case study #detection #functional #off the shelf

Early Detection of Cots Functional Suitability for an E-Payment Case Study (AC, MP), pp. 11–28.

ICEIS-v3-2005-SilvaC #detection #non-functional #requirements

Functional and Non-Functional Application Software Requirements: Early Conflict Detection (PSMS, LC), pp. 343–348.

ICEIS-v3-2005-XuWLKL #framework #multi #ontology #perspective

A Framework for Managing Multiple Ontologies: The Function-Oriented Perspective (BX, PW, JL, DK, YL), pp. 300–305.

CIKM-2005-PuM #equation #functional #query #specification

Typed functional query languages with equational specifications (KQP, AOM), pp. 233–234.

CIKM-2005-QiKMP #data access #database #xml

A function-based access control model for XML databases (NQ, MK, JM, HP), pp. 115–122.

ECIR-2005-RuchPS

Features Combination for Extracting Gene Functions from MEDLINE (PR, LP, JS), pp. 112–126.

ICML-2005-AndersonM #algorithm #learning #markov #modelling

Active learning for Hidden Markov Models: objective functions and algorithms (BA, AM), pp. 9–16.

ICML-2005-Mahadevan #learning

Proto-value functions: developmental reinforcement learning (SM), pp. 553–560.

ICML-2005-RayP

Generalized skewing for functions with continuous and nominal attributes (SR, DP), pp. 705–712.

ICML-2005-RosellHRP #learning #why

Why skewing works: learning difficult Boolean functions with greedy tree learners (BR, LH, SR, DP), pp. 728–735.

ICML-2005-WangS #classification #kernel

New kernels for protein structural motif discovery and function classification (CW, SDS), pp. 940–947.

KDD-2005-WuCP #distance #kernel

Formulating distance functions via the kernel trick (GW, EYC, NP), pp. 703–709.

MLDM-2005-Bobrowski #feature model #modelling

Ranked Modelling with Feature Selection Based on the CPL Criterion Functions (LB), pp. 218–227.

MLDM-2005-EickRBV #assessment #clustering #distance #similarity #using

Using Clustering to Learn Distance Functions for Supervised Similarity Assessment (CFE, AR, AB, RV), pp. 120–131.

SEKE-2005-MarewKB #aspect-oriented #case study #composition #development #functional #product line #using

Case Study on Systematic Functional Decomposition in a Product Line using Aspect Oriented Software Development (TM, JK, DHB), pp. 152–157.

SIGIR-2005-TryfonopoulosIK #information retrieval #network #using

Publish/subscribe functionality in IR environments using structured overlay networks (CT, SI, MK), pp. 322–329.

LOPSTR-2005-AntoyH #declarative #programming

Declarative Programming with Function Patterns (SA, MH), pp. 6–22.

PPDP-2005-LunaPS #compilation #experience #functional

Efficiently compiling a functional language on AMD64: the HiPE experience (DL, MP, KFS), pp. 176–186.

PADL-2005-Karczmarczuk #framework #functional #synthesis

Functional Framework for Sound Synthesis (JK), pp. 7–21.

POPL-2005-ParkPT #probability

A probabilistic language based upon sampling functions (SP, FP, ST), pp. 171–182.

RE-2005-DorrKKOS #case study #industrial #non-functional #requirements

Non-Functional Requirements in Industry — Three Case Studies Adopting an Experience-based NFR Method (JD, DK, TK, TO, TS), pp. 373–384.

RE-2005-Matulevicius #evaluation #framework #functional #prototype #requirements

Prototype of the Evaluation Framework for Functional Requirements of RE-tools (RM), pp. 483–484.

SAC-2005-Heinlein #c++

Virtual namespace functions: an alternative to virtual member functions in C++ and advice in AspectC++ (CH), pp. 1274–1281.

SAC-OOPS-J-2005-Heinlein #c++

Global and Local Virtual Functions in C++ (CH), pp. 71–93.

ICSE-2005-Cleland-HuangSKBC #non-functional #requirements #traceability

Goal-centric traceability for managing non-functional requirements (JCH, RS, OBK, EB, SC), pp. 362–371.

SPLC-2005-HelferichHS #deployment #named #product line #quality #using

QFD-PPP: Product Line Portfolio Planning Using Quality Function Deployment (AH, GH, SS), pp. 162–173.

SAT-J-2004-GregoireOMS05 #automation #dependence #functional

Automatic Extraction of Functional Dependencies (ÉG, RO, BM, LS), pp. 122–132.

AMOST-2005-ClermontP #testing #using

Using information about functions in selecting test cases (MC, DLP).

CSL-2005-Hernest #functional

Light Functional Interpretation (MDH), pp. 477–492.

CSL-2005-SchurmannS #identification #polynomial #recursion

Identifying Polynomial-Time Recursive Functions (CS, JS), pp. 525–540.

ICLP-2005-BrasselH #analysis #functional #logic programming #nondeterminism #source code

Nondeterminism Analysis of Functional Logic Programs (BB, MH), pp. 265–279.

LICS-2005-AltenkirchG #functional #programming language #quantum

A Functional Quantum Programming Language (TA, JG), pp. 249–258.

LICS-2005-EdalatP

Inverse and Implicit Functions in Domain Theory (AE, DP), pp. 417–426.

TestCom-2005-PuderW #functional #middleware #testing

Cross-Language Functional Testing for Middleware (AP, LW), pp. 56–68.

TLCA-2005-BoveC #higher-order #recursion

Recursive Functions with Higher Order Domains (AB, VC), pp. 116–130.

TLCA-2005-SchurmannPS #calculus #encoding #functional #higher-order #programming

The [triangle]-Calculus. Functional Programming with Higher-Order Encodings (CS, AP, JS), pp. 339–353.

VMCAI-2005-SistlaZW #commutative #model checking

Model Checking of Systems Employing Commutative Functions (APS, MZ, XW), pp. 250–266.

CBSE-2004-DefourJP #component #contract

Extra-Functional Contract Support in Components (OD, JMJ, NP), pp. 217–232.

WICSA-2004-PoortW #composition #non-functional

Resolving Requirement Conflicts through Non-Functional Decomposition (ERP, PHNdW), pp. 145–154.

ASE-2004-WilliamsMM #c #generative #on the fly #testing

On-the-Fly Generation of K-Path Tests for C Functions (NW, BM, PM), pp. 290–293.

DAC-2004-AbdiG #architecture #automation #functional #generative #specification

Automatic generation of equivalent architecture model from functional specification (SA, DG), pp. 608–613.

DAC-2004-AsafMZ #analysis #functional

Defining coverage views to improve functional coverage analysis (SA, EM, AZ), pp. 41–44.

DAC-2004-FineUZ #functional #probability #verification

Probabilistic regression suites for functional verification (SF, SU, AZ), pp. 49–54.

DAC-2004-KimYKK #functional #hardware #performance #simulation

Communication-efficient hardware acceleration for fast functional simulation (YIK, WSY, YSK, CMK), pp. 293–298.

DAC-2004-KwonKK #functional #graph #metric #synthesis

Systematic functional coverage metric synthesis from hierarchical temporal event relation graph (YSK, YIK, CMK), pp. 45–48.

DAC-2004-NookalaS

A method for correcting the functionality of a wire-pipelined circuit (VN, SSS), pp. 570–575.

DAC-2004-Pomeranz #functional #generative #on the #testing

On the generation of scan-based test sets with reachable states for testing under functional operation conditions (IP), pp. 928–933.

DAC-2004-SasaoM #logic #multi

A method to decompose multiple-output logic functions (TS, MM), pp. 428–433.

DAC-2004-WangC #detection #symmetry

Symmetry detection for incompletely specified functions (KHW, JHC), pp. 434–437.

DAC-2004-YangKM #architecture #named #optimisation

Divide-and-concatenate: an architecture level optimization technique for universal hash functions (BY, RK, DAM), pp. 614–617.

DATE-DF-2004-DaddaMO #design

The Design of a High Speed ASIC Unit for the Hash Function SHA-256 (384, 512) (LD, MM, JO), pp. 70–75.

DATE-v1-2004-Cao #on the #power management

On Transfer Function and Power Consumption Transient Response (LC), pp. 688–689.

DATE-v1-2004-KwonK #functional #generative #graph #metric

Functional Coverage Metric Generation from Temporal Event Relation Graph (YSK, CMK), pp. 670–671.

DATE-v1-2004-LaurentJSM #analysis #approach #functional #modelling #performance #power management

Functional Level Power Analysis: An Efficient Approach for Modeling the Power Consumption of Complex Processors (JL, NJ, ES, EM), pp. 666–667.

DATE-v1-2004-MishraD #functional #generative #graph #pipes and filters

Graph-Based Functional Test Program Generation for Pipelined Processors (PM, ND), pp. 182–187.

DATE-v2-2004-JabirP #diagrams #multi #named #representation

MODD: A New Decision Diagram and Representation for Multiple Output Binary Functions (AMJ, DKP), pp. 1388–1389.

DATE-2005-UllmannJB04 #configuration management #hardware

Hardware Support for QoS-based Function Allocation in Reconfigurable Systems (MU, WJ, JB), pp. 259–264.

DocEng-2004-KingST #animation #behaviour #functional #programming #realtime #xml

Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation (PRK, PS, SJT), pp. 57–66.

SIGMOD-2004-IlyasMHBA #automation #correlation #dependence #functional #named

CORDS: Automatic Discovery of Correlations and Soft Functional Dependencies (IFI, VM, PJH, PB, AA), pp. 647–658.

ITiCSE-2004-PazL #automation #concept #functional #programming

Emergence of automated assignment conceptions in a functional programming course (TP, TL), pp. 181–185.

ITiCSE-WGR-2004-MatosG #approximate #dependence #functional

SQL-based discovery of exact and approximate functional dependencies (VM, BG), pp. 58–63.

ESOP-2004-DuckPSS #decidability #dependence #functional #type inference

Sound and Decidable Type Inference for Functional Dependencies (GJD, SLPJ, PJS, MS), pp. 49–63.

ESOP-2004-EspanaE #functional #logic #semantics

A Memoizing Semantics for Functional Logic Languages (SE, VE), pp. 109–123.

SAS-2004-GulwaniN04a #analysis #linear

Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions (SG, GCN), pp. 328–343.

STOC-2004-Ajtai #polynomial

A conjecture about polynomial time computable lattice-lattice functions (MA), pp. 486–493.

FLOPS-2004-CaballeroR #debugging #declarative #functional #named

DDT: a Declarative Debugging Tool for Functional-Logic Languages (RC, MRA), pp. 70–84.

FLOPS-2004-Schurmann #framework #functional #logic #programming

Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework (CS), pp. 22–23.

CIAA-2004-DebskiF #state machine

Concatenation State Machines and Simple Functions (WD, WF), pp. 113–124.

ICALP-2004-BournezH

An Analog Characterization of Elementarily Computable Functions over the Real Numbers (OB, EH), pp. 269–280.

ICALP-2004-BulatovG #complexity

The Complexity of Partition Functions (AAB, MG), pp. 294–306.

ICALP-2004-GairingLMMR #game studies #latency #nash

Nash Equilibria in Discrete Routing Games with Convex Latency Functions (MG, TL, MM, BM, MR), pp. 645–657.

ICALP-2004-MunroR

Succinct Representations of Functions (JIM, SSR), pp. 1006–1015.

IFM-2004-Melham #functional #model checking #proving #theorem proving

Integrating Model Checking and Theorem Proving in a Reflective Functional Language (TFM), pp. 36–39.

SEFM-2004-KhedriB #architecture #design #functional

Formal Derivation of Functional Architectural Design (RK, IB), pp. 356–265.

AFP-2004-PlasmeijerW04 #functional

A Functional Shell That Operates on Typed and Compiled Applications (RP, AvW), pp. 245–272.

AFP-2004-Thompson04 #functional #refactoring #source code

Refactoring Functional Programs (SJT), pp. 331–357.

ICFP-2004-FindlerF #functional #named

Slideshow: functional presentations (RBF, MF), pp. 224–235.

ICFP-2004-ForsbergR #functional

Functional morphology (MF, AR), pp. 213–223.

ICFP-2004-ShiversF #multi

Multi-return function call (OS, DF), pp. 79–89.

ICFP-2004-TolmachAN #functional #implementation #logic #multi #thread #using

Implementing functional logic languages using multiple threads and stores (APT, SA, MN), pp. 90–102.

ICFP-2004-Wiger #functional #industrial #programming

20 years of industrial functional programming (UTW), p. 162.

IFL-2004-AntoyHLT #functional #logic #virtual machine

A Virtual Machine for Functional Logic Computations (SA, MH, JL, APT), pp. 108–125.

IFL-2004-DowseBE #concurrent #functional #reasoning

Reasoning About Deterministic Concurrent Functional I/O (MD, AB, MCJDvE), pp. 177–194.

IFL-2004-EversAK #functional #programming #user interface #visual notation

A Functional Programming Technique for Forms in Graphical User Interfaces (SE, PA, JK), pp. 35–51.

IFL-2004-SchreurP

Dynamic Construction of Generic Functions (RWS, MJP), pp. 160–176.

IFL-2004-StefanovS #effectiveness #functional #reduction #source code

Simple, Effective Code-Size Reduction for Functional Programs (ES, AMS), pp. 211–225.

IFL-2004-Trancon-y-Widemann #evaluation #recursion #strict #virtual machine

V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions (BTyW), pp. 90–107.

ICEIS-v1-2004-Lyytinen #analysis #functional #requirements #scalability #source code

Large Scale Requirements Engineering in Action: An Ethnographic Analysis of Functional and Political Ecologies in Situ in Space Mission Programs (KL), p. V.

ICEIS-v3-2004-CechichP #component #functional #off the shelf

Balancing Stakeholder’s Preferences on Measuring COTS Component Functional Suitability (AC, MP), pp. 115–122.

ICEIS-v3-2004-ZoukarS #approach #enterprise #requirements #similarity

Matching ERP Functionalities with the Logistic Requirements of French Railways: A Similarity Approach (IZ, CS), pp. 444–450.

CIKM-2004-HeL #dependence #functional

Extending and inferring functional dependencies in schema transformation (QH, TWL), pp. 12–21.

CIKM-2004-WuC #design #sequence

Distance-function design and fusion for sequence data (YW, EYC), pp. 324–333.

CIKM-2004-ZhaoK #clustering #documentation #summary

Soft clustering criterion functions for partitional document clustering: a summary of results (YZ, GK), pp. 246–247.

ICML-2004-Brinker #learning #ranking

Active learning of label ranking functions (KB).

ICML-2004-HertzBW #clustering #distance

Boosting margin based distance functions for clustering (TH, ABH, DW).

ICML-2004-MannorSST #bias #estimation

Bias and variance in value function estimation (SM, DS, PS, JNT).

ICML-2004-MerkeS #approximate #convergence #learning #linear

Convergence of synchronous reinforcement learning with linear function approximation (AM, RS).

ICPR-v1-2004-FilipH #bidirectional #synthesis

Non-linear Reflectance Model for Bidirectional Texture Function Synthesis (JF, MH), pp. 80–83.

ICPR-v2-2004-FeiginS #adaptation #functional #segmentation

Segmentation and Denoising via an Adaptive Threshold Mumford-Shah-like Functional (MF, NAS), pp. 98–101.

ICPR-v2-2004-GutierrezRA #identification

Weighted Loss Functions to Make Risk-based Language Identification Fused Decisions (JG, JLR, RAO), pp. 863–866.

ICPR-v2-2004-HalawaniB #evaluation #image #kernel #retrieval

Image Retrieval by Local Evaluation of Nonlinear Kernel Functions around Salient Points (AH, HB), pp. 955–960.

ICPR-v2-2004-SunHT #recognition

Active Discriminant Functions for Handwriting Recognition (GS, JH, XT), pp. 602–605.

ICPR-v2-2004-WangZKT #distance #image #segmentation #set

Level Set Methods, Distance Function and Image Segmentation (DW, JZ, SCK, ZT), pp. 110–115.

ICPR-v3-2004-BoughorbelKAA #energy

Gaussian Energy Functions for Registration without Correspondences (FB, AK, BRA, MAA), pp. 24–27.

ICPR-v3-2004-PalenichkaMZ #image #locality #multi #performance #using

Fast Object Localization using Multi-Scale Image Relevance Function (RMP, RM, MBZ), pp. 227–230.

ICPR-v4-2004-MizukamiWT #approximate #architecture #network

A Proposal of Neural Network Architecture for Non-Linear Function Approximation (YM, YW, KT), pp. 605–608.

ICPR-v4-2004-SinghMB #robust

Robust KLT Tracking with Gaussian and Laplacian of Gaussian Weighting Functions (MS, MKM, AB), pp. 661–664.

KDD-2004-Hooker04a #black box

Discovering additive structure in black box functions (GH), pp. 575–580.

SIGIR-2004-XiLB #effectiveness #learning #ranking

Learning effective ranking functions for newsgroup search (WX, JL, EB), pp. 394–401.

UML-2004-RottgerZ #development #model transformation #modelling #non-functional #refinement

Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation (SR, SZ), pp. 275–289.

ECOOP-2004-Felleisen #functional

Functional Objects (MF), p. 267.

LOPSTR-2004-BrasselHHSV #functional #logic programming #profiling #runtime #source code

Run-Time Profiling of Functional Logic Programs (BB, MH, FH, JS, GV), pp. 182–197.

PPDP-2004-ClevaLL #approach #functional #logic programming #source code #verification

A logic programming approach to the verification of functional-logic programs (JMC, JL, FJLF), pp. 9–19.

PPDP-2004-HondaY #composition #higher-order #logic #polymorphism

A compositional logic for polymorphic higher-order functions (KH, NY), pp. 191–202.

PADL-2004-BrasselCHH #functional #logic

Observing Functional Logic Computations (BB, OC, MH, FH), pp. 193–208.

POPL-2004-Rival #compilation

Symbolic transfer function-based approaches to certified compilation (XR), pp. 1–13.

RE-2004-HillWN #approach #non-functional #process #requirements

Quantifying Non-Functional Requirements: A Process Oriented Approach (RLH, JW, KN), pp. 352–353.

RE-2004-SousaC #non-functional #requirements

Improving the Separation of Non-Functional Concerns in Requirements Artifacts (GMCdS, JC), pp. 350–351.

SAC-2004-DHondtGJ #integration #object-oriented #rule-based

Seamless integration of rule-based knowledge and object-oriented functionality with linguistic symbiosis (MD, KG, VJ), pp. 1328–1335.

SAC-2004-GalandM #architecture #functional #self

A functional architecture for self-aware routers (DG, OM), pp. 352–356.

SAC-2004-Guo #algorithm #clustering #evaluation #framework #functional

A new framework for clustering algorithm evaluation in the domain of functional genomics (AG), pp. 143–146.

ICSE-2004-Zschaler #component #concept #non-functional #research #semantics #specification

Research Abstract: Semantic Concepts for the Specification of Non-Functional Properties of Component-Based Software (SZ), pp. 51–53.

CAV-2004-GoelB #abstraction #functional #model checking #order #simulation

Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors (AG, REB), pp. 255–267.

CAV-2004-JiangB #dependence #functional #reduction #verification

Functional Dependency for Verification Reduction (JHRJ, RKB), pp. 268–280.

CSL-2004-AmadioCDJ #bound #bytecode #functional #verification

A Functional Scenario for Bytecode Verification of Resource Bounds (RMA, SCG, SDZ, LJ), pp. 265–279.

CSL-2004-Cordon-FrancoFM #induction #recursion

Provably Total Primitive Recursive Functions: Theories with Induction (ACF, AFM, FFLM), pp. 355–369.

FATES-2004-BruckerW #generative #recursion #testing

Symbolic Test Case Generation for Primitive Recursive Functions (ADB, BW), pp. 16–32.

ICLP-2004-DefourJP #component #modelling #predict

Applying CLP to Predict Extra-Functional Properties of Component-Based Models (OD, JMJ, NP), pp. 454–455.

IJCAR-2004-GanzingerSW #composition #proving #similarity

Modular Proof Systems for Partial Functions with Weak Equality (HG, VSS, UW), pp. 168–182.

SAT-2004-GregoireOMS #automation #dependence #functional

Automatic Extraction of Functional Dependencies (ÉG, RO, BM, LS), pp. 157–165.

VMCAI-2004-PodelskiR #linear #ranking #synthesis

A Complete Method for the Synthesis of Linear Ranking Functions (AP, AR), pp. 239–251.

ASE-2003-SkeneE #analysis #approach #architecture #modelling #non-functional

A Model-Driven Approach to Non-Functional Analysis of Software Architectures (JS, WE), pp. 236–239.

ASE-2003-Wile #architecture #calculus #non-functional

Architecture Style-Based Calculi for Non-functional Properties (DSW), pp. 299–303.

DAC-2003-FineZ #functional #generative #network #testing #using #verification

Coverage directed test generation for functional verification using bayesian networks (SF, AZ), pp. 286–291.

DAC-2003-GoelHB #order #representation

Symbolic representation with ordered function templates (AG, GH, REB), pp. 431–435.

DAC-2003-JiangMB #evaluation #logic

Generalized cofactoring for logic function evaluation (YJ, SM, RKB), pp. 155–158.

DAC-2003-LauP #algorithm #design #using

Fractional-N frequency synthesizer design at the transfer function level using a direct closed loop realization algorithm (CYL, MHP), pp. 526–531.

DAC-2003-MishchenkoS #composition #functional #scalability #using

Large-scale SOP minimization using decomposition and functional properties (AM, TS), pp. 149–154.

DAC-2003-Schubert03a #challenge #distributed #functional #industrial #scalability #simulation

Improvements in functional simulation addressing challenges in large, distributed industry projects (KDS), pp. 11–14.

DAC-2003-SeshiaLB #hybrid #logic #satisfiability

A hybrid SAT-based decision procedure for separation logic with uninterpreted functions (SAS, SKL, REB), pp. 425–430.

DAC-2003-YuanAAP #constraints #functional #modelling #synthesis #verification

Constraint synthesis for environment modeling in functional verification (JY, KA, AA, CP), pp. 296–299.

DATE-2003-BrandoleseFSS #analysis #library

Library Functions Timing Characterization for Source-Level Analysis (CB, WF, FS, DS), pp. 11132–11133.

DATE-2003-BurbidgeTR #automation #embedded #monitoring

Techniques for Automatic On Chip Closed Loop Transfer Function Monitoring For Embedded Charge Pump Phase Locked Loops (MJB, JT, AR), pp. 10496–10503.

DATE-2003-BurmenPT #cost analysis #design #optimisation #robust

Defining Cost Functions for Robust IC Design and Optimization (ÁB, JP, TT), pp. 20196–20201.

DATE-2003-GoelB #analysis #functional #reachability #set

Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis (AG, REB), pp. 10816–10821.

DATE-2003-HagaRBM #functional #power management

Dynamic Functional Unit Assignment for Low Power (SH, NR, RB, DM), pp. 11052–11057.

DATE-2003-NicolaidisAB #configuration management #self

Optimal Reconfiguration Functions for Column or Data-bit Built-In Self-Repair (MN, NA, SB), pp. 10590–10595.

DATE-2003-ZhuM #component #non-functional #specification

Specification of Non-Functional Intellectual Property Components (JZ, WSM), pp. 10456–10461.

DATE-2003-Ziv #functional #metric

Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions (AZ), pp. 10834–10841.

HT-2003-AmitayCDLS #detection

The connectivity sonar: detecting site functionality by structural patterns (EA, DC, AD, RL, AS), pp. 38–47.

VLDB-2003-HulgeriS #cost analysis #named #optimisation #parametricity #query

AniPQO: Almost Non-intrusive Parametric Query Optimization for Nonlinear Cost Functions (AH, SS), pp. 766–777.

ESOP-2003-AlpuenteBCF #functional #logic programming #source code

Correction of Functional Logic Programs (MA, DB, FJC, MF), pp. 54–68.

TACAS-2003-BarayCDM #functional #generative #testing #validation

Code-Based Test Generation for Validation of Functional Processor Descriptions (FB, PC, DD, HM), pp. 569–584.

TACAS-2003-ZhangCS #analysis #concurrent #functional #performance #verification

The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems (DZ, RC, EWS), pp. 431–436.

CSMR-2003-LanubileM #clone detection #web

Finding Function Clones in Web Applications (FL, TM), p. 379–?.

ICSM-2003-DaCostaDMP #security

Characterizing the “Security Vulnerability Likelihood” of Software Functions (DD, CD, SM, VP), p. 266–?.

ICSM-2003-Klusener #analysis #source code

Source Code Based Function Point Analysis for Enhancement Projects (SK), pp. 373–376.

PEPM-2003-LiuS #optimisation

Optimizing Ackermann’s function by incrementalization (YAL, SDS), pp. 85–91.

STOC-2003-DietzfelbingerW #graph #random

Almost random graphs with simple hash functions (MD, PW), pp. 629–638.

STOC-2003-ODonnellS #bound #polynomial

New degree bounds for polynomial threshold functions (RO, RAS), pp. 325–334.

STOC-2003-SauerhoffW #bound #graph #integer #multi #trade-off

Time-space tradeoff lower bounds for integer multiplication and graphs of arithmetic functions (MS, PW), pp. 186–195.

ICALP-2003-AmirACLP #algorithm #bound

Function Matching: Algorithms, Applications, and a Lower Bound (AA, YA, RC, ML, EP), pp. 929–942.

ICFP-2003-JonesBB #approach

A user-centred approach to functions in Excel (SLPJ, AFB, MMB), pp. 165–176.

ICFP-2003-Knight #functional #quantum

Conservation of information: applications in functional, reversible, and quantum computing (TKJ), p. 1.

ICFP-2003-Nilsson #automation #difference #functional

Functional automatic differentiation with dirac impulses (HN), pp. 153–164.

IFL-2003-SeguraP #analysis #correctness #nondeterminism

Correctness of Non-determinism Analyses in a Parallel-Functional Language (CS, RP), pp. 69–85.

IFL-2003-VasconcelosH #equation #functional #higher-order #polymorphism #recursion #source code

Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs (PBV, KH), pp. 86–101.

IFL-2003-WeeldenP #functional

A Functional Shell That Dynamically Combines Compiled Code (AvW, RP), pp. 36–52.

CAiSE-2003-SalinesiR #modelling

Fitting Business Models to System Functionality Exploring the Fitness Relationship (CS, CR), pp. 647–664.

ICEIS-v1-2003-AmraniGRMB #enterprise #implementation

ERP Implementation, Cross-Functionality and Critical Change Factors (REA, BGM, FR, RM, MB), pp. 600–619.

ICEIS-v3-2003-Poels #concept #functional #metric #modelling

Functional Size Measurement of Layered Conceptual Models (GP), pp. 411–416.

ICML-2003-Bar-HillelHSW #distance #equivalence #learning #using

Learning Distance Functions using Equivalence Relations (ABH, TH, NS, DW), pp. 11–18.

ICML-2003-LiY #analysis #categorisation #classification

A Loss Function Analysis for Classification Methods in Text Categorization (FL, YY), pp. 472–479.

ICML-2003-McMahanGB #cost analysis

Planning in the Presence of Cost Functions Controlled by an Adversary (HBM, GJG, AB), pp. 536–543.

ICML-2003-ZhuGL #learning #using

Semi-Supervised Learning Using Gaussian Fields and Harmonic Functions (XZ, ZG, JDL), pp. 912–919.

KDD-2003-Aggarwal #data mining #design #distance #mining #towards

Towards systematic design of distance functions for data mining applications (CCA), pp. 9–18.

MLDM-2003-Nedelko #empirical #quality

Estimating a Quality of Decision Function by Empirical Risk (VMN), pp. 182–187.

PPDP-2003-AgerBDM #automaton #functional

A functional correspondence between evaluators and abstract machines (MSA, DB, OD, JM), pp. 8–19.

PPDP-2003-BanyasadC #functional #geometry #on the

On translating geometric solids to functional expressions (OB, PTC), pp. 44–55.

PPDP-2003-HirschowitzLW #call-by #compilation #functional #recursion

Compilation of extended recursion in call-by-value functional languages (TH, XL, JBW), pp. 160–171.

PADL-2003-ClareK #data mining #functional #lazy evaluation #mining

Data Mining the Yeast Genome in a Lazy Functional Language (AC, RDK), pp. 19–36.

PADL-2003-FernandezHS #combinator #constraints #functional #logic #problem

Solving Combinatorial Problems with a Constraint Functional Logic Language (AJF, MTHG, FSP), pp. 320–338.

PADL-2003-NilssonPH #functional #hybrid #modelling

Functional Hybrid Modeling (HN, JP, PH), pp. 376–390.

POPL-2003-HofmannJ #first-order #functional #predict #source code

Static prediction of heap space usage for first-order functional programs (MH, SJ), pp. 185–197.

SAC-2003-LeeLTY #identification

Identify Amino Acid Candidates Critical for Function of Rat Imidase by Cross-reference Voting in Imidase SuperFamily (CL, YtL, CYT, YSY), pp. 127–134.

SAC-2003-LiZLO #classification #functional #learning #semistructured data

Gene Functional Classification by Semisupervised Learning from Heterogeneous Data (TL, SZ, QL, MO), pp. 78–82.

CGO-2003-Thomas

Inlining of Mathematical Functions in HP-UX for Itanium ® 2 (JWT), pp. 135–148.

CADE-2003-GulwaniN #random

A Randomized Satisfability Procedure for Arithmetic and Uninterpreted Function Symbols (SG, GCN), pp. 167–181.

CADE-2003-Stump #set

Subset Types and Partial Functions (AS), pp. 151–165.

CSL-2003-KristiansenV #power of #source code #strict

The Surprising Power of Restricted Programs and Gödel’s Functionals (LK, PJV), pp. 345–358.

CSL-2003-Vorobjov #effectiveness #formal method #strict

Effective Model Completeness of the Theory of Restricted Pfaffian Functions (Invited Lecture) (NV), p. 544.

LICS-2003-GurevichS #higher-order #monad

Spectra of Monadic Second-Order Formulas with One Unary Function (YG, SS), pp. 291–300.

LICS-2003-Hunter

Spectrum Hierarchies and Subdiagonal Functions (AH), pp. 281–290.

TLCA-2003-Konecny #data type #functional

Functional In-Place Update with Layered Datatype Sharing (MK), pp. 195–210.

VMCAI-2003-Monniaux #abstraction #using

Abstraction of Expectation Functions Using Gaussian Distributions (DM), pp. 161–173.

ASE-2002-BarberGH #architecture #evaluation #non-functional #using

Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation (KSB, TJG, JH), pp. 172–182.

ASE-2002-VisvanathanG #generative #pointer #testing

Generating Test Data for Functions with Pointer Inputs (SV, NG), p. 149–?.

DAC-2002-CadambiMA #functional #hardware #performance #scalability #simulation

A fast, inexpensive and scalable hardware acceleration technique for functional simulation (SC, CM, PA), pp. 570–575.

DAC-2002-KrauterW #analysis

Variable frequency crosstalk noise analysis: : a methodology to guarantee functionality from dc to fmax (BK, DW), pp. 665–668.

DAC-2002-LachishMUZ #analysis #functional

Hole analysis for functional coverage data (OL, EM, SU, AZ), pp. 807–812.

DAC-2002-WongMP #concept #synthesis

Forward-looking objective functions: concept & applications in high level synthesis (JLW, SM, MP), pp. 904–909.

DATE-2002-BaldiniBPMT #functional #uml

Beyond UML to an End-of-Line Functional Test Engine (AB, AB, PP, SM, AT), pp. 499–503.

DATE-2002-DoboliV #co-evolution #design #functional #specification

A Functional Specification Notation for Co-Design of Mixed Analog-Digital Systems (AD, RV), pp. 760–767.

DATE-2002-FerrandiRS #constraints #functional #theorem proving #using #verification

Functional Verification for SystemC Descriptions Using Constraint Solving (FF, MR, DS), pp. 744–751.

DATE-2002-GadN #linear #performance #reduction

Efficient Model Reduction of Linear Time-Varying Systems via Compressed Transient System Function (EG, MSN), pp. 916–922.

DATE-2002-Kania #approach #multi #using

Improved Technology Mapping for PAL-Based Devices Using a New Approach to Multi-Output Boolean Functions (DK), p. 1087.

DATE-2002-MishraDNT #automation #execution #functional #multi #pipes and filters #verification

Automatic Verification of In-Order Execution In Microprocessors with Fragmented Pipelines and Multicycle Functional Units (PM, NDD, AN, HT), pp. 36–43.

DATE-2002-PalkovicMC #optimisation #trade-off

Systematic Power-Performance Trade-Off in MPEG-4 by Means of Selective Function Inlining Steered by Address Optimization Opportunities (MP, MM, FC), pp. 1072–1077.

DATE-2002-VedulaA #analysis #functional #generative #named #testing

FACTOR: A Hierarchical Methodology for Functional Test Generation and Testability Analysis (VMV, JAA), pp. 730–734.

HT-2002-Laine #how #interactive #question

How do interactive texts reflect interactive functions? (PL), pp. 67–68.

VLDB-2002-HulgeriS #cost analysis #linear #optimisation #parametricity #query

Parametric Query Optimization for Linear and Piecewise Linear Cost Functions (AH, SS), pp. 167–178.

VLDB-2002-PalpanasSCP #incremental #maintenance

Incremental Maintenance for Non-Distributive Aggregate Functions (TP, RS, RC, HP), pp. 802–813.

VLDB-2002-ParkMC #query #recursion #xml

Structural Function Inlining Technique for Structurally Recursive XML Queries (CWP, JKM, CWC), pp. 83–94.

TACAS-2002-Backhouse #attribute grammar #functional #semantics

A Functional Semantics of Attribute Grammars (KB), pp. 142–157.

TACAS-2002-KimSC #functional #requirements #specification #using #verification

Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS (TK, DWJSC, SDC), pp. 205–220.

CSMR-2002-JustoS #component #coordination #distributed #integration #non-functional

Non-functional Integration and Coordination of Distributed Component Services (GRRJ, AS), pp. 126–133.

CSMR-2002-MolnarBS #aspectj #java #xml

Function Call Trap of Java Codes with the Help of AspectJ and XML (BM, IB, BS), pp. 207–210.

ICSM-2002-Tran-CaoLA #complexity #effectiveness #functional #metric #towards

Measuring Software Functional Size: Towards an Effective Measurement of Complexity (DTC, GL, AA), pp. 370–376.

SCAM-2002-MilanovaRR #graph #pointer #precise

Precise Call Graph Construction in the Presence of Function Pointers (AM, AR, BGR), pp. 155–162.

ASIA-PEPM-2002-Xi #functional #object-oriented #programming

Unifying object-oriented programming with typed functional programming (HX), pp. 117–125.

ASIA-PEPM-2002-XuK #compilation #functional #programming #realtime

Compiling real time functional reactive programming (DNX, SCK), pp. 83–93.

SAS-2002-Jeannet #abstract interpretation #approximate #data type #representation

Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes (BJ), pp. 52–68.

STOC-2002-Micciancio #encryption #worst-case

Improved cryptographic hash functions with worst-case/average-case connection (DM), pp. 609–618.

FLOPS-2002-AntoyH #design pattern #functional #logic

Functional Logic Design Patterns (SA, MH), pp. 67–87.

FLOPS-2002-Lopez-FraguasS #functional #logic programming

Narrowing Failure in Functional Logic Programming (FJLF, JSH), pp. 212–227.

FLOPS-2002-SumiiB #calculus #functional #named

VMλ: A Functional Calculus for Scientific Discovery (ES, HB), pp. 290–304.

CIAA-J-2000-PighizziniS02 #complexity

Unary Language Operations, State Complexity and Jacobsthal’s Function (GP, JS), pp. 145–159.

ICALP-2002-BauerES #functional #paradigm

Comparing Functional Paradigms for Exact Real-Number Computation (AB, MHE, AKS), pp. 488–500.

ICALP-2002-Hertling #markov

A Banach-Mazur Computable But Not Markov Computable Function on the Computable Real Numbers (PH), pp. 962–972.

ICALP-2002-Wich #ambiguity

Universal Inherence of Cycle-Free Context-Free Ambiguity Functions (KW), pp. 669–680.

FME-2002-GaravelH #evaluation #functional #on the #performance #using #verification

On Combining Functional Verification and Performance Evaluation Using CADP (HG, HH), pp. 410–429.

FME-2002-MarinovK #named #relational

VAlloy — Virtual Functions Meet a Relational Language (DM, SK), pp. 234–251.

AFP-2002-ClaessenRCHW02 #functional #lazy evaluation #quickcheck #source code #testing #using

Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat (KC, CR, OC, JH, MW), pp. 59–99.

AFP-2002-HudakCNP02 #functional #programming

Arrows, Robots, and Functional Reactive Programming (PH, AC, HN, JP), pp. 159–187.

AFP-2002-Wadler02 #functional #named #query #xml #xquery

XQuery: A Typed Functional Language for Querying XML (PW), pp. 188–212.

ICFP-2002-FindlerF #contract #higher-order

Contracts for higher-order functions (RBF, MF), pp. 48–59.

ICFP-2002-Ford #functional #lazy evaluation #linear #parsing

Packrat parsing: : simple, powerful, lazy, linear time, functional pearl (BF), pp. 36–47.

ICFP-2002-Hanna #functional #interactive #programming #visual notation

Interactive visual functional programming (KH), pp. 145–156.

ICFP-2002-MillsteinBC #composition #data type

Modular typechecking for hierarchically extensible datatypes and functions (TDM, CB, CC), pp. 110–122.

ICFP-2002-Moore #formal method #functional

Functional formal methods (JSM), p. 123.

ICFP-2002-Myers #functional #programming language #towards

Towards more natural functional programming languages (BAM), p. 1.

ICFP-2002-Svenningsson #parametricity

Shortcut fusion for accumulating parameters & zip-like functions (JS), pp. 124–132.

IFL-2002-AchtenAP

When Generic Functions Use Dynamic Values (PA, AA, MJP), pp. 17–33.

IFL-2002-Bagwell #functional #performance

Fast Functional Lists (PB), pp. 34–50.

IFL-2002-Trancon-y-Widemann #functional

Stacking Cycles: Functional Transformation of Circular Data (BTyW), pp. 150–164.

IFL-2002-VervoortP #functional #lazy evaluation

Lazy Dynamic Input/Output in the Lazy Functional Language Clean (MV, MJP), pp. 101–117.

IFL-2002-WeeldenP #functional #operating system #towards

Towards a Strongly Typed Functional Operating System (AvW, MJP), pp. 215–231.

CSCW-2002-IsaacsWWSK

The character, functions, and styles of instant messaging in the workplace (EI, AW, SW, DJS, CAK), pp. 11–20.

ICEIS-2002-EncisoM #dependence #functional #named #taxonomy

FD3: A Functional Dependencies Data Dictionary (ME, AM), pp. 807–810.

ICEIS-2002-Poels #enterprise #functional #metric #modelling

A Functional Size Measurement Method for Event-Based Objectoriented Enterprise Models (GP), pp. 667–675.

CIKM-2002-HuangCA #comparison #learning #web

Comparison of interestingness functions for learning web usage patterns (XH, NC, AA), pp. 617–620.

ICML-2002-Gama #analysis #functional

An Analysis of Functional Trees (JG), pp. 155–162.

ICML-2002-KakadeTR #markov

An Alternate Objective Function for Markovian Fields (SK, YWT, STR), pp. 275–282.

ICML-2002-MerkeS #approximate #convergence #learning

A Necessary Condition of Convergence for Reinforcement Learning with Function Approximation (AM, RS), pp. 411–418.

ICPR-v1-2002-ChenTHGB #functional #image #segmentation

Simultaneous Segmentation and Registration for Functional MR Images (YC, SRT, FH, KSG, RWB), pp. 747–750.

ICPR-v1-2002-MuralikrishnanNR #clustering #correlation #functional #novel #process

Process Mapping and Functional Correlation in Surface Metrology: A Novel Clustering Application (BM, KN, JR), pp. 29–32.

ICPR-v2-2002-Han #classification #using

A Supervised Classification Scheme Using Positive Boolean Function (CCH), pp. 100–103.

ICPR-v2-2002-HuangSK #detection #network #using

Face Detection Using a Modified Radial Basis Function Neural Network (LLH, AS, HK), pp. 342–345.

ICPR-v2-2002-SerratosaSA #3d #graph #modelling #multi #using

Modelling and Recognising 3D-Objects Described by Multiple Views Using Function-Described Graphs (FS, AS, RA), pp. 140–143.

ICPR-v2-2002-UjiieOA

A Discriminant Function Considering Normality Improvement of the Distribution (HU, SO, HA), pp. 224–227.

ICPR-v3-2002-GarainCP #framework #online #recognition

Online Handwritten Indian Script Recognition: A Human Motor Function Based Framework (UG, BBC, TP), pp. 164–167.

ICPR-v3-2002-MullerH #linear

Extending the Linear Interpolating Condition to Advanced Synthetic Discriminant Function Variants (NM, BMH), pp. 883–886.

ICPR-v3-2002-WongLC #multi #network #recognition #using

Handwritten Digit Recognition Using Multi-Layer Feedforward Neural Networks with Periodic and Monotonic Activation Functions (KWW, CSL, SJC), pp. 106–109.

ICPR-v4-2002-LiuSF #classification #learning #polynomial

Learning Quadratic Discriminant Function for Handwritten Character Classification (CLL, HS, HF), pp. 44–47.

ICPR-v4-2002-MottlKK #classification #identification #kernel

Support Object Classifiers with Rigid and Elastic Kernel Functions for Face Identification (VM, AK, JK), pp. 205–208.

KR-2002-BaralST

A Transition Function Based Characterization of Actions with Delayed and Continuous Effects (CB, TCS, LCT), pp. 291–302.

SIGIR-2002-ManmathaFA #cost analysis

A critical examination of TDT’s cost function (RM, AF, JA), pp. 403–404.

TOOLS-USA-2002-MiliMS #aspect-oriented #functional #named

CorbaViews: Distributing objects that support several functional aspects (HM, HM, SS), pp. 207–229.

LOPSTR-2002-AlpuenteCEFL #functional #source code

Abstract Diagnosis of Functional Programs (MA, MC, SE, MF, SL), pp. 1–16.

PPDP-2002-PembeciNH #domain-specific language #functional #integration

Functional reactive robotics: an exercise in principled integration of domain-specific languages (IP, HN, GDH), pp. 168–179.

PADL-2002-Karczmarczuk #approach #functional #generative

Functional Approach to Texture Generation (JK), pp. 225–242.

PADL-2002-Kiselyov #functional #parsing #programming #xml

A Better XML Parser through Functional Programming (OK), pp. 209–224.

POPL-2002-AcarBH #adaptation #functional #programming

Adaptive functional programming (UAA, GEB, RH), pp. 247–259.

POPL-2002-NeubauerTGS #functional #logic

Functional logic overloading (MN, PT, MG, MS), pp. 233–244.

RE-2002-SutcliffG #functional #requirements #validation

Validating Functional System Requirements with Scenarios (AGS, AG), pp. 181–190.

SAC-2002-CarvalhoLL #coordination #functional #haskell #process

Coordinating functional processes with Haskell_# (FHC, RMFL, RDL), pp. 393–400.

ICSE-2002-CysneirosL #elicitation #modelling #non-functional #requirements

Non-functional requirements: from elicitation to modelling languages (LMC, JCSdPL), pp. 699–700.

ICSE-2002-HausmannHT #approach #case study #detection #functional #graph transformation #requirements #static analysis

Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation (JHH, RH, GT), pp. 105–115.

ICSE-2002-KusumotoIIMMT #java #metric #source code

Function point measurement from Java programs (SK, MI, KI, SM, KM, MT), pp. 576–582.

CC-2002-RelePOG #functional #optimisation

Optimizing Static Power Dissipation by Functional Units in Superscalar Processors (SR, SP, SÖ, RG), pp. 261–275.

CADE-2002-AudemardB #finite #generative #reasoning #symmetry

Reasoning by Symmetry and Function Ordering in Finite Model Generation (GA, BB), pp. 226–240.

CAV-2002-BryantLS #logic #modelling #using #verification

Modeling and Verifying Systems Using a Logic of Counter Arithmetic with λ Expressions and Uninterpreted Functions (REB, SKL, SAS), pp. 78–92.

CSL-2002-Leivant #complexity

Implicit Computational Complexity for Higher Type Functionals (DL), pp. 367–381.

LICS-2002-EdalatL #calculus #difference

Domain Theory and Differential Calculus (Functions of one Variable) (AE, AL), pp. 277–286.

LICS-2002-HylandS #game studies #graph

Games on Graphs and Sequentially Realizable Functionals (MH, AS), pp. 257–264.

SAT-2002-DuboisD #random #satisfiability

Renormalization as a function of clause lengths for solving random k-SAT formulae (OD, GD), p. 15.

VMCAI-2002-MurawskiY #analysis

Static Monotonicity Analysis for lambda-definable Functions over Lattices (ASM, KY), pp. 139–153.

CBSE-2001-Mason #probability #program analysis

Probability Density Functions in Program Analysis (DM), p. 13.

ASE-2001-CookIM #higher-order #proving #synthesis #theorem proving

Higher Order Function Synthesis Through Proof Planning (AC, AI, GM), pp. 307–310.

ASE-2001-LegeardP #case study #functional #generative #industrial #sequence #testing

Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study (BL, FP), pp. 377–381.

DAC-2001-DanielSW #analysis #performance #using

Using Conduction Modes Basis Functions for Efficient Electromagnetic Analysis of On-Chip and Off-Chip Interconnect (LD, ALSV, JW), pp. 563–566.

DAC-2001-GolumbicMR #recognition #using

Factoring and Recognition of Read-Once Functions using Cographs and Normality (MCG, AM, UR), pp. 109–114.

DAC-2001-KudlugiHSP #architecture #functional #simulation #transaction #verification

A Transaction-Based Unified Simulation/Emulation Architecture for Functional Verification (MK, SH, CS, DP), pp. 623–628.

DAC-2001-KudlugiST #functional #multi #scheduling #verification

Static Scheduling of Multiple Asynchronous Domains For Functional Verification (MK, CS, RT), pp. 647–652.

DAC-2001-MishchenkoSP #algorithm #logic

An Algorithm for Bi-Decomposition of Logic Functions (AM, BS, MAP), pp. 103–108.

DAC-2001-XiaoM #analysis #correlation #functional #identification

Functional Correlation Analysis in Crosstalk Induced Critical Paths Identification (TX, MMS), pp. 653–656.

DATE-2001-BekooijEWB #behaviour #functional

Functional units with conditional input/output behavior in VLIW processors (MB, LJME, AvdW, NGB), p. 822.

DATE-2001-ChangHM #functional #optimisation #symmetry #using

In-place delay constrained power optimization using functional symmetries (CWJC, BH, MMS), pp. 377–382.

DATE-2001-DasguptaCNKC #abstraction #component #linear

Abstraction of word-level linear arithmetic functions from bit-level component descriptions (PD, PPC, AN, SK, AC), pp. 4–8.

DATE-2001-FerrandiFSFF #behaviour #functional #generative #modelling #testing

Functional test generation for behaviorally sequential models (FF, GF, DS, AF, FF), pp. 403–410.

DATE-2001-HeringLM #functional #logic #named #parallel

dibSIM: a parallel functional logic simulator allowing dynamic load balancing (KH, JL, JM), pp. 472–478.

DATE-2001-JozwiakC #composition #functional #metric

High-quality sub-function construction in functional decomposition based on information relationship measures (LJ, AC), pp. 383–390.

ICDAR-2001-EglinG #documentation #functional #visual notation

Visual Exploration and Functional Document Labeling (VE, AG), pp. 816–820.

ICDAR-2001-ShiOWK #clustering #distance #pseudo #recognition

Clustering with Projection Distance and Pseudo Bayes Discriminant Function for Handwritten Numeral Recognition (MS, WO, TW, FK), pp. 1007–1011.

PODS-2001-KhannaT #nondeterminism #on the

On Computing Functions with Uncertainty (SK, WCT).

VLDB-2001-NishioSTTL #functional #information management

Functional Properties of Information Filtering (RS, MT, YHL, TT, SN), pp. 511–520.

TACAS-2001-ColonS #linear #ranking #synthesis

Synthesis of Linear Ranking Functions (MC, HS), pp. 67–81.

TACAS-2001-MycroftS #co-evolution #design #functional #hardware #using

Hardware/Software Co-Design Using Functional Languages (AM, RS), pp. 236–251.

ICSM-2001-BianchiCMV #legacy #re-engineering

Iterative Reengineering of Legacy Functions (AB, DC, VM, GV), pp. 632–641.

ICSM-2001-OtaniY #component #network #off the shelf

A Customization Method for Network Management Functions without Modification of Off-the-Shelf Components (TO, YY), pp. 460–469.

IWPC-2001-StrouliaS #behaviour #comprehension

Structure-Behavior-Function Program Understanding (ES, TS), p. 120.

WCRE-2001-Rilling #comprehension #functional

Maximizing Functional Cohesion of Comprehension Environments by Integrating User and Task Knowledge (JR), pp. 157–165.

STOC-2001-HaleviKKN #approximate #np-hard

Private approximation of NP-hard functions (SH, RK, EK, KN), pp. 550–559.

STOC-2001-IckingM #3d #bound #complexity #diagrams #distance

A tight bound for the complexity of voroni diagrams under polyhedral convex distance functions in 3D (CI, LM), pp. 316–321.

STOC-2001-NaorN #communication #evaluation #protocol

Communication preserving protocols for secure function evaluation (MN, KN), pp. 590–599.

STOC-2001-Vatan #automaton #probability

Distribution functions of probabilistic automata (FV), pp. 684–693.

FLOPS-J1-1998-BorovanskyKKR01 #functional #semantics

Rewriting with Strategies in ELAN: A Functional Semantics (PB, CK, HK, CR), pp. 69–95.

FLOPS-J1-1998-Takahashi01 #algebra

λ-Representable Functions Over Term Algebras (MT), pp. 3–29.

FLOPS-J2-1998-Hinze01 #axiom #functional #implementation #prolog

Prolog’s Control Constructs in a Functional Setting — Axioms and Implementation (RH), pp. 125–170.

FLOPS-2001-Almendros-JimenezB #bottom-up #evaluation #framework #functional #logic programming #source code

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs (JMAJ, ABT), pp. 153–169.

FLOPS-2001-CaballeroLR #debugging #declarative #functional #lazy evaluation #logic programming #source code

Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs (RC, FJLF, MRA), pp. 170–184.

FLOPS-2001-ChoiLH #compilation #functional #java #lazy evaluation #source code #virtual machine

Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine (KC, HiL, TH), pp. 92–107.

FLOPS-2001-Ferri-RamirezHR #functional #incremental #learning #logic programming #source code

Incremental Learning of Functional Logic Programs (CF, JHO, MJRQ), pp. 233–247.

FLOPS-2001-SuzukiM #lazy evaluation

A Complete Selection Function for Lazy Conditional Narrowing (TS, AM), pp. 201–215.

CIAA-2001-DubernardG #automaton #finite #generative #scheduling

Scheduling Hard Sporadic Tasks by Means of Finite Automata and Generating Functions (JPD, DG), pp. 87–100.

ICFP-2001-ChakravartyK #array #functional

Functional Array Fusion (MMTC, GK), pp. 205–216.

ICFP-2001-DimockWMTW #ml #standard #type safety

Functioning without Closure: Type-Safe Customized Function Representations for Standard ML (AD, IW, RM, FAT, JBW), pp. 14–25.

ICFP-2001-Pitts #approach #functional #programming #representation #syntax

A Fresh Approach to Representing Syntax with Static Binders in Functional Programming (AMP), p. 1.

IFL-2001-MolEP #functional #proving #theorem proving

Theorem Proving for Functional Programmers (MdM, MCJDvE, MJP), pp. 55–71.

CIKM-2001-HansenS #information retrieval #navigation #using #web

Using navigation Data to Improve IR functions in the Context of Web Search (MH, ES), pp. 135–142.

CIKM-2001-HergulaH #how #integration #query

How Foreign Function Integration Conquers Heterogeneous Query Processing (KH, TH), pp. 215–222.

CIKM-2001-Neuhold #database #question #web #xml

XML, the WEB and Database Functionality? (EJN), p. 592.

ICML-2001-ChajewskaKO #behaviour #learning

Learning an Agent’s Utility Function by Observing Behavior (UC, DK, DO), pp. 35–42.

ICML-2001-ChuKO #framework

A Unified Loss Function in Bayesian Framework for Support Vector Regression (WC, SSK, CJO), pp. 51–58.

ICML-2001-PrecupSD #approximate #difference #learning

Off-Policy Temporal Difference Learning with Function Approximation (DP, RSS, SD), pp. 417–424.

ICML-2001-SchefferW #incremental #information management #problem

Incremental Maximization of Non-Instance-Averaging Utility Functions with Applications to Knowledge Discovery Problems (TS, SW), pp. 481–488.

KDD-2001-GarckeG #data mining #mining #using

Data mining with sparse grids using simplicial basis functions (JG, MG), pp. 87–96.

MLDM-2001-Krzyzak #classification #learning #network #using

Nonlinear Function Learning and Classification Using Optimal Radial Basis Function Networks (AK), pp. 217–225.

LOPSTR-2001-Shankar #functional #static analysis

Static Analysis for Safe Destructive Updates in a Functional Language (NS), pp. 1–24.

PPDP-2001-PenaR #abstraction #functional #parallel #programming

Parallel Functional Programming at Two Levels of Abstraction (RP, FR), pp. 187–198.

SAIG-2001-Wakeling #design #functional #source code

A Design Methodology for Functional Programs (DW), pp. 146–162.

PADL-2001-Courtney #functional #java #named #programming

Frappé: Functional Reactive Programming in Java (AC), pp. 29–44.

RE-2001-RollandP #enterprise #requirements

Matching ERP System Functionality to Customer Requirements (CR, NP), pp. 66–75.

SAC-2001-BoscLP

A function-based join for the manipulation of possibilistic relations (PB, LL, OP), pp. 472–476.

SAC-2001-Heimbigner #adaptation #middleware

Adapting publish/subscribe middleware to achieve Gnutella-like functionality (DH), pp. 176–181.

SAC-2001-RosaJC #architecture #framework #non-functional

A framework for building non-functional software architectures (NSR, GRRJ, PRFC), pp. 141–147.

ICSE-2001-AntonP #evolution #functional

Functional Paleontology: System Evolution as the User Sees It (AIA, CP), pp. 421–430.

CAV-2001-Cabodi #named #representation

Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions (GC), pp. 118–130.

CAV-2001-RodehS #equivalence #finite #logic

Finite Instantiations in Equivalence Logic with Uninterpreted Functions (YR, OS), pp. 144–154.

CAV-2001-VelevB #logic #named #similarity

EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations (MNV, REB), pp. 235–240.

ICLP-2001-Almendros-JimenezBS #database #deduction #functional #logic

A Computational Model for Functional Logic Deductive Databases (JMAJ, ABT, JSH), pp. 331–347.

ICLP-2001-HoweK #multi

Positive Boolean Functions as Multiheaded Clauses (JMH, AK), pp. 120–134.

LICS-2001-Avigad #first-order #logic

Eliminating Definitions and Skolem Functions in First-Order Logic (JA), pp. 139–146.

RTA-2001-KuhnemannGK #cumulative #functional #source code

Relating Accumulative and Non-accumulative Functional Programs (AK, RG, KK), pp. 154–168.

RTA-2001-Ringeissen #question

Matching with Free Function Symbols — A Simple Extension of Matching? (CR), pp. 276–290.

TLCA-2001-Altenkirch #algebra #first-order

Representations of First Order Function Types as Terminal Coalgebras (TA), pp. 8–21.

TLCA-2001-Jay #calculus #data type

Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types (CBJ), pp. 217–239.

DAC-2000-BrandoleseFSS #energy #estimation

An instruction-level functionally-based energy estimation model for 32-bits microprocessors (CB, WF, FS, DS), pp. 346–351.

DAC-2000-ChangCSM #detection #functional #performance #symmetry #using

Fast post-placement rewiring using easily detectable functional symmetries (CWJC, CKC, PS, MMS), pp. 286–289.

DAC-2000-GhoshF #automation #diagrams #functional #generative #using

Automatic test pattern generation for functional RTL circuits using assignment decision diagrams (IG, MF), pp. 43–48.

DAC-2000-QuKUP #estimation

Function-level power estimation methodology for microprocessors (GQ, NK, KU, MP), pp. 810–813.

DAC-2000-VelevB #branch #exception #functional #multi #predict #verification

Formal verification of superscale microprocessors with multicycle functional units, exception, and branch prediction (MNV, REB), pp. 112–117.

DATE-2000-CataldoCPW #functional #generative #hardware

Optimal Hardware Pattern Generation for Functional BIST (SC, SC, PP, HJW), pp. 292–297.

DATE-2000-FinF #fault #functional #generative #testing

A VHDL Error Simulator for Functional Test Generation (AF, FF), pp. 390–395.

DATE-2000-PomeranzR00a #functional #generative #testing

Functional Test Generation for Full Scan Circuits (IP, SMR), pp. 396–401.

HT-2000-BompaniV #hypermedia #xml

Providing hypertextual functionalities with XML (LB, FV), pp. 214–215.

SIGMOD-2000-Rodriguez-Martinez #automation #database #deployment #middleware #named

MOCHA: A Database Middleware System Featuring Automatic Deployment of Application-Specific Functionality (MRM, NR, JMM, SK, VK, ZS, JJ), p. 594.

ITiCSE-2000-Sooriamurthi #abstraction #functional #recursion #using

Using recursion as a tool to reinforce functional abstraction (poster session) (RS), p. 194.

ESOP-2000-Hofmann #bound #functional #type system

A Type System for Bounded Space and Functional In-Place Update--Extended Abstract (MH0), pp. 165–179.

ESOP-2000-HoweK #analysis #implementation

Implementing Groundness Analysis with Definite Boolean Functions (JMH, AK), pp. 200–214.

ESOP-2000-Jones #dependence #functional

Type Classes with Functional Dependencies (MPJ), pp. 230–244.

ESOP-2000-Odersky #functional

Functional Nets (MO), pp. 1–25.

FASE-2000-FradetIR #mobile #non-functional

Analyzing Non-functional Properties of Mobile Agents (PF, VI, SR), pp. 319–333.

FoSSaCS-2000-BaierS #bisimulation #probability

Norm Functions for Probabilistic Bisimulations with Delays (CB, MS), pp. 1–16.

IWPC-2000-AntoniolCLCM #functional #object-oriented #requirements

Tracing Object-Oriented Code into Functional Requirements (GA, GC, ADL, GC, EM), pp. 79–86.

IWPC-2000-Goldman #interactive #monitoring #named

Smiley — An Interactive Tool for Monitoring Inter-Module Function Calls (NMG), pp. 109–118.

PEPM-2000-MurphyL #program analysis

Program Analysis with Partial Transfer Functions (BRM, MSL), pp. 94–103.

PLDI-2000-HeydonLY #dependence #precise #using

Caching function calls using precise dependencies (AH, RL, YY), pp. 311–320.

PLDI-2000-WanH #functional #programming

Functional reactive programming from first principles (ZW, PH), pp. 242–252.

STOC-2000-FleischerI #algorithm

Improved algorithms for submodular function minimization and submodular flow (LF, SI), pp. 107–116.

STOC-2000-Istrail #3d #statistics

Statistical mechanics, three-dimensionality and NP-completeness: I. Universality of intracatability for the partition function of the Ising model across non-planar surfaces (extended abstract) (SI), pp. 87–96.

STOC-2000-IwataFF #algorithm #combinator #polynomial

A combinatorial, strongly polynomial-time algorithm for minimizing submodular functions (SI, LF, SF), pp. 97–106.

STOC-2000-NaorRR #pseudo

Pseudo-random functions and factoring (extended abstract) (MN, OR, AR), pp. 11–20.

CIAA-2000-Shallit #complexity

State Complexity and Jacobsthal’s Function (JS), pp. 272–278.

ICALP-2000-MycroftS #functional #parallel

A Statically Allocated Parallel Functional Language (AM, RS), pp. 37–48.

WLC-2000-Brattka #exponential #modelling #recursion

The Emperor’s New Recursiveness: The Epigraph of the Exponential Function in Two Models of Computability (VB), pp. 63–72.

WLC-2000-Dassow #difference #generative #on the

On the Differentiation Function of some Language Generating Devices (JD), pp. 151–161.

WLC-2000-YasugiW

A Note on Rademacher Functions and Computability (MY, MW), pp. 466–475.

ICFP-2000-Faxen #evaluation #functional #lazy evaluation

Cheap eagerness: speculative evaluation in a lazy functional language (KFF), pp. 150–161.

ICFP-2000-GapeyevLP #functional #recursion #type system

Recursive subtyping revealed: functional pearl (VG, MYL, BCP), pp. 221–231.

ICFP-2000-JonesES #contract #functional

Composing contracts: an adventure in financial engineering, functional pearl (SLPJ, JME, JS), pp. 280–292.

ICFP-2000-McNamaraS #c++ #functional #programming

Functional programming in C++ (BM, YS), pp. 118–129.

ICFP-2000-Seger #functional #hardware #programming #verification

Combining functional programming and hardware verification (abstract of invited talk) (CJHS), p. 244.

ICFP-2000-Weirich #functional #type safety

Type-safe cast: functional pearl (SW), pp. 58–67.

ICFP-2000-Wong #functional #query

The functional guts of the Kleisli query system (LW), pp. 1–10.

IFL-2000-ChitilRW #comparative #debugging #evaluation #functional #lazy evaluation #source code

Freja, Hat and Hood — A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs (OC, CR, MW), pp. 176–193.

IFL-2000-Hammond #behaviour #bound #concurrent

The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour (KH), pp. 122–139.

IFL-2000-ODonnell #functional #programming #semantics

The Collective Semantics in Functional SPMD Programming (JO), pp. 249–266.

IFL-2000-PenaS #analysis #nondeterminism

Non-determinism Analysis in a Parallel-Functional Language (RP, CS), pp. 1–18.

IFL-2000-SargeantKW #functional #parallel #source code

Exploiting Implicit Parallelism in Functional Programs with SLAM (JS, CCK, IW), pp. 19–36.

IFL-2000-SchroederK #functional

Organizing Speculative Computations in Functional Systems (RS, WEK), pp. 214–230.

IFL-2000-ZornerKEP #functional

Polygonizing Implicit Surfaces in a Purely Functional Way (THGZ, PWMK, MCJDvE, MJP), pp. 158–175.

ICML-2000-FiechterR #learning #scalability

Learning Subjective Functions with Large Margins (CNF, SR), pp. 287–294.

ICML-2000-KatayamaKK #learning #using

A Universal Generalization for Temporal-Difference Learning Using Haar Basis Functions (SK, HK, SK), pp. 447–454.

ICPR-v2-2000-Abe #classification #fuzzy

Generalization Improvement of a Fuzzy Classifier with Pyramidal Membership Functions (SA), pp. 2211–2214.

ICPR-v2-2000-Bax #using #validation

Using Validation by Inference to Select a Hypothesis Function (EB), pp. 2700–2703.

ICPR-v2-2000-Figueiredo #approximate #learning #on the

On Gaussian Radial Basis Function Approximations: Interpretation, Extensions, and Learning Strategies (MATF), pp. 2618–2621.

ICPR-v2-2000-HansenH #bias #composition #exponential #fault #independence #product line

General Bias/Variance Decomposition with Target Independent Variance of Error Functions Derived from the Exponential Family of Distributions (JVH, TH), pp. 2207–2210.

ICPR-v2-2000-Kawatani #normalisation #polynomial #recognition

Handwritten Kanji Recognition with Determinant Normalized Quadratic Discriminant Function (TK), pp. 2343–2346.

ICPR-v2-2000-KeglKN #classification #complexity #learning #network

Radial Basis Function Networks and Complexity Regularization in Function Learning and Classification (BK, AK, HN), pp. 2081–2086.

ICPR-v2-2000-SanfeliuAS #clustering #graph #synthesis

Clustering of Attributed Graphs and Unsupervised Synthesis of Function-Described Graphs (AS, RA, FS), pp. 6022–6025.

ICPR-v2-2000-SerratosaAS #algorithm #graph #performance

Efficient Algorithms for Matching Attributed Graphs and Function-Described Graphs (FS, RA, AS), pp. 2867–2872.

ICPR-v2-2000-Theera-UmponG #fault #network

Training Neural Networks to Count White Blood Cells via a Minimum Counting Error Objective Function (NTU, PDG), pp. 2299–2302.

ICPR-v2-2000-UgenaAA #independence #network #recognition #speech

Speaker-Independent Speech Recognition by Means of Functional-Link Neural Networks (AU, FdA, MEA), pp. 6018–6021.

ICPR-v3-2000-AlbanesiFG #adaptation #image

Adaptive Image Compression Based on Regions of Interest and a Modified Contrast Sensitivity Function (MGA, MF, FG), pp. 3219–3222.

ICPR-v3-2000-HarukiH #using

Data Fitting by Spline Functions Using the Biorthonormal Basis of the B-spline Basis (RH, TH), pp. 3274–3277.

ICPR-v3-2000-SteinbachG #3d #cost analysis #estimation

An Image-Domain Cost Function for 3-D Rigid Body Motion Estimation (EGS, BG), pp. 3823–3826.

ICPR-v3-2000-WinkNV #heuristic #using

Minimum Cost Path Determination Using a Simple Heuristic Function (OW, WJN, MAV), pp. 7010–7013.

KDD-2000-KingKCD #data mining #functional #mining #predict #sequence #using

Genome scale prediction of protein functional class from sequence using data mining (RDK, AK, AC, LD), pp. 384–389.

TOOLS-EUROPE-2000-Meyer00a #functional #programming

Programming with Agents: Combining O-O and Functional Techniques (BM), p. 460.

LOPSTR-2000-EtalleM #functional #lazy evaluation #logic programming

The lazy functional side of logic programming (SE, JM).

LOPSTR-J-2000-AlbertAV #effectiveness #functional #logic #partial evaluation

Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages (EA, SA, GV), pp. 103–124.

PPDP-2000-HanusS #functional #logic programming #nondeterminism #source code #type system

Type-based nondeterminism checking in functional logic programs (MH, FS), pp. 202–213.

PPDP-2000-PelovB #constraints #logic programming

Extending constraint logic programming with open functions (NP, MB), pp. 235–244.

SAIG-2000-BerardiCDG #functional #source code #type system

Type-Based Useless-Code Elimination for Functional Programs (SB, MC, FD, PG), pp. 172–189.

PADL-2000-ChuangM #functional #programming #type system

Out-of-Core Functional Programming with Type-Based Primitives (TRC, SCM), pp. 32–46.

PADL-2000-Hanus #approach #functional #logic programming #user interface #visual notation

A Functional Logic Programming Approach to Graphical User Interfaces (MH), pp. 47–62.

PADL-2000-MarinoM #functional #logic programming #source code #static analysis #using

Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), pp. 63–80.

PADL-2000-PetersonTS #functional #parallel #programming

Parallel Functional Reactive Programming (JP, VT, AS), pp. 16–31.

POPL-2000-Hinze #approach #functional #programming

A New Approach to Generic Functional Programming (RH), pp. 119–132.

SAC-2000-Caraca-ValenteLM #modelling

Functions, Rules and Models: Three Complementary Techniques for Analyzing Strength Data (JPCV, ILC, CM), pp. 60–64.

SAC-2000-WangTH #database #dependence #functional #fuzzy #mining #relational

Mining Functional Dependencies from Fuzzy Relational Databases (SLW, JST, TPH), pp. 490–493.

CC-2000-SaraivaSK #evaluation #functional #incremental

Functional Incremental Attribute Evaluation (JS, SDS, MFK), pp. 279–294.

CAV-2000-AyariBK #automaton #induction

Decision Procedures for Inductive Boolean Functions Based on Alternating Automata (AA, DAB, FK), pp. 170–185.

CL-2000-BoultonS #automation #induction #recursion

Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions (RJB, KS), pp. 629–643.

CL-2000-Gennari #algorithm #consistency

Arc Consistency Algorithms via Iterations of Subsumed Functions (RG), pp. 358–372.

CL-2000-Lopez-FraguasH #functional #logic programming #proving #source code

Proving Failure in Functional Logic Programs (FJLF, JSH), pp. 179–193.

CSL-2000-BauerB #dependent type

Continuous Functionals of Dependent Types and Equilogical Spaces (AB, LB), pp. 202–216.

CSL-2000-MakowskyM #combinator #complexity #generative #graph #on the

On the Complexity of Combinatorial and Metafinite Generating Functions of Graph Properties in the Computational Model of Blum, Shub and Smale (JAM, KM), pp. 399–410.

LICS-2000-BussK #bound

Resource-Bounded Continuity and Sequentiality for Type-Two Functionals (SRB, BMK), pp. 77–83.

TestCom-2000-HorvathM #functional #testing #using

Functional Testing GPRS Support Nodes Using TTCN (EH, AM), pp. 229–238.

DAC-1999-CoelhoPS #algorithm #approximate #generative #robust

Robust Rational Function Approximation Algorithm for Model Generation (CPC, JRP, LMS), pp. 207–212.

DAC-1999-RichterZETT #embedded #optimisation #representation #synthesis

Representation of Function Variants for Embedded System Optimization and Synthesis (KR, DZ, RE, LT, JT), pp. 517–522.

DAC-1999-ShenABHKGCH #functional #verification

Functional Verification of the Equator MAP1000 Microprocessor (JS, JAA, DB, TH, MK, GG, CcC, GH), pp. 169–174.

DAC-1999-TupuriKA #automation #constraints #functional #generative #testing #using

Test Generation for Gigahertz Processors Using an Automatic Functional Constraint Extractor (RST, AK, JAA), pp. 647–652.

DAC-1999-YalcinMPBS #analysis #functional

Functional Timing Analysis for IP Characterization (HY, MM, RP, CB, KAS), pp. 731–736.

DATE-1999-CherubalC #fault #functional #parametricity #using

Parametric Fault Diagnosis for Analog Systems Using Functional Mapping (SC, AC), p. 195–?.

DATE-1999-FavalliM #design #functional #on the #self

On the Design of Self-Checking Functional Units Based on Shannon Circuits (MF, CM), pp. 368–375.

DATE-1999-FerrandiFGS #functional #generative #specification

Symbolic Functional Vector Generation for VHDL Specifications (FF, FF, LG, DS), p. 442–?.

DATE-1999-FournierAL #functional #product line #using #verification

Functional Verification Methodology for Microprocessors Using the Genesys Test-Program Generator-Application to the x86 Microprocessors Family (LF, YA, ML), pp. 434–441.

DATE-1999-HwangVH #clustering #functional #power management

FSMD Functional Partitioning for Low Power (EH, FV, YCH), pp. 22–27.

DATE-1999-TragoudasM #fault #functional #tool support

ATPG Tools for Delay Faults at the Functional Level (ST, MKM), p. 631–?.

ICDAR-1999-MizukamiMYY #using #verification

An Off-line Signature Verification System using an Extraction Displacement Function (YM, HM, MY, IY), pp. 757–760.

PODS-1999-HaraD #dependence #functional #reasoning

Reasoning about Nested Functional Dependencies (CSH, SBD), pp. 91–100.

ESOP-1999-Hudak #functional #programming

Functional Reactive Programming (Abstract) (PH), p. 1.

CSMR-1999-AntoniolCT #graph #pointer

Impact of Function Pointers on the Call Graph (GA, FC, PT), pp. 51–61.

CSMR-1999-GranjaJ #testing

Techniques for Regression Testing: Selecting Test Case Sets Tailored to Possibly Modified Functionalities (IG, MJ), pp. 2–13.

WCRE-1999-CaprileT #identifier

Nomen Est Omen: Analyzing the Language of Function Identifiers (BC, PT), pp. 112–122.

WCRE-1999-LakhotiaD

Restructuring Functions with Low Cohesion (AL, JCD), pp. 36–46.

SAS-1999-KollerM #abstract interpretation

A New Class of Functions for Abstract Interpretation (JK, MM), pp. 248–263.

STOC-1999-BeimelIKM #information retrieval

One-Way Functions Are Essential for Single-Server Private Information Retrieval (AB, YI, EK, TM), pp. 89–98.

STOC-1999-CrescenzoI

Security-Preserving Hardness-Amplification for Any Regular One-Way Function (GDC, RI), pp. 169–178.

STOC-1999-Indyk99a #combinator #design #symmetry

Inerpolation of Symmetric Functions and a New Type of Combinatorial Design (PI), pp. 736–740.

STOC-1999-Luks #equivalence #morphism

Hypergraph Isomorphism and Structural Equivalence of Boolean Functions (EML), pp. 652–658.

FLOPS-1999-AlpuenteFMV #functional #lazy evaluation #logic programming #source code

A Transformation System for Lazy Functional Logic Programs (MA, MF, GM, GV), pp. 147–162.

FLOPS-1999-BakewellR #automation

Automated Generalisation of Function Definitions (AB, CR), pp. 225–240.

FLOPS-1999-CaballeroL #functional #parsing

A Functional-Logic Perspective on Parsing (RC, FJLF), pp. 85–99.

FLOPS-1999-Gonzalez-MorenoHR #functional #logic programming #semantics

Semantics and Types in Functional Logic Programming (JCGM, MTHG, MRA), pp. 1–20.

FLOPS-1999-HanusL #functional #logic #program analysis #semantics

A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages (MH, SL), pp. 353–368.

FLOPS-1999-Kuhnemann #comparison #deforestation #functional #source code #transducer

Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers (AK), pp. 114–130.

FLOPS-1999-Lux #encapsulation #functional #implementation #lazy evaluation #logic

Implementing Encapsulated Search for a Lazy Functional Logic Language (WL), pp. 100–113.

DLT-1999-KvetonK

Functions preserving classes of languages (PK, VK), pp. 81–102.

ICALP-1999-AndreevBCR #bound #branch #pseudo #set #source code

Small Pseudo-Random Sets Yield Hard Functions: New Tight Explict Lower Bounds for Branching Programs (AEA, JLB, AEFC, JDPR), pp. 179–189.

ICFP-1999-AlpuenteHLV #functional #logic programming #source code

Specialization of Inductively Sequential Functional Logic Programs (MA, MH, SL, GV), pp. 273–283.

ICFP-1999-Longley #functional #question

When is a Functional Program Not a Functional Program? (JL), pp. 1–7.

ICFP-1999-Nilsson #debugging #functional #lazy evaluation

Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages (HN), pp. 36–47.

IFL-1999-DidrichGSTT #functional #programming language

Reflections in Opal — Meta Information in a Functional Programming Language (KD, WG, FS, TT, BTyW), pp. 149–164.

IFL-1999-Groningen #functional #lazy evaluation #multi #optimisation #recursion #tuple

Optimising Recursive Functions Yielding Multiple Results in Tuples in a Lazy Functional Language (JHGvG), pp. 59–76.

AGTIVE-1999-PlasmeijerE #functional #graph grammar #mobile

Term Graph Rewriting and Mobile Expressions in Functional Languages (MJP, MCJDvE), pp. 1–13.

HCI-CCAD-1999-GaleevTS

The structure and functions of ETS GRAD (IKG, LT, SAS), pp. 682–685.

HCI-CCAD-1999-NumanoMTMNFM