BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
test (124)
generat (37)
use (31)
model (27)
base (25)

Stem unit$ (all stems)

339 papers:

CASECASE-2015-KouiderHOO #approach #graph #integer #linear #scheduling #source code
Mixed integer linear programs and tabu search approach to solve mixed graph coloring for unit-time job shop scheduling (AK, HAH, SO, AO), pp. 1177–1181.
CASECASE-2015-YanLP #fault
A fault diagnosis method for HVAC Air Handling Units considering fault propagation (YY, PBL, KRP), pp. 961–966.
DACDAC-2015-TziantzioulisGF #correlation #fault #float #integer #named
b-HiVE: a bit-level history-based error model with value correlation for voltage-scaled integer and floating point units (GT, AMG, SMF, NH, SOM, SP), p. 6.
DATEDATE-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.
ITiCSEITiCSE-2015-BrianTHF #debugging #student #testing
Planting Bugs: A System for Testing Students’ Unit Tests (SAB, RNT, JMH, CF), pp. 45–50.
SCAMSCAM-J-2013-MarcozziVH15 #database #execution #relational #source code #sql #symbolic computation #testing
Relational symbolic execution of SQL code for unit testing of database programs (MM, WV, JLH), pp. 44–72.
SCAMSCAM-2015-GhafariGR #automation #identification #testing
Automatically identifying focal methods under test in unit test cases (MG, CG, KR), pp. 61–70.
ICALPICALP-v1-2015-Cao #editing #parametricity
Unit Interval Editing is Fixed-Parameter Tractable (YC), pp. 306–317.
ICALPICALP-v1-2015-LiJ #problem
A PTAS for the Weighted Unit Disk Cover Problem (JL, YJ), pp. 898–909.
ICFPICFP-2015-Rossberg #ml #named
1ML — core and modules united (F-ing first-class modules) (AR), pp. 35–47.
CHICHI-2015-KosmallaDK #automation #metric #named #recognition #using
ClimbSense: Automatic Climbing Route Recognition using Wrist-worn Inertia Measurement Units (FK, FD, AK), pp. 2033–2042.
CHICHI-2015-YanHC #behaviour
Masters of Control: Behavioral Patterns of Simultaneous Unit Group Manipulation in StarCraft 2 (EQY, JH, GKC), pp. 3711–3720.
SACSAC-2015-Fournier-VigerZ #mining #named #performance
FOSHU: faster on-shelf high utility itemset mining — with or without negative unit profit (PFV, SZ), pp. 857–864.
SACSAC-2015-Jung0B #analysis #embedded #encoding #identification #power management
Identification of embedded control units by state encoding and power consumption analysis (EJ, CM, LB), pp. 1957–1959.
ESEC-FSEESEC-FSE-2015-ArcuriFG #automation #generative #network #testing
Generating TCP/UDP network data for automated unit test generation (AA, GF, JPG), pp. 155–165.
ESEC-FSEESEC-FSE-2015-DakaCFDW #modelling #readability #testing
Modeling readability to improve unit tests (ED, JC, GF, JD, WW), pp. 107–118.
ESEC-FSEESEC-FSE-2015-Shamshiri #automation #evolution #generative #testing
Automated unit test generation for evolving software (SS), pp. 1038–1041.
ESEC-FSEESEC-FSE-2015-White #generative #parametricity #performance #search-based #testing #using
Increasing the efficiency of search-based unit test generation using parameter control (TW), pp. 1042–1044.
CADECADE-2015-GorznyP #first-order #proving #towards
Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses (JG, BWP), pp. 356–366.
ICSTICST-2015-Mirshokraie0P #automation #generative #javascript #named #testing
JSEFT: Automated Javascript Unit Test Generation (SM, AM, KP), pp. 1–10.
ISSTAISSTA-2015-RojasFA #automation #development #empirical #generative #testing
Automated unit test generation during software development: a controlled experiment and think-aloud observations (JMR, GF, AA), pp. 338–349.
ASEASE-2014-ArcuriFG #automation #dependence #generative #testing
Automated unit test generation for classes with environment dependencies (AA, GF, JPG), pp. 79–90.
CASECASE-2014-YanLP #dependence #fault #framework #integration #matrix
Fault diagnosis framework for Air Handling Units based on the integration of Dependency matrices and PCA (YY, PBL, KRP), pp. 1103–1108.
DACDAC-2014-KrautzPAKPB #automation #float #verification
Automatic Verification of Floating Point Units (UK, VP, AA, SK, SP, TB), p. 6.
DATEDATE-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.
DATEDATE-2014-Matsunaga #algorithm #generative #parallel #synthesis
Synthesis algorithm of parallel index generation units (YM), pp. 1–6.
ICPCICPC-2014-GhafariGMT #mining #recommendation #testing
Mining unit tests for code recommendation (MG, CG, AM, GT), pp. 142–145.
ICSMEICSME-2014-Ghafari #testing
Extracting Code Examples from Unit Test Cases (MG), p. 667.
STOCSTOC-2014-EisentragerHK0 #algorithm #quantum
A quantum algorithm for computing the unit group of an arbitrary degree number field (KE, SH, AK, FS), pp. 293–302.
SEFMSEFM-2014-ChristakisMW #detection #invariant #testing
Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations (MC, PM, VW), pp. 65–80.
CAiSECAiSE-2014-RiveniTD #on the #social
On the Elasticity of Social Compute Units (MR, HLT, SD), pp. 364–378.
ICPRICPR-2014-MavadatiM #automation #metric #modelling
Temporal Facial Expression Modeling for Automated Action Unit Intensity Measurement (SMM, MHM), pp. 4648–4653.
ICPRICPR-2014-ZafarK #evaluation
Pain Intensity Evaluation through Facial Action Units (ZZ, NAK), pp. 4696–4701.
ICPRICPR-2014-ZhangM14a #detection #learning #multi
Simultaneous Detection of Multiple Facial Action Units via Hierarchical Task Structure Learning (XZ, MHM), pp. 1863–1868.
ICPRICPR-2014-ZhuWYJ #learning #modelling #multi #recognition #semantics
Multiple-Facial Action Unit Recognition by Shared Feature Learning and Semantic Relation Modeling (YZ, SW, LY, QJ), pp. 1663–1668.
KDDKDD-2014-GhassemiNDBJRS #modelling
Unfolding physiological state: mortality modelling in intensive care units (MG, TN, FDV, NB, RJ, AR, PS), pp. 75–84.
KMISKMIS-2014-VelosoPSSRA0 #data mining #mining #modelling #predict #realtime
Real-Time Data Mining Models for Predicting Length of Stay in Intensive Care Units (RV, FP, MFS, ÁMS, FR, AA, JM), pp. 245–254.
SEKESEKE-2014-ToureBL #metric #testing #towards
Towards a Unified Metrics Suite for JUnit Test Cases (FT, MB, LL), pp. 115–120.
AMTAMT-2014-TisoRL #model-to-text #testing
Unit Testing of Model to Text Transformations (AT, GR, ML), pp. 14–23.
MODELSMoDELS-2014-Pazzi #behaviour #composition #modelling
Modeling Systemic Behavior by State-Based Holonic Modular Units (LP), pp. 99–115.
MODELSMoDELS-2014-Pazzi #behaviour #composition #modelling
Modeling Systemic Behavior by State-Based Holonic Modular Units (LP), pp. 99–115.
SACSAC-2014-BassoOF #java #model transformation
Extending JUnit 4 with Java annotations and reflection to test variant model transformation assets (FPB, TCdO, KF), pp. 1601–1608.
SACSAC-2014-ChallcoI #authoring #design #learning #personalisation #towards
Towards a learning design authoring tool that generates personalized units of learning for CSCL (GCC, SI), pp. 778–780.
SACSAC-2014-NoureddineRS #energy #library #testing
Unit testing of energy consumption of software libraries (AN, RR, LS), pp. 1200–1205.
ICSEICSE-2014-BellK #testing
Unit test virtualization with VMVM (JB, GEK), pp. 550–561.
ASPLOSASPLOS-2014-PichaiHB #architecture #cpu #design #memory management
Architectural support for address translation on GPUs: designing memory management units for CPU/GPUs with unified address spaces (BP, LH, AB), pp. 743–758.
ASPLOSASPLOS-2014-WuLPKR #architecture #database #design #named
Q100: the architecture and design of a database processing unit (LW, AL, TKP, MAK, KAR), pp. 255–268.
LICSLICS-CSL-2014-HeijltjesH #equivalence #proving
No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete (WH, RH), p. 10.
TAPTAP-2014-JannesariKSW #classification #generative #parallel #testing
Generating Classified Parallel Unit Tests (AJ, NK, JS, FW), pp. 117–133.
ASEASE-2013-KimKKLJK #automation #embedded #industrial #scalability #testing #using
Automated unit testing of large industrial embedded software using concolic testing (YK, YK, TK, GL, YJ, MK), pp. 519–528.
CASECASE-2013-ChenTSPSSN #design #optimisation
Optimization processing unit (OPU) applied to integrated circuit design and manufacturing (DCLC, JTT, DBS, SWP, MHS, KTS, PN), pp. 1008–1015.
DATEDATE-2013-JaninBCDEGLT #design
Designing tightly-coupled extension units for the STxP70 processor (YJ, VB, HC, TD, CE, OAG, VL, TT), pp. 1052–1053.
DATEDATE-2013-PollexFSMMW #analysis #constant #realtime
Sufficient real-time analysis for an engine control unit with constant angular velocities (VP, TF, FS, UM, RM, GW), pp. 1335–1338.
DATEDATE-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.
SIGMODSIGMOD-2013-DeWittINS
We are drowning in a sea of least publishable units (LPUs) (DJD, IFI, JFN, MS), pp. 921–922.
FASEFASE-2013-SanthiarPK #api #mining #testing
Discovering Math APIs by Mining Unit Tests (AS, OP, AK), pp. 327–342.
CSMRCSMR-2013-AnicheOG #case study #industrial #open source #quality #testing #what
What Do the Asserts in a Unit Test Tell Us about Code Quality? A Study on Open Source and Industrial Projects (MFA, GAO, MAG), pp. 111–120.
CSMRCSMR-2013-SabanePAG #case study #cost analysis #testing
A Study on the Relation between Antipatterns and the Cost of Class Unit Testing (AS, MDP, GA, YGG), pp. 167–176.
ICPCICPC-2013-KamimuraM #generative #summary #testing #towards
Towards generating human-oriented summaries of unit test cases (MK, GCM), pp. 215–218.
STOCSTOC-2013-EisenstatK #algorithm #graph #linear #multi
Linear-time algorithms for max flow and multiple-source shortest paths in unit-weight planar graphs (DE, PNK), pp. 735–744.
SEFMSEFM-2013-KringsL #modelling #physics
Inferring Physical Units in B Models (SK, ML), pp. 137–151.
CHICHI-2013-OdomZFHMCLNLLKRSSM #comprehension
Fragmentation and transition: understanding perceptions of virtual possessions among young adults in Spain, South Korea and the United States (WO, JZ, JF, ALH, MM, JC, YKL, TJN, MHL, YL, DjK, YKR, JS, BS, HM), pp. 1833–1842.
CAiSECAiSE-2013-YuHGV #composition #framework #protocol #testing #web #web service
A Business Protocol Unit Testing Framework for Web Service Composition (JY, JH, SOG, SV), pp. 17–34.
ICMLICML-c1-2013-KrauseFGI #approximate
Approximation properties of DBNs with binary hidden units and real-valued visible units (OK, AF, TG, CI), pp. 419–426.
KDDKDD-2013-AltinigneliPB #parallel #using
Massively parallel expectation maximization using graphics processing units (MCA, CP, CB), pp. 838–846.
KDIRKDIR-KMIS-2013-BerrahouBDR #documentation #how #question
How to Extract Unit of Measure in Scientific Documents? (SLB, PB, JDB, MR), pp. 249–256.
KDIRKDIR-KMIS-2013-Ibarra-SanchezPO #analysis #case study #risk management #using
Hospital Risk Management using Healthcare Failure Mode and Effects Analysis — A Case Study on Ventilators Whithin an Intensive Care Unit (MAIS, ABPA, MROP), pp. 328–335.
POPLPOPL-2013-UpadrastaC #scheduling #using
Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra (RU, AC), pp. 483–496.
SACSAC-2013-Barros #component #representation
Representing dynamic pluggable software units (FB), pp. 1006–1012.
SACSAC-2013-MadeoLP #gesture #rest #segmentation #using
Gesture unit segmentation using support vector machines: segmenting gestures from rest positions (RCBM, CAML, SMP), pp. 46–52.
ICSEICSE-2013-GargIBMG #c #c++ #execution #generative #testing #using
Feedback-directed unit test generation for C/C++ using concolic execution (PG, FI, GB, NM, AG), pp. 132–141.
ICSEICSE-2013-Kuhn #interactive #live programming #on the #programming #testing
On extracting unit tests from interactive live programming sessions (AK), pp. 1241–1244.
ICSTICST-2013-PezzeRW #effectiveness #generative #integration #testing
Generating Effective Integration Test Cases from Unit Ones (MP, KR, JW), pp. 11–20.
ICSTICST-2013-SteenbuckF #concurrent #generative #testing
Generating Unit Tests for Concurrent Classes (SS, GF), pp. 144–153.
ICSTSAT-2013-LonsingEG #learning #performance #pseudo #quantifier
Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation (FL, UE, AVG), pp. 100–115.
DATEDATE-2012-LiH #analysis #logic #named #performance #reliability
RAG: An efficient reliability analysis of logic circuits on graphics processing units (ML, MSH), pp. 316–319.
DATEDATE-2012-MagnoMBPOB #network #power management
Smart power unit with ultra low power radio trigger capabilities for wireless sensor networks (MM, SJM, DB, EMP, BO, LB), pp. 75–80.
ITiCSEITiCSE-2012-BrownCDGHMNPPSSSSS #education
Anatomy, dissection, and mechanics of an introductory cyber-security course’s curriculum at the United States naval academy (CB, FC, RD, RG, CH, JM, DN, AP, AP, SS, JS, SS, DS, SS), pp. 303–308.
ITiCSEITiCSE-2012-BrownPSE #analysis #complexity #generative #named
JUG: a JUnit generation, time complexity analysis and reporting tool to streamline grading (CB, RP, BS, JE), pp. 99–104.
CSMRCSMR-2012-TollO #game studies #question #why
Why is Unit-testing in Computer Games Difficult? (DT, TO), pp. 373–378.
ICSMEICSM-2012-BavotaQOLB #analysis #empirical #maintenance #smell #testing
An empirical analysis of the distribution of unit test smells and their impact on software maintenance (GB, AQ, RO, ADL, DB), pp. 56–65.
WCREWCRE-2012-VonkenZ #question #refactoring #testing
Refactoring with Unit Testing: A Match Made in Heaven? (FV, AZ), pp. 29–38.
ICALPICALP-v2-2012-Vocking #multi #random
Randomized Mechanisms for Multi-unit Auctions — (Extended Abstract) (BV), pp. 27–29.
IFMIFM-2012-AndradeFLP #generative #java #testing
Specification-Driven Unit Test Generation for Java Generic Classes (FRdA, JPF, AL, ACRP), pp. 296–311.
CSCWCSCW-2012-WycheG #case study #communication #how #product line #quote
“This is how we do it in my country”: a study of computer-mediated family communication among Kenyan migrants in the United States (SW, REG), pp. 87–96.
AdaEuropeAdaEurope-2012-GregertsenS #execution #hardware #performance #using
Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit (KNG, AS), pp. 177–192.
ICEISICEIS-v1-2012-Dustdar #approach #design #novel
Design by Units — A Novel Approach for Building Elastic Systems (SD).
KMISKMIS-2012-RezendeLBJMRB #framework #information management #modelling
Modelling and Knowledge Management in the Field of Road Infrastructure Operation and Regulation — Study on the Methods Application in an Organizational Unit (LR, MAL, CRNB, JdLPCJ, LAM, SAR, CAMB), pp. 265–268.
KRKR-2012-BordeauxJSM #on the #quantifier
On Unit-Refutation Complete Formulae with Existentially Quantified Variables (LB, MJ, JPMS, PM).
KRKR-2012-MaBL #framework
Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework (JM, SB, WL).
SACSAC-2012-GrooteOW #case study #experience #formal method
Experience report on developing the Front-end client unit under the control of formal methods (JFG, AO, JHW), pp. 1183–1190.
ICSEICSE-2012-Estefo #testing
Restructuring unit tests with TestSurgeon (PE), pp. 1632–1634.
ICSEICSE-2012-NistorLPGM #automation #clustering #generative #named #parallel #performance #random #testing #thread
Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code (AN, QL, MP, TRG, DM), pp. 727–737.
ICLPICLP-2012-CattafiHGNM #constraints #health #logic programming #performance #quality
Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit (MC, RH, MG, MN, FM), pp. 415–424.
ICSTICST-2012-GeronimoFMS #algorithm #automation #generative #parallel #pipes and filters #search-based #testing
A Parallel Genetic Algorithm Based on Hadoop MapReduce for the Automatic Generation of JUnit Test Suites (LDG, FF, AM, FS), pp. 785–793.
ICSTICST-2012-GrooteOW #formal method #using
Analyzing a Controller of a Power Distribution Unit Using Formal Methods (JFG, AO, JHW), pp. 420–428.
ICSTICST-2012-JollyGE #automation #case study #industrial #research #testing
Automated Unit Testing of a SCADA Control Software: An Industrial Case Study Based on Action Research (SAJ, VG, MME), pp. 400–409.
ASEASE-2011-RobinsonEPAL #automation #generative #scalability #source code #testing
Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs (BR, MDE, JHP, VA, NL), pp. 23–32.
DACDAC-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.
DATEDATE-2011-MedwedM #detection #fault #logic
Arithmetic logic units with high error detection rates to counteract fault attacks (MM, SM), pp. 1644–1649.
DATEDATE-2011-SabatelliSFR #algorithm #estimation #metric
A sensor fusion algorithm for an integrated angular position estimation with inertial measurement units (SS, FS, LF, AR), pp. 273–276.
VLDBVLDB-2011-AoZWSWLLL #algorithm #parallel #performance #using
Efficient Parallel Lists Intersection and Index Compression Algorithms using Graphics Processing Units (NA, FZ, DW, DSS, GW, XL, JL, SL), pp. 470–481.
ITiCSEITiCSE-2011-CarboneWC #student
A scheme for improving ICT units with critically low student satisfaction (AC, JW, JC), pp. 253–257.
FASEFASE-2011-ThummalapentaMXTH #testing
Retrofitting Unit Tests for Parameterized Unit Testing (ST, MRM, TX, NT, JdH), pp. 294–309.
AGTIVEAGTIVE-2011-ErmlerKKT #graph transformation
From Graph Transformation Units via MiniSat to GrGen.NET (ME, HJK, SK, CvT), pp. 153–168.
CHICHI-2011-DenefKO #independence #monitoring
Rigid structures, independent units, monitoring: organizing patterns in frontline firefighting (SD, DVK, RO), pp. 1949–1958.
CHICHI-2011-MaedaHKA
“ClearPlate” for capturing printed information: a scanner and viewfinder in one optical unit (AM, KH, MK, MA), pp. 2737–2740.
HCIDUXU-v2-2011-BohmSW11a #adaptation #constraints #usability
Customized Usability Engineering for a Solar Control Unit: Adapting Traditional Methods to Domain and Project Constraints (PB, TS, CW), pp. 109–117.
HCIHCD-2011-BohmSW #design #experience #interactive #user interface
Smart Sol — Bringing User Experience to Facility Management: Designing the User Interaction of a Solar Control Unit (PB, TS, CW), pp. 187–196.
MODELSMoDELS-2011-Garcia-DominguezKRPM #framework #model management #named #testing
EUnit: A Unit Testing Framework for Model Management Tasks (AGD, DSK, LMR, RFP, IMB), pp. 395–409.
MODELSMoDELS-2011-Garcia-DominguezKRPM #framework #model management #named #testing
EUnit: A Unit Testing Framework for Model Management Tasks (AGD, DSK, LMR, RFP, IMB), pp. 395–409.
SACSAC-2011-ZhangWAWLL #performance #using
Fast lists intersection with Bloom filter using graphics processing units (FZ, DW, NA, GW, XL, JL), pp. 825–826.
ESEC-FSEESEC-FSE-2011-JagannathGJLRM #parallel #testing #thread
Improved multithreaded unit testing (VJ, MG, DJ, QL, GR, DM), pp. 223–233.
ESEC-FSEESEC-FSE-2011-MusluSW #debugging #testing
Finding bugs by isolating unit tests (KM, BS, JW), pp. 496–499.
ICSEICSE-2011-DanielDGJJMNTM #named #testing
ReAssert: a tool for repairing broken unit tests (BD, DD, TG, VJ, JJ, DM, JN, SHT, DM), pp. 1010–1012.
ISSTAISSTA-2011-FraserZ #generative #testing
Generating parameterized unit tests (GF, AZ), pp. 364–374.
LICSLICS-2011-Heijltjes #linear #logic #proving
Proof Nets for Additive Linear Logic with Units (WH), pp. 207–216.
ICSTSAT-2011-GableskeH #named #random #satisfiability #using
EagleUP: Solving Random 3-SAT Using SLS with Unit Propagation (OG, MH), pp. 367–368.
ASEASE-2010-AlmeidaMSV #framework #named #peer-to-peer #testing
PeerUnit: a framework for testing peer-to-peer systems (ECdA, JEM, GS, PV), pp. 169–170.
ASEASE-2010-ZhengZLX #generative #random #recommendation #sequence #testing
Random unit-test generation with MUT-aware sequence recommendation (WZ, QZ, MRL, TX), pp. 293–296.
CASECASE-2010-SadkiXC
Patients assignment for an oncology outpatient unit (AS, XX, FC), pp. 891–896.
DACDAC-2010-FengZ #analysis #grid #parallel #power management #robust
Parallel multigrid preconditioning on graphics processing units (GPUs) for robust power grid analysis (ZF, ZZ), pp. 661–666.
DACDAC-2010-VeetilCSB #monte carlo #performance #resource management
Efficient smart monte carlo based SSTA on graphics processing units with improved resource utilization (VV, YHC, DS, DB), pp. 793–798.
DATEDATE-2010-BarrioMMHM #functional #synthesis #using
Using Speculative Functional Units in high level synthesis (AADB, MCM, JMM, RH, SOM), pp. 1779–1784.
DATEDATE-2010-Diekhoff
AUTOSAR basic software for complex control units (DD), pp. 263–266.
DATEDATE-2010-LiZYZ #functional
Proactive NBTI mitigation for busy functional units in out-of-order microprocessors (LL, YZ, JY, JZ), pp. 411–416.
ITiCSEITiCSE-2010-LappalainenIIK #agile #named #programming #testing
ComTest: a tool to impart TDD and unit testing to introductory level programming (VL, JI, VI, SK), pp. 63–67.
ICSMEICSM-2010-NasehiM #api #testing
Unit tests as API usage examples (SMN, FM), pp. 1–10.
ICSMEICSM-2010-QusefOL #testing #traceability
Recovering traceability links between unit tests and classes under test: An improved method (AQ, RO, ADL), pp. 1–10.
LISPILC-2010-Maraist #lisp #named #testing
NST: a unit testing system for common Lisp (JM), pp. 53–64.
ICGTICGT-2010-KreowskiKW #graph transformation #satisfiability
Graph Transformation Units Guided by a SAT Solver (HJK, SK, RW), pp. 27–42.
CHICHI-2010-WilcoxLLFJ
Physician-driven management of patient progress notes in an intensive care unit (LW, JL, JCL, SF, DAJ), pp. 1879–1888.
ICMLICML-2010-NairH #linear #strict
Rectified Linear Units Improve Restricted Boltzmann Machines (VN, GEH), pp. 807–814.
SACSAC-2010-DolevGK #multi #scalability #trust
Computing multi-party trust privately: in O(n) time units sending one (possibly large) message at a time (SD, NG, MK), pp. 1460–1465.
SACSAC-2010-FacchinettiSG #design #development #embedded #metric #realtime
Design and development of a real-time embedded inertial measurement unit (TF, AS, EG), pp. 491–495.
SACSAC-2010-LiuJWZQ #mining
Mining preorder relation between knowledge units from text (JL, LJ, ZW, QZ, YnQ), pp. 1047–1053.
ICSEICSE-2010-BaresiM #automation #generative #java #named #testing
TestFul: automatic unit-test generation for Java classes (LB, MM), pp. 281–284.
ICSEICSE-2010-Rakamaric #concurrent #named #source code
STORM: static unit checking of concurrent programs (ZR), pp. 519–520.
ICSEICSE-2010-TillmannHX #testing #theory and practice
Parameterized unit testing: theory and practice (NT, JdH, TX), pp. 483–484.
SPLCSPLC-2010-GanesanLMBSM #architecture #product line #testing
Architecture-Based Unit Testing of the Flight Software Product Line (DG, ML, DM, MB, SS, BM), pp. 256–270.
PPoPPPPoPP-2010-CoonsBM #concurrent #effectiveness #library #named #testing
GAMBIT: effective unit testing for concurrency libraries (KEC, SB, MM), pp. 15–24.
ICTSSICTSS-2010-MeinkeN #approach #testing
A Learning-Based Approach to Unit Testing of Numerical Software (KM, FN), pp. 221–235.
ISSTAISSTA-2010-FraserZ #generative #testing
Mutation-driven generation of unit tests and oracles (GF, AZ), pp. 147–158.
TAPTAP-2010-GladischTBY #generative #testing #using #verification
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay (CG, SST, BB, AY), pp. 61–76.
CBSECBSE-2009-Heineman #component #dependence #testing
Unit Testing of Software Components with Inter-component Dependencies (GTH), pp. 262–273.
ASEASE-2009-DanielJDM #named #testing
ReAssert: Suggesting Repairs for Broken Unit Tests (BD, VJ, DD, DM), pp. 433–444.
ASEASE-2009-ZhangZHZM #named #testing
Jtop: Managing JUnit Test Cases in Absence of Coverage Information (LZ, JZ, DH, LZ, HM), pp. 677–679.
CASECASE-2009-Subrahmanian #automation #empirical #workflow
Empirical studies of workflow automation in physician offices in the United States (ES), pp. 83–87.
VLDBVLDB-2009-WillhalmPBPZS #in memory #named #performance #using
SIMD-Scan: Ultra Fast in-Memory Table Scan using on-Chip Vector Processing Units (TW, NP, YB, HP, AZ, JS), pp. 385–394.
ITiCSEITiCSE-2009-ProulxJ #java #testing
Unit testing in Java (VKP, WJ), p. 349.
CSMRCSMR-2009-RompaeyD #testing #traceability
Establishing Traceability Links between Unit Test Cases and Units under Test (BVR, SD), pp. 209–218.
ICSMEICSM-2009-ParveenTDM #distributed #execution #framework #testing #towards
Towards a distributed execution framework for JUnit test cases (TP, SRT, ND, PM), pp. 425–428.
ICSMEICSM-2009-ZhangZHZM #testing
Prioritizing JUnit test cases in absence of coverage information (LZ, JZ, DH, LZ, HM), pp. 19–28.
CIAACIAA-2009-Savary #finite #multi #named
Multiflex: A Multilingual Finite-State Tool for Multi-Word Units (AS), pp. 237–240.
CEFPCEFP-2009-Kennedy #theory and practice
Types for Units-of-Measure: Theory and Practice (AK), pp. 268–305.
MODELSMoDELS-2009-Chimiak-Opoka #constraints #ocl
OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language (JCO), pp. 665–669.
MODELSMoDELS-2009-Chimiak-Opoka #constraints #ocl
OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language (JCO), pp. 665–669.
ESEC-FSEESEC-FSE-2009-ThummalapentaXTHS #generative #mining #named #object-oriented #source code #testing
MSeqGen: object-oriented unit-test generation via mining source code (ST, TX, NT, JdH, WS), pp. 193–202.
ICSEICSE-2009-WlokaRT #named #testing
JUnitMX — A change-aware unit testing tool (JW, BGR, FT), pp. 567–570.
CAVCAV-2009-HuntS #verification
Centaur Technology Media Unit Verification (WAHJ, SS), pp. 353–367.
ICSTICST-2009-HillTES #component #distributed #non-functional #testing
Unit Testing Non-functional Concerns of Component-based Distributed Systems (JHH, HAT, JRE, DCS), pp. 406–415.
ASEASE-2008-JordeED #testing
Increasing Test Granularity by Aggregating Unit Tests (MJ, SGE, MBD), pp. 9–18.
ASEASE-2008-KimKK #memory management #model checking #satisfiability #testing
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker (MK, YK, HK), pp. 198–207.
ASEASE-2008-TanejaX #automation #generative #named #testing
DiffGen: Automated Regression Unit-Test Generation (KT, TX), pp. 407–410.
CASECASE-2008-ChanYDS #clustering #scheduling #tool support
Optimal scheduling of k-unit production of cluster tools with single-blade robots (WKC, JY, SD, DS), pp. 335–340.
DACDAC-2008-ChongP #agile #float #generative
Rapid application specific floating-point unit generation with bit-alignment (YJC, SP), pp. 62–67.
DACDAC-2008-GulatiK #fault #simulation #towards #using
Towards acceleration of fault simulation using graphics processing units (KG, SPK), pp. 822–827.
CSMRCSMR-2008-LienhardGGN #execution #testing
Test Blueprint — Exposing Side Effects in Execution Traces to Support Writing Unit Tests (AL, TG, OG, ON), pp. 83–92.
ICALPICALP-A-2008-Plaxton #performance #scheduling
Fast Scheduling of Weighted Unit Jobs with Release Times and Deadlines (CGP), pp. 222–233.
GT-VMTGT-VMT-2008-Gruner #graph transformation #mobile #network
Graph Transformation Model of a Triangulated Network of Mobile Units (SG).
CHICHI-2008-WycheAG
Re-placing faith: reconsidering the secular-religious use divide in the United States and Kenya (SW, PMA, REG), pp. 11–20.
SOFTVISSOFTVIS-2008-CottamHL #development #representation #scalability #testing
Representing unit test data for large scale software development (JAC, JH, AL), pp. 57–66.
EDOCEDOC-2008-Sirtl #as a service #web
Software plus Services: New IT- and Business Opportunities by Uniting SaaS, SOA and Web 2.0 (HS).
ICPRICPR-2008-SongT #classification
C1 units for scene classification (DS, DT), pp. 1–4.
ICPRICPR-2008-ZhangTJ #interactive
Interactive labeling of facial action units (LZ, YT, QJ), pp. 1–4.
SEKESEKE-2008-TinkhamTP #assessment #comprehension #java #reverse engineering #source code #testing #tool support
A Qualitative Assessment of the Reverse Engineering Capabilities of Unit Testing Tools for Understanding Java Programs (AT, SRT, TP), pp. 111–116.
MODELSMoDELS-2008-SaadKS #framework #modelling #network #testing #visual notation
Visual ScatterUnit: A Visual Model-Driven Testing Framework of Wireless Sensor Networks Applications (MAS, NK, JHS), pp. 751–765.
MODELSMoDELS-2008-SaadKS #framework #modelling #network #testing #visual notation
Visual ScatterUnit: A Visual Model-Driven Testing Framework of Wireless Sensor Networks Applications (MAS, NK, JHS), pp. 751–765.
TOOLSTOOLS-EUROPE-2008-SteimannES #fault #testing #towards
Towards Raising the Failure of Unit Tests to the Level of Compiler-Reported Errors (FS, TEE, MS), pp. 60–79.
SACSAC-2008-Ngomo #multi
Knowledge-free discovery of domain-specific multiword units (ACNN), pp. 1561–1565.
HPDCHPDC-2008-Al-KiswanyGSYR #distributed #named
StoreGPU: exploiting graphics processing units to accelerate distributed storage systems (SAK, AG, ESN, GY, MR), pp. 165–174.
ICLPICLP-2008-SchrijversD #community #prolog
Uniting the Prolog Community (TS, BD), pp. 7–8.
ICSTICST-2008-MouyMWG #generative #testing
Generation of All-Paths Unit Test with Function Calls (PM, BM, NW, PLG), pp. 32–41.
ICSTICST-2008-TanE #automation #testing
Evaluating Automated Unit Testing in Sulu (RPT, SE), pp. 62–71.
ISSTAISSTA-2008-PasareanuMBGLPP #execution #symbolic computation #testing
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software (CSP, PCM, DHB, KGB, MRL, SP, MP), pp. 15–26.
TAPTAP-2008-HalleuxT #testing
Parameterized Unit Testing with Pex (JdH, NT), pp. 171–181.
ASEASE-2007-AndrewsLM #generative #named #testing
Nighthawk: a two-level genetic-random unit test data generator (JHA, FCHL, TM), pp. 144–153.
ASEASE-2007-ArcuriY #source code #specification #testing
Coevolving programs and unit tests from their specification (AA, XY), pp. 397–400.
ASEASE-2007-LeitnerOZCM #performance #testing
Efficient unit test case minimization (AL, MO, AZ, IC, BM), pp. 417–420.
ASEASE-2007-PughA #concurrent #testing
Unit testing concurrent software (WP, NA), pp. 513–516.
CASECASE-2007-ChanYD #clustering #multi #on the #scheduling #tool support
On the Optimality of One-Unit Cycle Scheduling of Multi-Cluster Tools with Single-Blade Robots (WKC, JY, SD), pp. 392–397.
DACDAC-2007-PuttaswamyL #3d #scalability
Scalability of 3D-Integrated Arithmetic Units in High-Performance Microprocessors (KP, GHL), pp. 622–625.
DATEDATE-2007-ChongP #automation #float #generative
Automatic application specific floating-point unit generation (YJC, SP), pp. 461–466.
DATEDATE-2007-FietheMDOZ #configuration management
Reconfigurable system-on-chip data processing units for space imaging instruments (BF, HM, CD, BO, GZ), pp. 977–982.
ICDARICDAR-2007-FinkP #modelling #on the #recognition
On the Use of Context-Dependent Modeling Units for HMM-Based Offline Handwriting Recognition (GAF, TP), pp. 729–733.
LISPILC-2007-RepenningI #lisp
X-expressions in XMLisp: S-expressions and extensible markup language unite (AR, AI), p. 23.
AGTIVEAGTIVE-2007-KreowskiK #community
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing (HJK, SK), pp. 281–296.
HCIHCI-IPT-2007-LeeC #design #interface #visual notation
Interface Design Technique Considering Visual Cohesion-Rate by Object Unit (CML, OBC), pp. 72–81.
HCIHIMI-MTT-2007-ChonRL #adaptation
Converting Information Through a Complete and Minimal Unit Transcoder for QoS Adaptation (SC, DR, YL), pp. 594–603.
ICEISICEIS-EIS-2007-Rodriguez #collaboration #coordination #education #learning #modelling #process
A Modeling Language for Collaborative Learning Educational Units — Supporting the Coordination of Collaborative Activities (MCR), pp. 334–339.
SACSAC-2007-KyungPKJKP #design #framework #manycore #monitoring #performance
Performance monitor unit design for an AXI-based multi-core SoC platform (HmK, GHP, JWK, WJ, TJK, SBP), pp. 1565–1572.
TAPTAP-2007-EngelH #generative #proving #testing
Generating Unit Tests from Formal Proofs (CE, RH), pp. 169–188.
ASEASE-2006-dAmorimPXME #automation #classification #comparison #empirical #generative #object-oriented #testing
An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing (Md, CP, TX, DM, MDE), pp. 59–68.
DACDAC-2006-WuJYLT #estimation #functional
A systematic method for functional unit power estimation in microprocessors (WW, LJ, JY, PL, SXDT), pp. 554–557.
DATEDATE-2006-BiswasDIP #architecture #automation #functional #identification
Automatic identification of application-specific functional units with architecturally visible storage (PB, NDD, PI, LP), pp. 212–217.
DATEDATE-2006-Muller-Glaser #design #modelling
Domain specific model driven design for automotive electronic control units (KDMG), p. 557.
DATEDATE-DF-2006-ArifinC #adaptation #clustering #implementation #logic #novel #segmentation
A novel FPGA-based implementation of time adaptive clustering for logical story unit segmentation (SA, PYKC), pp. 227–232.
DATEDATE-DF-2006-KaruriLAMK #composition #design #float #implementation
Design and implementation of a modular and portable IEEE 754 compliant floating-point unit (KK, RL, GA, HM, MK), pp. 221–226.
DATEDATE-DF-2006-MadingLPSBEH #architecture #fixpoint
The vector fixed point unit of the synergistic processor element of the cell architecture processor (NM, JL, JP, RS, SB, SE, WH), pp. 244–248.
ICFPICFP-2006-OwensF
From structures and functors to modules and units (SO, MF), pp. 87–98.
ICGTICGT-2006-HolscherKK #semantics
Autonomous Units and Their Semantics — The Sequential Case (KH, HJK, SK), pp. 245–259.
ICPRICPR-v3-2006-MinM #gpu
Tensor Voting Accelerated by Graphics Processing Units (GPU) (CM, GGM), pp. 1103–1106.
SIGIRSIGIR-2006-GaoN #case study #modelling #query #statistics
A study of statistical models for query translation: finding a good unit of translation (JG, JYN), pp. 194–201.
ECOOPECOOP-2006-Xie #automation #testing
Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking (TX), pp. 380–403.
FSEFSE-2006-ElbaumCDD #difference #testing
Carving differential unit test cases from system test cases (SGE, HNC, MBD, JD), pp. 253–264.
ICSEICSE-2006-DuarteCBM #grid #named #testing
GridUnit: software testing on the grid (AD, WC, FVB, PM), pp. 779–782.
ICSEICSE-2006-JiangS #c #correctness #named #source code #type system #validation
Osprey: a practical type system for validating dimensional unit correctness of C programs (LJ, ZS), pp. 262–271.
ICSEICSE-2006-XieMY #automation #state machine
Automatic extraction of abstract-object-state machines from unit-test executions (TX, EM, HY), pp. 835–838.
LCTESLCTES-2006-MutyamLNKI #functional
Compiler-directed thermal management for VLIW functional units (MM, FL, NV, MTK, MJI), pp. 163–172.
CAVCAV-2006-SenA #model checking #testing #tool support
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools (KS, GA), pp. 419–423.
ISSTAISSTA-2006-Hamlet #testing
Subdomain testing of units and systems with state (DH), pp. 85–96.
ICSTSAT-2006-ManoliosZ #bibliography #implementation
Implementing Survey Propagation on Graphics Processing Units (PM, YZ), pp. 311–324.
DATEDATE-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.
DocEngDocEng-2005-HaralambousB #injection
Injecting information into atomic units of text (YH, GB), pp. 134–142.
TACASTACAS-2005-XieMSN #execution #framework #generative #named #object-oriented #symbolic computation #testing #using
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution (TX, DM, WS, DN), pp. 365–381.
STOCSTOC-2005-Hallgren #algorithm #performance #quantum
Fast quantum algorithms for computing the unit group and class group of a number field (SH), pp. 468–474.
STOCSTOC-2005-SchmidtV #algorithm #polynomial #quantum
Polynomial time quantum algorithm for the computation of the unit group of a number field (AS, UV), pp. 475–480.
ICALPICALP-2005-ChanLW
Dynamic Bin Packing of Unit Fractions Items (WTC, TWL, PWHW), pp. 614–626.
EDOCEDOC-2005-WitthawaskulJ #modelling #transaction #using
Transaction Support Using Unit of Work Modeling in the Context of MDA (WW, REJ), pp. 131–141.
ECIRECIR-2005-Vechtomova #information retrieval #interactive #multi
The Role of Multi-word Units in Interactive Information Retrieval (OV), pp. 403–420.
RERE-2005-JordanSN #case study #evolution #requirements
The Extravehicular Mobility Unit: Case Study in Requirements Evolution (NCJ, JHS, DJN), pp. 434–438.
SACSAC-2005-XiaoLJ #clustering #on the #problem #scheduling
On unit task linear-nonlinear two-cluster scheduling problem (ZX, WNL, JJFJ), pp. 713–717.
ESEC-FSEESEC-FSE-2005-SenMA #c #named #testing
CUTE: a concolic unit testing engine for C (KS, DM, GA), pp. 263–272.
ESEC-FSEESEC-FSE-2005-TillmannS #testing
Parameterized unit tests with unit meister (NT, WS), pp. 241–244.
ESEC-FSEESEC-FSE-2005-TillmannS05a #testing
Parameterized unit tests (NT, WS), pp. 253–262.
VMCAIVMCAI-2005-ShenQL #incremental #satisfiability
Minimizing Counterexample with Unit Core Extraction and Incremental SAT (SS, YQ, SL), pp. 298–312.
ASEASE-2004-XieMN #detection #framework #named #object-oriented #testing
Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests (TX, DM, DN), pp. 196–205.
DATEDATE-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.
DATEDATE-DF-2004-KruppMO #model checking #refinement
Formal Refinement and Model Checking of an Echo Cancellation Unit (AK, WM, IO), pp. 102–107.
ITiCSEITiCSE-2004-FisherLS #approximate
Curve and surface interpolation and approximation: knowledge unit and software tool (JF, JLL, CKS), pp. 146–150.
ICSMEICSM-2004-GalliLNW #debugging #testing
Ordering Broken Unit Tests for Focused Debugging (MG, ML, ON, RW), pp. 114–123.
ICGTICGT-2004-Klempien-HinrichsKK #graph transformation #type system
Typing of Graph Transformation Units (RKH, HJK, SK), pp. 112–127.
ICPRICPR-v2-2004-IurgelR #classification #documentation #probability #using
Spoken Document Classification with SVMs Using Linguistic Unit Weighting and Probabilistic Couplers (UI, GR), pp. 667–670.
ICPRICPR-v4-2004-FangGGC #approach #automation #novel
A Novel Approach to Automatically Extracting Basic Units from Chinese Sign Language (GF, XG, WG, YC), pp. 454–457.
OOPSLAOOPSLA-2004-AllenCLMS #metric #object-oriented
Object-oriented units of measurement (EEA, DC, VL, JWM, GLSJ), pp. 384–403.
LOPSTRLOPSTR-2004-LauMO #composition #specification
Constructive Specifications for Compositional Units (KKL, AM, MO), pp. 198–214.
LOPSTRPDCL-2004-LauO #composition #development #logic #specification
Specifying Compositional Units for Correct Program Development in Computational Logic (KKL, MO), pp. 1–29.
ICSEICSE-2004-AntoniuSKNF #correctness #source code #spreadsheet #validation
Validating the Unit Correctness of Spreadsheet Programs (TA, PAS, SK, EN, MF), pp. 439–448.
HPCAHPCA-2004-FalconRV #multi #thread
A Low-Complexity, High-Performance Fetch Unit for Simultaneous Multithreading Processors (AF, AR, MV), pp. 244–253.
CSLCSL-2004-StrassburgerL #linear #logic #multi #on the #proving
On Proof Nets for Multiplicative Linear Logic with Units (LS, FL), pp. 145–159.
ICLPICLP-2004-YouH #lookahead
Arc-Consistency + Unit Propagation = Lookahead (JHY, GH), pp. 314–328.
ASEASE-2003-RosuC #metric #safety
Certifying Measurement Unit Safety Polic (GR, FC), pp. 304–309.
ASEASE-2003-XieN #testing
Tool-Assisted Unit Test Selection Based on Operational Violations (TX, DN), pp. 40–48.
DATEDATE-2003-HagaRBM #functional #power management
Dynamic Functional Unit Assignment for Low Power (SH, NR, RB, DM), pp. 11052–11057.
DATEDATE-2003-KimSLLNN #data flow #distributed #graph
Distributed Synchronous Control Units for Dataflow Graphs under Allocation of Telescopic Arithmetic Units (EK, HS, JGL, DIL, HN, TN), pp. 10276–10281.
DATEDATE-2003-Novikov
Local Search for Boolean Relations on the Basis of Unit Propagation (YN), pp. 10810–10815.
ITiCSEITiCSE-2003-PattersonKR #testing
Introducing unit testing with BlueJ (AP, MK, JR), pp. 11–15.
STOCSTOC-2003-GaoZ #composition #graph #metric
Well-separated pair decomposition for the unit-disk graph metric and its applications (JG, LZ), pp. 483–492.
SEFMSEFM-2003-DeharbeR #debugging #proving #theorem proving #verification
Light-Weight Theorem Proving for Debugging and Verifying Units of Code (DD, SR), pp. 220–228.
AGTIVEAGTIVE-2003-GeigerZ #graph transformation #testing
Transforming Graph Based Scenarios into Graph Transformation Based JUnit Tests (LG, AZ), pp. 61–74.
AdaEuropeAdaEurope-2003-GreinKW #ada #bibliography #physics
A Survey of Physical Unit Handling Techniques in Ada (CG, DAK, FW), pp. 258–270.
CIKMCIKM-2003-SunL #mining #web
Web unit mining: finding and classifying subgraphs of web pages (AS, EPL), pp. 108–115.
ECOOPECOOP-2003-ScharliDNB #behaviour #composition #named
Traits: Composable Units of Behaviour (NS, SD, ON, APB), pp. 248–274.
FATESFATES-2003-XuY #automation #framework #ml #named #novel #testing
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit (G(X, ZY), pp. 70–85.
LICSLICS-2003-HughesG #linear #logic #multi #proving
Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract) (DJDH, RJvG), pp. 1–10.
ICSTSAT-2003-BuningZ
Read-Once Unit Resolution (HKB, XZ), pp. 356–369.
ICSTSAT-2003-LiSB #effectiveness #performance #satisfiability #using
A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation (XYL, MFMS, FB), pp. 53–68.
DATEDATE-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.
STOCSTOC-2002-Kontogiannis #algorithm #bound #online #scheduling
Lower bounds & competitive algorithms for online scheduling of unit-size tasks to related machines (SCK), pp. 124–133.
ICGTICGT-2002-KnirschK #distributed #graph transformation
Distributed Graph Transformation Units (PK, SK), pp. 207–222.
CIKMCIKM-2002-LiPHL #internet #using
Using micro information units for internet search (XL, THP, MH, BL), pp. 566–573.
ECOOPECOOP-2002-CheonL #approach #ml #testing
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way (YC, GTL), pp. 231–255.
FSEFSE-2002-CobleighOWL #adaptation #architecture #composition
Containment units: a hierarchically composable architecture for adaptive systems (JMC, LJO, AEW, BSL), pp. 159–165.
CCCC-2002-RelePOG #functional #optimisation
Optimizing Static Power Dissipation by Functional Units in Superscalar Processors (SR, SP, , RG), pp. 261–275.
SATSAT-2002-HirschK #named #satisfiability
UnitWalk: A new SAT solver that uses local search guided by unit clause elimination (EH, AK), p. 38.
SATSAT-2002-Kusper #linear #problem #satisfiability
Solving the resolution-free SAT problem by hyper-unit propagation in linear time (GK), p. 32.
DACDAC-2001-BruniBB #design #statistics #synthesis
Statistical Design Space Exploration for Application-Specific Unit Synthesis (DB, AB, LB), pp. 641–646.
DATEDATE-2001-BekooijEWB #behaviour #functional
Functional units with conditional input/output behavior in VLIW processors (MB, LJME, AvdW, NGB), p. 822.
ICSTSAT-2001-Berre #lookahead #power of
Exploiting the real power of unit propagation lookahead (DLB), pp. 59–80.
DACDAC-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.
ICPRICPR-v1-2000-FaselL #process #recognition #symmetry
Recognition of Asymmetric Facial Action Unit Activities and Intensities (BF, JL), pp. 5100–5103.
ICPRICPR-v2-2000-MesserK #algorithm #design #network #performance
Fast Unit Selection Algorithm for Neural Network Design (KM, JK), pp. 2981–2984.
ICSEICSE-2000-KirschS #tutorial
Intellectual property protection for software in the United States and Europe (tutorial session): the changing roles of patents and copyrights (GJK, YS), p. 827.
HPCAHPCA-2000-MathewMCD #design #memory management #parallel
Design of a Parallel Vector Access Unit for SDRAM Memory Systems (BKM, SAM, JBC, AD), pp. 39–48.
DATEDATE-1999-FavalliM #design #functional #on the #self
On the Design of Self-Checking Functional Units Based on Shannon Circuits (MF, CM), pp. 368–375.
ITiCSEITiCSE-1999-Taylor #education #implementation #standard #student
Implementing national educational technology standards for student in the United States (HGT), p. 200.
ICSMEICSM-1999-LapierreMSAFT #automation #execution #generative #linear #programming #testing #using
Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees (SL, EM, GS, GA, RF, PT), pp. 189–198.
SACSAC-1999-GollaL #architecture #functional #logic #parallel #scheduling #thread
A Dynamic Scheduling Logic for Exploiting Multiple Functional Units in Single Ship Multithreaded Architectures (PNG, ECL), pp. 466–473.
SACSAC-1999-JacobsenJ #distributed #mobile #ubiquitous
Ubiquitous Devices United: Enabling Distributed Computing Through Mobile Code (KJ, DJ), pp. 399–404.
RTARTA-1999-FrougnyS #polynomial #term rewriting
A Rewrite System Associated with Quadratic Pisot Units (CF, JS), pp. 356–370.
ASEASE-1998-ChangR #automation #named #testing
ADLscope: An Automated Specification-based Unit Testing Tool (JC, DJR), pp. 289–292.
ASEASE-1998-ReyesR #ada #encapsulation #testing
Specification-based Testing of Ada Units with Low Encapsulation (AAR, DJR), pp. 22–31.
DACDAC-1998-CuattoPLJDSS #case study #design #embedded
A Case Study in Embedded System Design: An Engine Control Unit (TC, CP, LL, AJ, AD, CS, ALSV), pp. 804–807.
DATEDATE-1998-OlcozAIP
VHDL Teamwork, Organization Units and Workspace Management (SO, LA, II, OP), pp. 297–302.
DATEDATE-1998-StrakaMVS #metric
A Fully Digital Controlled Off-Chip IDDQ Measurement Unit (BS, HARM, JV, MS), pp. 495–500.
DATEDATE-1998-SvajdaSM #metric #named
IOCIMU — An Integrated Off-Chip IDDQ Measurement Unit (MS, BS, HARM), pp. 959–960.
HTHT-1998-TajimaMKT #email #query
Cut as a Querying Unit for WWW, Netnews, e-mail (KT, YM, MK, KT), pp. 235–244.
ITiCSEITiCSE-1998-AbunawassMN #design #distance #education #learning
An integratable unit based computer science distance learning curriculum design for the ACM/IEEE curricula 1991 (AMA, MM, KN), pp. 18–20.
PLDIPLDI-1998-FlattF #named
Units: Cool Modules for HOT Languages (MF, MF), pp. 236–248.
ICFPICFP-1998-FindlerF #composition #mixin #object-oriented #programming
Modular Object-Oriented Programming with Units and Mixins (RBF, MF), pp. 94–104.
ICGTTAGT-1998-Kuske
More About Control Conditions for Transformation Units (SK), pp. 323–337.
ICPRICPR-1998-KeeniNS #automation #classification #estimation #generative #network #using
Automatic generation of initial weights and estimation of hidden units for pattern classification using neural networks (KK, KN, HS), pp. 1568–1571.
ICPRICPR-1998-LamOX #classification #learning
Application of Bayesian Ying-Yang criteria for selecting the number of hidden units with backpropagation learning to electrocardiogram classification (WKL, NO, LX), pp. 1686–1688.
ICPRICPR-1998-Ude #estimation #optimisation
Nonlinear least squares optimisation of unit quaternion functions for pose estimation from corresponding features (AU), pp. 425–427.
ASPLOSASPLOS-1998-CitronFR #implementation #multi
Accelerating Multi-Media Processing by Implementing Memoing in Multiplication and Division Units (DC, DGF, LR), pp. 252–261.
ASPLOSASPLOS-1998-JacobM #memory management
A Look at Several Memory Management Units, TLB-Refill Mechanisms, and Page Table Organizations (BLJ, TNM), pp. 295–306.
DACDAC-1997-BeniniMP #adaptation #design #latency #pipes and filters #throughput
Telescopic Units: Increasing the Average Throughput of Pipelined Designs by Adaptive Latency Control (LB, EM, MP), pp. 22–27.
DACDAC-1997-NelsonJB #execution #verification
Formal Verification of a Superscalar Execution Unit (KLN, AJ, REB), pp. 161–166.
ICDARICDAR-1997-SrihariK #integration
Integration of hand-written address interpretation technology into the United States Postal Service Remote Computer Reader system (SNS, EJK), pp. 892–896.
ITiCSEITiCSE-WGR-1997-HallV
Computer science unit management challenges in the “enwebbed” age (MJJH, TV), pp. 137–139.
ICALPICALP-1997-Weihrauch #metric #probability #set
Computability on the Probability Measures on the Borel Sets of the Unit Interval (KW), pp. 166–176.
HCIHCI-SEC-1997-Perez-QuinonesS #architecture #composition #human-computer #programming
Modular Dialogue Units: A Software Architecture for Programming Human-Computer Dialogues (MAPQ, JLS), pp. 355–358.
AdaEuropeAdaEurope-1997-WegenerF #ada #source code
Systematic Unit-Testing of Ada Programs (JW, IF), pp. 64–75.
POPLPOPL-1997-Kennedy #parametricity #relational
Relational Parametricity and Units of Measure (AK), pp. 442–455.
AdaEuropeAdaEurope-1996-EmeryM #development #process
HCSD Unit Development Process: Step-Wise Process Improvement (DEE, JM), pp. 111–122.
ICPRICPR-1996-YeungY #clustering #segmentation #video
Time-constrained clustering for segmentation of video into story units (MMY, BLY), pp. 375–380.
ISSTAISSTA-1996-BarjaktarovicCJ #functional #kernel #protocol #specification #using #verification
Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS (MB, SKC, KJ), pp. 270–279.
ICGTTAGT-1994-KreowskiK #on the
On the Interleaving Sematics of Transformation Units — A Step into GRACE (HJK, SK), pp. 89–106.
ICGTTAGT-1994-Schurr #graph transformation
Programmed Graph Transformations and Graph Transformation Units in GRACE (AS), pp. 122–136.
AdaEuropeAdaEurope-1994-ArberetD #memory management #tool support
Test Methods and Tools for SOHO Mass Memory Unit Software (PA, LD), pp. 121–129.
KRKR-1994-Val #compilation #database #how
Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation (AdV), pp. 551–561.
HCIHCI-ACS-1993-ArthurB #performance
The Relationship Between Secretaries Opinions of Computing and Their Computer Performance Within a United Kingdom Health-Care Setting (JA, PB), pp. 362–367.
AdaEuropeAdaEurope-1992-LanderM #ada #detection #multi #problem #realtime
Detection and Avoidance of Elaboration-Time Problems for Multi-Unit Real-Time Ada Applications (LCL, SM), pp. 165–181.
CAiSECAiSE-1991-KiebackN #information management
An Organizational Information Systems Enhancement Advice Unit (OISEAU) (AK, JN), pp. 479–501.
DACDAC-1990-MaurerW #simulation
Techniques for Unit-Delay Compiled Simulation (PMM, ZW), pp. 480–484.
CSEETSEI-1990-CiochM #documentation
Use-Perspective Unit Documentation (FAC, FM), pp. 136–144.
CHICHI-1990-Barnard #bibliography #human-computer #interactive #research
Research for human-computer interaction at the MRC Applied Psychology Unit (lab review) (PJB), pp. 379–380.
DACDAC-1989-KumarKKG #automation #behaviour #synthesis
Automatic Synthesis of Microprogrammed Control Units from Behavioral Descriptions (AK, SK, PK, SG), pp. 147–154.
DACDAC-1989-WooS #adaptation #functional
A Technology-adaptive Allocation of Functional Units and Connections (NSW, HS), pp. 602–605.
CAiSECAiSE-1989-McDaniel #information management #using
Using PSL/PSA to Model Information System Planning for The United States Department of the Army Headquarters (PDM).
HTHT-1987-HammwohnerT
Content Oriented Relations between Text Units — A Structural Model for Hypertexts (RH, UT), pp. 155–174.
ECOOPECOOP-1987-MelloN #communication #prolog
Objects as Communicating Prolog Units (PM, AN), pp. 181–191.
ICLPICLP-1987-ClarkG87 #prolog
PARLOG and PROLOG United (KLC, SG), pp. 927–961.
ESOPESOP-1986-MelloN #communication #prolog #source code
Programs as Collections of Communicating Prolog Units (PM, AN), pp. 274–288.
STOCSTOC-1977-LeongS #multi #realtime #simulation
New Real-Time Simulations of Multihead Tape Units (BLL, JIS), pp. 239–248.
DACDAC-1976-HorbstPB #interactive #tool support
Engagement of interactive graphic tools in a CAD-system for digital units (EH, RP, WB), pp. 86–90.
ICALPICALP-1974-Pager #lr #on the #parsing
On Eliminating Unit Productions from LR(k) Parsers (DP), pp. 242–254.
DACDAC-1972-Oishi #problem #specification
Problem areas and the combination of wall-units to satisfy room relation specification between rooms (IO), pp. 239–249.
DACSHARE-1964-Weindling #geometry
A method for the best geometric placement of units on a plane (MNW).

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.