Stem unit$ (all stems)

339 papers:

CASE-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.

CASE-2015-YanLP #fault

A fault diagnosis method for HVAC Air Handling Units considering fault propagation (YY, PBL, KRP), pp. 961–966.

DAC-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.

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.

ITiCSE-2015-BrianTHF #debugging #student #testing

Planting Bugs: A System for Testing Students’ Unit Tests (SAB, RNT, JMH, CF), pp. 45–50.

SCAM-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.

SCAM-2015-GhafariGR #automation #identification #testing

Automatically identifying focal methods under test in unit test cases (MG, CG, KR), pp. 61–70.

ICALP-v1-2015-Cao #editing #parametricity

Unit Interval Editing is Fixed-Parameter Tractable (YC), pp. 306–317.

ICALP-v1-2015-LiJ #problem

A PTAS for the Weighted Unit Disk Cover Problem (JL, YJ), pp. 898–909.

ICFP-2015-Rossberg #ml #named

1ML — core and modules united (F-ing first-class modules) (AR), pp. 35–47.

CHI-2015-KosmallaDK #automation #metric #named #recognition #using

ClimbSense: Automatic Climbing Route Recognition using Wrist-worn Inertia Measurement Units (FK, FD, AK), pp. 2033–2042.

CHI-2015-YanHC #behaviour

Masters of Control: Behavioral Patterns of Simultaneous Unit Group Manipulation in StarCraft 2 (EQY, JH, GKC), pp. 3711–3720.

SAC-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.

SAC-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-FSE-2015-ArcuriFG #automation #generative #network #testing

Generating TCP/UDP network data for automated unit test generation (AA, GF, JPG), pp. 155–165.

ESEC-FSE-2015-DakaCFDW #modelling #readability #testing

Modeling readability to improve unit tests (ED, JC, GF, JD, WW), pp. 107–118.

ESEC-FSE-2015-Shamshiri #automation #evolution #generative #testing

Automated unit test generation for evolving software (SS), pp. 1038–1041.

ESEC-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.

CADE-2015-GorznyP #first-order #proving #towards

Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses (JG, BWP), pp. 356–366.

ICST-2015-Mirshokraie0P #automation #generative #javascript #named #testing

JSEFT: Automated Javascript Unit Test Generation (SM, AM, KP), pp. 1–10.

ISSTA-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.

ASE-2014-ArcuriFG #automation #dependence #generative #testing

Automated unit test generation for classes with environment dependencies (AA, GF, JPG), pp. 79–90.

CASE-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.

DAC-2014-KrautzPAKPB #automation #float #verification

Automatic Verification of Floating Point Units (UK, VP, AA, SK, SP, TB), 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-Matsunaga #algorithm #generative #parallel #synthesis

Synthesis algorithm of parallel index generation units (YM), pp. 1–6.

ICPC-2014-GhafariGMT #mining #recommendation #testing

Mining unit tests for code recommendation (MG, CG, AM, GT), pp. 142–145.

ICSME-2014-Ghafari #testing

Extracting Code Examples from Unit Test Cases (MG), p. 667.

STOC-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.

SEFM-2014-ChristakisMW #detection #invariant #testing

Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations (MC, PM, VW), pp. 65–80.

CAiSE-2014-RiveniTD #on the #social

On the Elasticity of Social Compute Units (MR, HLT, SD), pp. 364–378.

ICPR-2014-MavadatiM #automation #metric #modelling

Temporal Facial Expression Modeling for Automated Action Unit Intensity Measurement (SMM, MHM), pp. 4648–4653.

ICPR-2014-ZafarK #evaluation

Pain Intensity Evaluation through Facial Action Units (ZZ, NAK), pp. 4696–4701.

ICPR-2014-ZhangM14a #detection #learning #multi

Simultaneous Detection of Multiple Facial Action Units via Hierarchical Task Structure Learning (XZ, MHM), pp. 1863–1868.

ICPR-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.

KDD-2014-GhassemiNDBJRS #modelling

Unfolding physiological state: mortality modelling in intensive care units (MG, TN, FDV, NB, RJ, AR, PS), pp. 75–84.

KMIS-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.

SEKE-2014-ToureBL #metric #testing #towards

Towards a Unified Metrics Suite for JUnit Test Cases (FT, MB, LL), pp. 115–120.

AMT-2014-TisoRL #model-to-text #testing

Unit Testing of Model to Text Transformations (AT, GR, ML), pp. 14–23.

MoDELS-2014-Pazzi #behaviour #composition #modelling

Modeling Systemic Behavior by State-Based Holonic Modular Units (LP), pp. 99–115.

MoDELS-2014-Pazzi #behaviour #composition #modelling

Modeling Systemic Behavior by State-Based Holonic Modular Units (LP), pp. 99–115.

SAC-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.

SAC-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.

SAC-2014-NoureddineRS #energy #library #testing

Unit testing of energy consumption of software libraries (AN, RR, LS), pp. 1200–1205.

ICSE-2014-BellK #testing

Unit test virtualization with VMVM (JB, GEK), pp. 550–561.

ASPLOS-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.

ASPLOS-2014-WuLPKR #architecture #database #design #named

Q100: the architecture and design of a database processing unit (LW, AL, TKP, MAK, KAR), pp. 255–268.

LICS-CSL-2014-HeijltjesH #equivalence #proving

No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete (WH, RH), p. 10.

TAP-2014-JannesariKSW #classification #generative #parallel #testing

Generating Classified Parallel Unit Tests (AJ, NK, JS, FW), pp. 117–133.

ASE-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.

CASE-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.

DATE-2013-JaninBCDEGLT #design

Designing tightly-coupled extension units for the STxP70 processor (YJ, VB, HC, TD, CE, OAG, VL, TT), pp. 1052–1053.

DATE-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.

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.

SIGMOD-2013-DeWittINS

We are drowning in a sea of least publishable units (LPUs) (DJD, IFI, JFN, MS), pp. 921–922.

FASE-2013-SanthiarPK #api #mining #testing

Discovering Math APIs by Mining Unit Tests (AS, OP, AK), pp. 327–342.

CSMR-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.

CSMR-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.

ICPC-2013-KamimuraM #generative #summary #testing #towards

Towards generating human-oriented summaries of unit test cases (MK, GCM), pp. 215–218.

STOC-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.

SEFM-2013-KringsL #modelling #physics

Inferring Physical Units in B Models (SK, ML), pp. 137–151.

CHI-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.

CAiSE-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.

ICML-c1-2013-KrauseFGI #approximate

Approximation properties of DBNs with binary hidden units and real-valued visible units (OK, AF, TG, CI), pp. 419–426.

KDD-2013-AltinigneliPB #parallel #using

Massively parallel expectation maximization using graphics processing units (MCA, CP, CB), pp. 838–846.

KDIR-KMIS-2013-BerrahouBDR #documentation #how #question

How to Extract Unit of Measure in Scientific Documents? (SLB, PB, JDB, MR), pp. 249–256.

KDIR-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.

POPL-2013-UpadrastaC #scheduling #using

Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra (RU, AC), pp. 483–496.

SAC-2013-Barros #component #representation

Representing dynamic pluggable software units (FB), pp. 1006–1012.

SAC-2013-MadeoLP #gesture #rest #segmentation #using

Gesture unit segmentation using support vector machines: segmenting gestures from rest positions (RCBM, CAML, SMP), pp. 46–52.

ICSE-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.

ICSE-2013-Kuhn #interactive #live programming #on the #programming #testing

On extracting unit tests from interactive live programming sessions (AK), pp. 1241–1244.

ICST-2013-PezzeRW #effectiveness #generative #integration #testing

Generating Effective Integration Test Cases from Unit Ones (MP, KR, JW), pp. 11–20.

ICST-2013-SteenbuckF #concurrent #generative #testing

Generating Unit Tests for Concurrent Classes (SS, GF), pp. 144–153.

SAT-2013-LonsingEG #learning #performance #pseudo #quantifier

Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation (FL, UE, AVG), pp. 100–115.

DATE-2012-LiH #analysis #logic #named #performance #reliability

RAG: An efficient reliability analysis of logic circuits on graphics processing units (ML, MSH), pp. 316–319.

DATE-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.

ITiCSE-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.

ITiCSE-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.

CSMR-2012-TollO #game studies #question #why

Why is Unit-testing in Computer Games Difficult? (DT, TO), pp. 373–378.

ICSM-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.

WCRE-2012-VonkenZ #question #refactoring #testing

Refactoring with Unit Testing: A Match Made in Heaven? (FV, AZ), pp. 29–38.

ICALP-v2-2012-Vocking #multi #random

Randomized Mechanisms for Multi-unit Auctions — (Extended Abstract) (BV), pp. 27–29.

IFM-2012-AndradeFLP #generative #java #testing

Specification-Driven Unit Test Generation for Java Generic Classes (FRdA, JPF, AL, ACRP), pp. 296–311.

CSCW-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.

AdaEurope-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.

ICEIS-v1-2012-Dustdar #approach #design #novel

Design by Units — A Novel Approach for Building Elastic Systems (SD).

KMIS-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.

KR-2012-BordeauxJSM #on the #quantifier

On Unit-Refutation Complete Formulae with Existentially Quantified Variables (LB, MJ, JPMS, PM).

KR-2012-MaBL #framework

Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework (JM, SB, WL).

SAC-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.

ICSE-2012-Estefo #testing

Restructuring unit tests with TestSurgeon (PE), pp. 1632–1634.

ICSE-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.

ICLP-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.

ICST-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.

ICST-2012-GrooteOW #formal method #using

Analyzing a Controller of a Power Distribution Unit Using Formal Methods (JFG, AO, JHW), pp. 420–428.

ICST-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.

ASE-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.

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.

DATE-2011-MedwedM #detection #fault #logic

Arithmetic logic units with high error detection rates to counteract fault attacks (MM, SM), pp. 1644–1649.

DATE-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.

VLDB-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.

ITiCSE-2011-CarboneWC #student

A scheme for improving ICT units with critically low student satisfaction (AC, JW, JC), pp. 253–257.

FASE-2011-ThummalapentaMXTH #testing

Retrofitting Unit Tests for Parameterized Unit Testing (ST, MRM, TX, NT, JdH), pp. 294–309.

AGTIVE-2011-ErmlerKKT #graph transformation

From Graph Transformation Units via MiniSat to GrGen.NET (ME, HJK, SK, CvT), pp. 153–168.

CHI-2011-DenefKO #independence #monitoring

Rigid structures, independent units, monitoring: organizing patterns in frontline firefighting (SD, DVK, RO), pp. 1949–1958.

CHI-2011-MaedaHKA

“ClearPlate” for capturing printed information: a scanner and viewfinder in one optical unit (AM, KH, MK, MA), pp. 2737–2740.

DUXU-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.

HCD-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.

MoDELS-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.

MoDELS-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.

SAC-2011-ZhangWAWLL #performance #using

Fast lists intersection with Bloom filter using graphics processing units (FZ, DW, NA, GW, XL, JL), pp. 825–826.

ESEC-FSE-2011-JagannathGJLRM #parallel #testing #thread

Improved multithreaded unit testing (VJ, MG, DJ, QL, GR, DM), pp. 223–233.

ESEC-FSE-2011-MusluSW #debugging #testing

Finding bugs by isolating unit tests (KM, BS, JW), pp. 496–499.

ICSE-2011-DanielDGJJMNTM #named #testing

ReAssert: a tool for repairing broken unit tests (BD, DD, TG, VJ, JJ, DM, JN, SHT, DM), pp. 1010–1012.

ISSTA-2011-FraserZ #generative #testing

Generating parameterized unit tests (GF, AZ), pp. 364–374.

LICS-2011-Heijltjes #linear #logic #proving

Proof Nets for Additive Linear Logic with Units (WH), pp. 207–216.

SAT-2011-GableskeH #named #random #satisfiability #using

EagleUP: Solving Random 3-SAT Using SLS with Unit Propagation (OG, MH), pp. 367–368.

ASE-2010-AlmeidaMSV #framework #named #peer-to-peer #testing

PeerUnit: a framework for testing peer-to-peer systems (ECdA, JEM, GS, PV), pp. 169–170.

ASE-2010-ZhengZLX #generative #random #recommendation #sequence #testing

Random unit-test generation with MUT-aware sequence recommendation (WZ, QZ, MRL, TX), pp. 293–296.

CASE-2010-SadkiXC

Patients assignment for an oncology outpatient unit (AS, XX, FC), pp. 891–896.

DAC-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.

DAC-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.

DATE-2010-BarrioMMHM #functional #synthesis #using

Using Speculative Functional Units in high level synthesis (AADB, MCM, JMM, RH, SOM), pp. 1779–1784.

DATE-2010-Diekhoff

AUTOSAR basic software for complex control units (DD), pp. 263–266.

DATE-2010-LiZYZ #functional

Proactive NBTI mitigation for busy functional units in out-of-order microprocessors (LL, YZ, JY, JZ), pp. 411–416.

ITiCSE-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.

ICSM-2010-NasehiM #api #testing

Unit tests as API usage examples (SMN, FM), pp. 1–10.

ICSM-2010-QusefOL #testing #traceability

Recovering traceability links between unit tests and classes under test: An improved method (AQ, RO, ADL), pp. 1–10.

ILC-2010-Maraist #lisp #named #testing

NST: a unit testing system for common Lisp (JM), pp. 53–64.

ICGT-2010-KreowskiKW #graph transformation #satisfiability

Graph Transformation Units Guided by a SAT Solver (HJK, SK, RW), pp. 27–42.

CHI-2010-WilcoxLLFJ

Physician-driven management of patient progress notes in an intensive care unit (LW, JL, JCL, SF, DAJ), pp. 1879–1888.

ICML-2010-NairH #linear #strict

Rectified Linear Units Improve Restricted Boltzmann Machines (VN, GEH), pp. 807–814.

SAC-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.

SAC-2010-FacchinettiSG #design #development #embedded #metric #realtime

Design and development of a real-time embedded inertial measurement unit (TF, AS, EG), pp. 491–495.

SAC-2010-LiuJWZQ #mining

Mining preorder relation between knowledge units from text (JL, LJ, ZW, QZ, YnQ), pp. 1047–1053.

ICSE-2010-BaresiM #automation #generative #java #named #testing

TestFul: automatic unit-test generation for Java classes (LB, MM), pp. 281–284.

ICSE-2010-Rakamaric #concurrent #named #source code

STORM: static unit checking of concurrent programs (ZR), pp. 519–520.

ICSE-2010-TillmannHX #testing #theory and practice

Parameterized unit testing: theory and practice (NT, JdH, TX), pp. 483–484.

SPLC-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.

PPoPP-2010-CoonsBM #concurrent #effectiveness #library #named #testing

GAMBIT: effective unit testing for concurrency libraries (KEC, SB, MM), pp. 15–24.

ICTSS-2010-MeinkeN #approach #testing

A Learning-Based Approach to Unit Testing of Numerical Software (KM, FN), pp. 221–235.

ISSTA-2010-FraserZ #generative #testing

Mutation-driven generation of unit tests and oracles (GF, AZ), pp. 147–158.

TAP-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.

CBSE-2009-Heineman #component #dependence #testing

Unit Testing of Software Components with Inter-component Dependencies (GTH), pp. 262–273.

ASE-2009-DanielJDM #named #testing

ReAssert: Suggesting Repairs for Broken Unit Tests (BD, VJ, DD, DM), pp. 433–444.

ASE-2009-ZhangZHZM #named #testing

Jtop: Managing JUnit Test Cases in Absence of Coverage Information (LZ, JZ, DH, LZ, HM), pp. 677–679.

CASE-2009-Subrahmanian #automation #empirical #workflow

Empirical studies of workflow automation in physician offices in the United States (ES), pp. 83–87.

VLDB-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.

ITiCSE-2009-ProulxJ #java #testing

Unit testing in Java (VKP, WJ), p. 349.

CSMR-2009-RompaeyD #testing #traceability

Establishing Traceability Links between Unit Test Cases and Units under Test (BVR, SD), pp. 209–218.

ICSM-2009-ParveenTDM #distributed #execution #framework #testing #towards

Towards a distributed execution framework for JUnit test cases (TP, SRT, ND, PM), pp. 425–428.

ICSM-2009-ZhangZHZM #testing

Prioritizing JUnit test cases in absence of coverage information (LZ, JZ, DH, LZ, HM), pp. 19–28.

CIAA-2009-Savary #finite #multi #named

Multiflex: A Multilingual Finite-State Tool for Multi-Word Units (AS), pp. 237–240.

CEFP-2009-Kennedy #theory and practice

Types for Units-of-Measure: Theory and Practice (AK), pp. 268–305.

MoDELS-2009-Chimiak-Opoka #constraints #ocl

OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language (JCO), pp. 665–669.

MoDELS-2009-Chimiak-Opoka #constraints #ocl

OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language (JCO), pp. 665–669.

ESEC-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.

ICSE-2009-WlokaRT #named #testing

JUnitMX — A change-aware unit testing tool (JW, BGR, FT), pp. 567–570.

CAV-2009-HuntS #verification

Centaur Technology Media Unit Verification (WAHJ, SS), pp. 353–367.

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.

ASE-2008-JordeED #testing

Increasing Test Granularity by Aggregating Unit Tests (MJ, SGE, MBD), pp. 9–18.

ASE-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.

ASE-2008-TanejaX #automation #generative #named #testing

DiffGen: Automated Regression Unit-Test Generation (KT, TX), pp. 407–410.

CASE-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.

DAC-2008-ChongP #agile #float #generative

Rapid application specific floating-point unit generation with bit-alignment (YJC, SP), pp. 62–67.

DAC-2008-GulatiK #fault #simulation #towards #using

Towards acceleration of fault simulation using graphics processing units (KG, SPK), pp. 822–827.

CSMR-2008-LienhardGGN #execution #testing

Test Blueprint — Exposing Side Effects in Execution Traces to Support Writing Unit Tests (AL, TG, OG, ON), pp. 83–92.

ICALP-A-2008-Plaxton #performance #scheduling

Fast Scheduling of Weighted Unit Jobs with Release Times and Deadlines (CGP), pp. 222–233.

GT-VMT-2008-Gruner #graph transformation #mobile #network

Graph Transformation Model of a Triangulated Network of Mobile Units (SG).

CHI-2008-WycheAG

Re-placing faith: reconsidering the secular-religious use divide in the United States and Kenya (SW, PMA, REG), pp. 11–20.

SOFTVIS-2008-CottamHL #development #representation #scalability #testing

Representing unit test data for large scale software development (JAC, JH, AL), pp. 57–66.

EDOC-2008-Sirtl #as a service #web

Software plus Services: New IT- and Business Opportunities by Uniting SaaS, SOA and Web 2.0 (HS).

ICPR-2008-SongT #classification

C1 units for scene classification (DS, DT), pp. 1–4.

ICPR-2008-ZhangTJ #interactive

Interactive labeling of facial action units (LZ, YT, QJ), pp. 1–4.

SEKE-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.

MoDELS-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.

MoDELS-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.

TOOLS-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.

SAC-2008-Ngomo #multi

Knowledge-free discovery of domain-specific multiword units (ACNN), pp. 1561–1565.

HPDC-2008-Al-KiswanyGSYR #distributed #named

StoreGPU: exploiting graphics processing units to accelerate distributed storage systems (SAK, AG, ESN, GY, MR), pp. 165–174.

ICLP-2008-SchrijversD #community #prolog

Uniting the Prolog Community (TS, BD), pp. 7–8.

ICST-2008-MouyMWG #generative #testing

Generation of All-Paths Unit Test with Function Calls (PM, BM, NW, PLG), pp. 32–41.

ICST-2008-TanE #automation #testing

Evaluating Automated Unit Testing in Sulu (RPT, SE), pp. 62–71.

ISSTA-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.

TAP-2008-HalleuxT #testing

Parameterized Unit Testing with Pex (JdH, NT), pp. 171–181.

ASE-2007-AndrewsLM #generative #named #testing

Nighthawk: a two-level genetic-random unit test data generator (JHA, FCHL, TM), pp. 144–153.

ASE-2007-ArcuriY #source code #specification #testing

Coevolving programs and unit tests from their specification (AA, XY), pp. 397–400.

ASE-2007-LeitnerOZCM #performance #testing

Efficient unit test case minimization (AL, MO, AZ, IC, BM), pp. 417–420.

ASE-2007-PughA #concurrent #testing

Unit testing concurrent software (WP, NA), pp. 513–516.

CASE-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.

DAC-2007-PuttaswamyL #3d #scalability

Scalability of 3D-Integrated Arithmetic Units in High-Performance Microprocessors (KP, GHL), pp. 622–625.

DATE-2007-ChongP #automation #float #generative

Automatic application specific floating-point unit generation (YJC, SP), pp. 461–466.

DATE-2007-FietheMDOZ #configuration management

Reconfigurable system-on-chip data processing units for space imaging instruments (BF, HM, CD, BO, GZ), pp. 977–982.

ICDAR-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.

ILC-2007-RepenningI #lisp

X-expressions in XMLisp: S-expressions and extensible markup language unite (AR, AI), p. 23.

AGTIVE-2007-KreowskiK #community

Communities of Autonomous Units for Pickup and Delivery Vehicle Routing (HJK, SK), pp. 281–296.

HCI-IPT-2007-LeeC #design #interface #visual notation

Interface Design Technique Considering Visual Cohesion-Rate by Object Unit (CML, OBC), pp. 72–81.

HIMI-MTT-2007-ChonRL #adaptation

Converting Information Through a Complete and Minimal Unit Transcoder for QoS Adaptation (SC, DR, YL), pp. 594–603.

ICEIS-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.

SAC-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.

TAP-2007-EngelH #generative #proving #testing

Generating Unit Tests from Formal Proofs (CE, RH), pp. 169–188.

ASE-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.

DAC-2006-WuJYLT #estimation #functional

A systematic method for functional unit power estimation in microprocessors (WW, LJ, JY, PL, SXDT), pp. 554–557.

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-Muller-Glaser #design #modelling

Domain specific model driven design for automotive electronic control units (KDMG), p. 557.

DATE-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.

DATE-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.

DATE-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.

ICFP-2006-OwensF

From structures and functors to modules and units (SO, MF), pp. 87–98.

ICGT-2006-HolscherKK #semantics

Autonomous Units and Their Semantics — The Sequential Case (KH, HJK, SK), pp. 245–259.

ICPR-v3-2006-MinM #gpu

Tensor Voting Accelerated by Graphics Processing Units (GPU) (CM, GGM), pp. 1103–1106.

SIGIR-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.

ECOOP-2006-Xie #automation #testing

Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking (TX), pp. 380–403.

FSE-2006-ElbaumCDD #difference #testing

Carving differential unit test cases from system test cases (SGE, HNC, MBD, JD), pp. 253–264.

ICSE-2006-DuarteCBM #grid #named #testing

GridUnit: software testing on the grid (AD, WC, FVB, PM), pp. 779–782.

ICSE-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.

ICSE-2006-XieMY #automation #state machine

Automatic extraction of abstract-object-state machines from unit-test executions (TX, EM, HY), pp. 835–838.

LCTES-2006-MutyamLNKI #functional

Compiler-directed thermal management for VLIW functional units (MM, FL, NV, MTK, MJI), pp. 163–172.

CAV-2006-SenA #model checking #testing #tool support

CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools (KS, GA), pp. 419–423.

ISSTA-2006-Hamlet #testing

Subdomain testing of units and systems with state (DH), pp. 85–96.

SAT-2006-ManoliosZ #bibliography #implementation

Implementing Survey Propagation on Graphics Processing Units (PM, YZ), pp. 311–324.

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.

DocEng-2005-HaralambousB #injection

Injecting information into atomic units of text (YH, GB), pp. 134–142.

TACAS-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.

STOC-2005-Hallgren #algorithm #performance #quantum

Fast quantum algorithms for computing the unit group and class group of a number field (SH), pp. 468–474.

STOC-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.

ICALP-2005-ChanLW

Dynamic Bin Packing of Unit Fractions Items (WTC, TWL, PWHW), pp. 614–626.

EDOC-2005-WitthawaskulJ #modelling #transaction #using

Transaction Support Using Unit of Work Modeling in the Context of MDA (WW, REJ), pp. 131–141.

ECIR-2005-Vechtomova #information retrieval #interactive #multi

The Role of Multi-word Units in Interactive Information Retrieval (OV), pp. 403–420.

RE-2005-JordanSN #case study #evolution #requirements

The Extravehicular Mobility Unit: Case Study in Requirements Evolution (NCJ, JHS, DJN), pp. 434–438.

SAC-2005-XiaoLJ #clustering #on the #problem #scheduling

On unit task linear-nonlinear two-cluster scheduling problem (ZX, WNL, JJFJ), pp. 713–717.

ESEC-FSE-2005-SenMA #c #named #testing

CUTE: a concolic unit testing engine for C (KS, DM, GA), pp. 263–272.

ESEC-FSE-2005-TillmannS #testing

Parameterized unit tests with unit meister (NT, WS), pp. 241–244.

ESEC-FSE-2005-TillmannS05a #testing

Parameterized unit tests (NT, WS), pp. 253–262.

VMCAI-2005-ShenQL #incremental #satisfiability

Minimizing Counterexample with Unit Core Extraction and Incremental SAT (SS, YQ, SL), pp. 298–312.

ASE-2004-XieMN #detection #framework #named #object-oriented #testing

Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests (TX, DM, DN), pp. 196–205.

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-DF-2004-KruppMO #model checking #refinement

Formal Refinement and Model Checking of an Echo Cancellation Unit (AK, WM, IO), pp. 102–107.

ITiCSE-2004-FisherLS #approximate

Curve and surface interpolation and approximation: knowledge unit and software tool (JF, JLL, CKS), pp. 146–150.

ICSM-2004-GalliLNW #debugging #testing

Ordering Broken Unit Tests for Focused Debugging (MG, ML, ON, RW), pp. 114–123.

ICGT-2004-Klempien-HinrichsKK #graph transformation #type system

Typing of Graph Transformation Units (RKH, HJK, SK), pp. 112–127.

ICPR-v2-2004-IurgelR #classification #documentation #probability #using

Spoken Document Classification with SVMs Using Linguistic Unit Weighting and Probabilistic Couplers (UI, GR), pp. 667–670.

ICPR-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.

OOPSLA-2004-AllenCLMS #metric #object-oriented

Object-oriented units of measurement (EEA, DC, VL, JWM, GLSJ), pp. 384–403.

LOPSTR-2004-LauMO #composition #specification

Constructive Specifications for Compositional Units (KKL, AM, MO), pp. 198–214.

PDCL-2004-LauO #composition #development #logic #specification

Specifying Compositional Units for Correct Program Development in Computational Logic (KKL, MO), pp. 1–29.

ICSE-2004-AntoniuSKNF #correctness #source code #spreadsheet #validation

Validating the Unit Correctness of Spreadsheet Programs (TA, PAS, SK, EN, MF), pp. 439–448.

HPCA-2004-FalconRV #multi #thread

A Low-Complexity, High-Performance Fetch Unit for Simultaneous Multithreading Processors (AF, AR, MV), pp. 244–253.

CSL-2004-StrassburgerL #linear #logic #multi #on the #proving

On Proof Nets for Multiplicative Linear Logic with Units (LS, FL), pp. 145–159.

ICLP-2004-YouH #lookahead

Arc-Consistency + Unit Propagation = Lookahead (JHY, GH), pp. 314–328.

ASE-2003-RosuC #metric #safety

Certifying Measurement Unit Safety Polic (GR, FC), pp. 304–309.

ASE-2003-XieN #testing

Tool-Assisted Unit Test Selection Based on Operational Violations (TX, DN), pp. 40–48.

DATE-2003-HagaRBM #functional #power management

Dynamic Functional Unit Assignment for Low Power (SH, NR, RB, DM), pp. 11052–11057.

DATE-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.

DATE-2003-Novikov

Local Search for Boolean Relations on the Basis of Unit Propagation (YN), pp. 10810–10815.

ITiCSE-2003-PattersonKR #testing

Introducing unit testing with BlueJ (AP, MK, JR), pp. 11–15.

STOC-2003-GaoZ #composition #graph #metric

Well-separated pair decomposition for the unit-disk graph metric and its applications (JG, LZ), pp. 483–492.

SEFM-2003-DeharbeR #debugging #proving #theorem proving #verification

Light-Weight Theorem Proving for Debugging and Verifying Units of Code (DD, SR), pp. 220–228.

AGTIVE-2003-GeigerZ #graph transformation #testing

Transforming Graph Based Scenarios into Graph Transformation Based JUnit Tests (LG, AZ), pp. 61–74.

AdaEurope-2003-GreinKW #ada #bibliography #physics

A Survey of Physical Unit Handling Techniques in Ada (CG, DAK, FW), pp. 258–270.

CIKM-2003-SunL #mining #web

Web unit mining: finding and classifying subgraphs of web pages (AS, EPL), pp. 108–115.

ECOOP-2003-ScharliDNB #behaviour #composition #named

Traits: Composable Units of Behaviour (NS, SD, ON, APB), pp. 248–274.

FATES-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.

LICS-2003-HughesG #linear #logic #multi #proving

Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract) (DJDH, RJvG), pp. 1–10.

SAT-2003-BuningZ

Read-Once Unit Resolution (HKB, XZ), pp. 356–369.

SAT-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.

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.

STOC-2002-Kontogiannis #algorithm #bound #online #scheduling

Lower bounds & competitive algorithms for online scheduling of unit-size tasks to related machines (SCK), pp. 124–133.

ICGT-2002-KnirschK #distributed #graph transformation

Distributed Graph Transformation Units (PK, SK), pp. 207–222.

CIKM-2002-LiPHL #internet #using

Using micro information units for internet search (XL, THP, MH, BL), pp. 566–573.

ECOOP-2002-CheonL #approach #ml #testing

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way (YC, GTL), pp. 231–255.

FSE-2002-CobleighOWL #adaptation #architecture #composition

Containment units: a hierarchically composable architecture for adaptive systems (JMC, LJO, AEW, BSL), pp. 159–165.

CC-2002-RelePOG #functional #optimisation

Optimizing Static Power Dissipation by Functional Units in Superscalar Processors (SR, SP, SÖ, RG), pp. 261–275.

SAT-2002-HirschK #named #satisfiability

UnitWalk: A new SAT solver that uses local search guided by unit clause elimination (EH, AK), p. 38.

SAT-2002-Kusper #linear #problem #satisfiability

Solving the resolution-free SAT problem by hyper-unit propagation in linear time (GK), p. 32.

DAC-2001-BruniBB #design #statistics #synthesis

Statistical Design Space Exploration for Application-Specific Unit Synthesis (DB, AB, LB), pp. 641–646.

DATE-2001-BekooijEWB #behaviour #functional

Functional units with conditional input/output behavior in VLIW processors (MB, LJME, AvdW, NGB), p. 822.

SAT-2001-Berre #lookahead #power of

Exploiting the real power of unit propagation lookahead (DLB), pp. 59–80.

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.

ICPR-v1-2000-FaselL #process #recognition #symmetry

Recognition of Asymmetric Facial Action Unit Activities and Intensities (BF, JL), pp. 5100–5103.

ICPR-v2-2000-MesserK #algorithm #design #network #performance

Fast Unit Selection Algorithm for Neural Network Design (KM, JK), pp. 2981–2984.

ICSE-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.

HPCA-2000-MathewMCD #design #memory management #parallel

Design of a Parallel Vector Access Unit for SDRAM Memory Systems (BKM, SAM, JBC, AD), pp. 39–48.

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.

ITiCSE-1999-Taylor #education #implementation #standard #student

Implementing national educational technology standards for student in the United States (HGT), p. 200.

ICSM-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.

SAC-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.

SAC-1999-JacobsenJ #distributed #mobile #ubiquitous

Ubiquitous Devices United: Enabling Distributed Computing Through Mobile Code (KJ, DJ), pp. 399–404.

RTA-1999-FrougnyS #polynomial #term rewriting

A Rewrite System Associated with Quadratic Pisot Units (CF, JS), pp. 356–370.

ASE-1998-ChangR #automation #named #testing

ADLscope: An Automated Specification-based Unit Testing Tool (JC, DJR), pp. 289–292.

ASE-1998-ReyesR #ada #encapsulation #testing

Specification-based Testing of Ada Units with Low Encapsulation (AAR, DJR), pp. 22–31.

DAC-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.

DATE-1998-OlcozAIP

VHDL Teamwork, Organization Units and Workspace Management (SO, LA, II, OP), pp. 297–302.

DATE-1998-StrakaMVS #metric

A Fully Digital Controlled Off-Chip IDDQ Measurement Unit (BS, HARM, JV, MS), pp. 495–500.

DATE-1998-SvajdaSM #metric #named

IOCIMU — An Integrated Off-Chip IDDQ Measurement Unit (MS, BS, HARM), pp. 959–960.

HT-1998-TajimaMKT #email #query

Cut as a Querying Unit for WWW, Netnews, e-mail (KT, YM, MK, KT), pp. 235–244.

ITiCSE-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.

PLDI-1998-FlattF #named

Units: Cool Modules for HOT Languages (MF, MF), pp. 236–248.

ICFP-1998-FindlerF #composition #mixin #object-oriented #programming

Modular Object-Oriented Programming with Units and Mixins (RBF, MF), pp. 94–104.

TAGT-1998-Kuske

More About Control Conditions for Transformation Units (SK), pp. 323–337.

ICPR-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.

ICPR-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.

ICPR-1998-Ude #estimation #optimisation

Nonlinear least squares optimisation of unit quaternion functions for pose estimation from corresponding features (AU), pp. 425–427.

ASPLOS-1998-CitronFR #implementation #multi

Accelerating Multi-Media Processing by Implementing Memoing in Multiplication and Division Units (DC, DGF, LR), pp. 252–261.

ASPLOS-1998-JacobM #memory management

A Look at Several Memory Management Units, TLB-Refill Mechanisms, and Page Table Organizations (BLJ, TNM), pp. 295–306.

DAC-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.

DAC-1997-NelsonJB #execution #verification

Formal Verification of a Superscalar Execution Unit (KLN, AJ, REB), pp. 161–166.

ICDAR-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.

ITiCSE-WGR-1997-HallV

Computer science unit management challenges in the “enwebbed” age (MJJH, TV), pp. 137–139.

ICALP-1997-Weihrauch #metric #probability #set

Computability on the Probability Measures on the Borel Sets of the Unit Interval (KW), pp. 166–176.

HCI-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.

AdaEurope-1997-WegenerF #ada #source code

Systematic Unit-Testing of Ada Programs (JW, IF), pp. 64–75.

POPL-1997-Kennedy #parametricity #relational

Relational Parametricity and Units of Measure (AK), pp. 442–455.

AdaEurope-1996-EmeryM #development #process

HCSD Unit Development Process: Step-Wise Process Improvement (DEE, JM), pp. 111–122.

ICPR-1996-YeungY #clustering #segmentation #video

Time-constrained clustering for segmentation of video into story units (MMY, BLY), pp. 375–380.

ISSTA-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.

TAGT-1994-KreowskiK #on the

On the Interleaving Sematics of Transformation Units — A Step into GRACE (HJK, SK), pp. 89–106.

TAGT-1994-Schurr #graph transformation

Programmed Graph Transformations and Graph Transformation Units in GRACE (AS), pp. 122–136.

AdaEurope-1994-ArberetD #memory management #tool support

Test Methods and Tools for SOHO Mass Memory Unit Software (PA, LD), pp. 121–129.

KR-1994-Val #compilation #database #how

Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation (AdV), pp. 551–561.

HCI-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.

AdaEurope-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.

CAiSE-1991-KiebackN #information management

An Organizational Information Systems Enhancement Advice Unit (OISEAU) (AK, JN), pp. 479–501.

DAC-1990-MaurerW #simulation

Techniques for Unit-Delay Compiled Simulation (PMM, ZW), pp. 480–484.

SEI-1990-CiochM #documentation

Use-Perspective Unit Documentation (FAC, FM), pp. 136–144.

CHI-1990-Barnard #bibliography #human-computer #interactive #research

Research for human-computer interaction at the MRC Applied Psychology Unit (lab review) (PJB), pp. 379–380.

DAC-1989-KumarKKG #automation #behaviour #synthesis

Automatic Synthesis of Microprogrammed Control Units from Behavioral Descriptions (AK, SK, PK, SG), pp. 147–154.

DAC-1989-WooS #adaptation #functional

A Technology-adaptive Allocation of Functional Units and Connections (NSW, HS), pp. 602–605.

CAiSE-1989-McDaniel #information management #using

Using PSL/PSA to Model Information System Planning for The United States Department of the Army Headquarters (PDM).

HT-1987-HammwohnerT

Content Oriented Relations between Text Units — A Structural Model for Hypertexts (RH, UT), pp. 155–174.

ECOOP-1987-MelloN #communication #prolog

Objects as Communicating Prolog Units (PM, AN), pp. 181–191.

ICLP-1987-ClarkG87 #prolog

PARLOG and PROLOG United (KLC, SG), pp. 927–961.

ESOP-1986-MelloN #communication #prolog #source code

Programs as Collections of Communicating Prolog Units (PM, AN), pp. 274–288.

STOC-1977-LeongS #multi #realtime #simulation

New Real-Time Simulations of Multihead Tape Units (BLL, JIS), pp. 239–248.

DAC-1976-HorbstPB #interactive #tool support

Engagement of interactive graphic tools in a CAD-system for digital units (EH, RP, WB), pp. 86–90.

ICALP-1974-Pager #lr #on the #parsing

On Eliminating Unit Productions from LR(k) Parsers (DP), pp. 242–254.

DAC-1972-Oishi #problem #specification

Problem areas and the combination of wall-units to satisfy room relation specification between rooms (IO), pp. 239–249.

SHARE-1964-Weindling #geometry

A method for the best geometric placement of units on a plane (MNW).