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:
system (30)
autom (23)
self (22)
base (22)
code (21)

Stem assembl$ (all stems)

239 papers:

CASECASE-2015-ChenH #assembly #automation #distributed #petri net #using
Maximally permissive distributed control of automated manufacturing systems with assembly operations using Petri nets (CC, HH), pp. 532–538.
CASECASE-2015-FerrerALVLH #approach #assembly #automation #process
An approach for knowledge-driven product, process and resource mappings for assembly automation (BRF, BA, AL, DAV, JLML, RH), pp. 1104–1109.
CASECASE-2015-SaksenaNKK #2d #assembly #automation #parametricity #using
Automatic tuning of impedance parameter using configuration space for two dimensional assembly system (AS, TN, JK, KK), pp. 1110–1117.
CASECASE-2015-SchletteR #assembly
Utilization of motion planning strategies for micro-optical assembly (CS, JR), pp. 781–786.
CASECASE-2015-ThomasSR #assembly #flexibility #sequence
Flexible assembly through integrated assembly sequence planning and grasp planning (UT, TS, MAR), pp. 586–592.
CASECASE-2015-YangH0 #assembly #automation #distributed #petri net
A Petri net-based distributed control of automated manufacturing systems with assembly operations (YY, HH, YL), pp. 1090–1097.
DACDAC-2015-WangHWLL #assembly #memory management #named
RADAR: a case for retention-aware DRAM assembly and repair in future FGR DRAM memory (YW, YH, CW, HL, XL), p. 6.
DACDAC-2015-XiaoGWYTW #layout #optimisation #self #verification
Layout optimization and template pattern verification for directed self-assembly (DSA) (ZX, DG, MDFW, HY, MCT, HSPW), p. 6.
LATALATA-2015-CazauxLR #assembly #graph
Construction of a de Bruijn Graph for Assembly from a Truncated Suffix Tree (BC, TL, ER), pp. 109–120.
HCIHIMI-IKD-2015-WongwichaiT #assembly #comprehension
An Observation of Human Comprehension Through Wood Joints Assembly of a Cube Puzzle (TW, TT), pp. 668–677.
KDDKDD-2015-ZhangZMH #assembly #co-evolution #named #performance
Assembler: Efficient Discovery of Spatial Co-evolving Patterns in Massive Geo-sensory Data (CZ, YZ, XM, JH), pp. 1415–1424.
PPoPPPPoPP-2015-ThebaultPD #3d #assembly #case study #implementation #matrix #performance #scalability
Scalable and efficient implementation of 3d unstructured meshes computation: a case study on matrix assembly (LT, EP, QD), pp. 120–129.
CASECASE-2014-CanaliCCSEC #assembly #automation #detection #industrial
An automatic assembly parts detection and grasping system for industrial manufacturing (CC, FC, FC, GS, AE, DGC), pp. 215–220.
CASECASE-2014-DingSM #assembly #case study #industrial
Optimized task distribution for industrial assembly in mixed human-robot environments — Case study on IO module assembly (HD, MS, BM), pp. 19–24.
CASECASE-2014-LiWGC #assembly #case study
A pilot study of dual 7-axis -arm robot in small part assembly application (QL, GW, HG, ZC), pp. 196–201.
CASECASE-2014-WahrburgZMD #assembly #estimation #using
Contact force estimation for robotic assembly using motor torques (AW, SZ, BM, HD), pp. 1252–1257.
DACDAC-2014-XiaoDTWYWZ #self #verification
Directed Self-Assembly (DSA) Template Pattern Verification (ZX, YD, HT, MDFW, HY, HSPW, HZ), p. 6.
ICALPICALP-v1-2014-DemaineDFPSWW #assembly #simulation
One Tile to Rule Them All: Simulating Any Tile Assembly System with a Single Universal Tile (EDD, MLD, SPF, MJP, RTS, AW, DW), pp. 368–379.
CHICHI-2014-RoudautRHS #assembly #design #named
Changibles: analyzing and designing shape changing constructive assembly (AR, RR, TH, SS), pp. 2593–2596.
HCIHCI-AS-2014-BovetR #experience #game studies
Assembling the Collective Experience of a Serious Game Mediation as an Interactional Practice (AB, MR), pp. 571–580.
VISSOFTVISSOFT-2014-ToprakWS #assembly #control flow #lightweight #regular expression #visualisation
Lightweight Structured Visualization of Assembler Control Flow Based on Regular Expressions (ST, AW, SS), pp. 97–106.
SACSAC-2014-HuangYKYLYGFQ #analysis #clustering #self
Diffusion-based clustering analysis of coherent X-ray scattering patterns of self-assembled nanoparticles (HH, SY, KK, KGY, FL, DY, OG, AF, HQ), pp. 85–90.
SLESLE-2014-TisiJDSC #assembly #model transformation
fUML as an Assembly Language for Model Transformation (MT, FJ, JD, ZS, HC), pp. 171–190.
CASECASE-2013-ChenCLZZF #assembly #automation #performance #process
Performance improvement for high accuracy assembly process in manufacturing automation (HC, HC, JL, BZ, GZ, TAF), pp. 540–545.
CASECASE-2013-MoubarakAB #composition #configuration management #multi #scheduling
Reconfiguring a modular robot into a humanoid formation: A multi-body dynamic perspective on motion scheduling for modules and their assemblies (PMM, EJA, PBT), pp. 687–692.
CASECASE-2013-NammotoKH #assembly #modelling #using
Model-based compliant motion control scheme for assembly tasks using vision and force information (TN, KK, KH), pp. 948–953.
CASECASE-2013-SaricXS #assembly
Robotic surface assembly via contact state transitions (AS, JX, JS), pp. 954–959.
CASECASE-2013-SeoYK #assembly #composition
Assembly planning for planar structures of a brick wall pattern with rectangular modular robots (JS, MY, VK), pp. 1016–1021.
CASECASE-2013-SinhaK #constraints #policy
Production and subcontracting policies for assemble-to-order systems with service level constraints (AKS, AK), pp. 570–575.
CASECASE-2013-YueH13a #assembly #concurrent #petri net #policy #polynomial #process
A polynomial deadlock avoidance policy for a class of assembly processes based on Petri nets (HY, HH), pp. 1151–1156.
CASECASE-2013-ZhaoLL #assembly
Dynamic production control of door manufacturing line at an automotive assembly plant (CZ, YL, JL), pp. 398–403.
SCAMSCAM-2013-Ward #assembly
Assembler restructuring in FermaT (MW), pp. 147–156.
ICALPICALP-v1-2013-DemainePRSSW #assembly
The Two-Handed Tile Assembly Model Is Not Intrinsically Universal (EDD, MJP, TAR, RTS, SMS, DW), pp. 400–412.
PPDPPPDP-2013-KennedyBJD #assembly #coq #metaprogramming #named #question
Coq: the world’s best macro assembler? (AK, NB, JBJ, PÉD), pp. 13–24.
ICSEICSE-2013-BoyerGP #component #configuration management #robust
Robust reconfigurations of component assemblies (FB, OG, DP), pp. 13–22.
ASPLOSASPLOS-2013-SchulteDWF #assembly #automation #embedded #source code
Automated repair of binary and assembly programs for cooperating embedded devices (EMS, JD, WW, SF), pp. 317–328.
CASECASE-2012-ChoiFN #analysis #assembly
Vibration analysis in robotic ultrasonic welding for battery assembly (SC, TAF, SN), pp. 550–554.
CASECASE-2012-DoPK
Dual arm robot for packaging and assembling of IT products (HD, CP, JHK), pp. 1067–1070.
CASECASE-2012-LangC0W #3d #assembly #injection
Injection system for cellular assembly of 3D bio-tissue engineered constructs (ML, XC, WW, TBFW), pp. 291–296.
CASECASE-2012-LeeKLYBM #3d #automation #visual notation
3D visual perception system for bin picking in automotive sub-assembly automation (SL, JK, ML, KY, LGB, RM), pp. 706–713.
CASECASE-2012-LuiP #assembly #difference #evolution #flexibility #scheduling #using
Scheduling Flexible Assembly Lines using variants of Differential Evolution (WHVL, SGP), pp. 594–599.
CASECASE-2012-NilakantanP #assembly #performance #problem
An efficient PSO for type II robotic assembly line balancing problem (JMN, SGP), pp. 600–605.
CASECASE-2012-YouKLKLH #algorithm #assembly #development
Development of manipulation planning algorithm for a dual-arm robot assembly task (JSY, DHK, SJL, SPK, JYL, CSH), pp. 1061–1066.
WRLAWRLA-2012-BruniCGLV #adaptation #maude #modelling #self
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude (RB, AC, FG, ALL, AV), pp. 118–138.
CSMRCSMR-2012-DavisGHMM #assembly #experience #industrial
Analyzing Assembler to Eliminate Dead Functions: An Industrial Experience (IJD, MWG, RCH, SM, NM), pp. 467–470.
WCREWCRE-2012-ClearySCSP #analysis #assembly #named
ATLANTIS — Assembly Trace Analysis Environment (BC, MADS, LC, MS, FP), pp. 505–506.
ICALPICALP-v1-2012-FuPSS #geometry #self
Self-assembly with Geometric Tiles (BF, MJP, RTS, RS), pp. 714–725.
SEFMSEFM-2012-PaulSS #assembly #automation #verification
Completing the Automated Verification of a Small Hypervisor — Assembler Code Verification (WJP, SS, AS), pp. 188–202.
SACSAC-2012-AkessonHRM #pervasive
Instance-aware assemblies of services in pervasive computing (, GH, SGR, BM), pp. 1554–1556.
ICSEICSE-2012-LutzLLKHMS #programmable #requirements #self #verification
Engineering and verifying requirements for programmable self-assembling nanomachines (RRL, JHL, JIL, TK, EH, DM, DAS), pp. 1361–1364.
CASECASE-2011-RakotondrabeHCL #assembly #automation
Automation of assembly and packaging at the micro/nano-scale (MR, YH, CC, PL), pp. 1–5.
SCAMSCAM-2011-CooganD #assembly #equation #reasoning
Equational Reasoning on x86 Assembly Code (KC, SKD), pp. 75–84.
SASSAS-2011-FlexederPS #analysis #assembly
Side-Effect Analysis of Assembly Code (AF, MP, HS), pp. 77–94.
CHICHI-2011-McLoughlinC #assembly #design
Design interventions for open-air museums: applying and extending the principles of “assembly” (MM, LC), pp. 553–556.
HCIIDGD-2011-YuZLXW #assembly
Motion Control with Intentions for Virtual Assembly (JY, DZ, CL, SX, ZW), pp. 248–257.
POPLPOPL-2011-HurD #assembly #logic #ml
A kripke logical relation between ML and assembly (CKH, DD), pp. 133–146.
ASEASE-2010-SchulteFW #assembly #automation #evolution #program repair
Automated program repair through the evolution of assembly code (ES, SF, WW), pp. 313–316.
CASECASE-2010-ChangJZ #assembly #hybrid
Hybrid micro assembly of microchips on segmented patterns (BC, MJ, QZ), pp. 15–20.
CASECASE-2010-ChoiEF #assembly #automation #industrial #roadmap
Trends and opportunities for robotic automation of trim & final assembly in the automotive industry (SC, WE, TAF), pp. 124–129.
CASECASE-2010-HuZLW #assembly #automation #concurrent #flexibility
Deadlock-free control of ratio-enforced automated manufacturing systems with flexible routes and assembly operations (HH, MZ, ZL, NW), pp. 459–464.
CASECASE-2010-JingL #assembly #hybrid #scheduling
A MILP-based batch scheduling for two-stage hybrid flowshop with sequence-dependent setups in semiconductor assembly and test manufacturing (XJ, ZL), pp. 87–92.
CASECASE-2010-KrishnanSPW
Durability studies of PBI-based membrane elect rode assemblies for high temperature PEMFCs (LK, TS, RP, DW), pp. 21–26.
CASECASE-2010-LangWCW #3d #assembly
Integrated system for 3D assembly of bio-scaffolds and cells (ML, WW, XC, TBFW), pp. 786–791.
CASECASE-2010-RodriguezBMRW #analysis #assembly #detection
Failure detection in assembly: Force signature analysis (AR, DB, MTM, GFR, JW), pp. 210–215.
CASECASE-2010-WangKF #approach #assembly #hybrid #layout
A hybrid approach for dynamic assembly shop floor layout (LW, SK, HYF), pp. 604–609.
DATEDATE-2010-MoyerKCRHT #assembly #question
Are we there yet? Has IP block assembly become as easy as LEGO? (BM, JK, JC, CR, EH, YT), p. 123.
WCREWCRE-2010-DavisG #assembly #detection #source code
From Whence It Came: Detecting Source Code Clones by Analyzing Assembler (IJD, MWG), pp. 242–246.
PLDIPLDI-2010-TateCH #assembly #object-oriented
Inferable object-oriented typed assembly language (RT, JC, CH), pp. 424–435.
CIAACIAA-2010-Jonoska #automaton #self #using
Using Automata to Describe Self-Assembled Nanostructures (NJ), pp. 1–3.
ICEISICEIS-AIDSS-2010-SantosBC #composition #concept #named #ontology #plugin
FONTE — A Protégé Plugin for Engineering Complex Ontologies by Assembling Modular Ontologies of Space, Time and Domain Concepts (JS, LB, AGC), pp. 93–102.
OOPSLAOOPSLA-2010-Kell #adaptation #assembly #component #interface #using
Component adaptation and assembly using interface relations (SK), pp. 322–340.
ICLPICLP-J-2010-PaluDFP #assembly
CLP-based protein fragment assembly (ADP, AD, FF, EP), pp. 709–724.
CASECASE-2009-BermanK #abstraction #algorithm #assembly #scalability
Abstractions and algorithms for assembly tasks with large numbers of robots and parts (SB, VK), pp. 25–28.
CASECASE-2009-ChouguleC #assembly #ontology
Application of ontology guided search for improved equipment diagnosis in a vehicle assembly plant (RC, SC), pp. 90–95.
CASECASE-2009-KhawP #assembly #multi #optimisation #problem
Multi-rule multi-objective Ant Colony Optimization for straight and U-type assembly line balancing problem (CLEK, SGP), pp. 177–182.
CASECASE-2009-LeCS #approach #assembly
A path planning approach to (dis)assembly sequencing (DTL, JC, TS), pp. 286–291.
CASECASE-2009-WichESF #assembly #automation
Micro-nano-integration based on automated serial assembly (TW, CE, CS, SF), pp. 573–578.
DATEDATE-2009-GarciaO #embedded #fault #information management #self
Making DNA self-assembly error-proof: Attaining small growth error rates through embedded information redundancy (SG, AO), pp. 898–901.
ICALPICALP-v1-2009-ChandranGR #complexity #linear
The Tile Complexity of Linear Assemblies (HC, NG, JHR), pp. 235–253.
LATALATA-2009-BonizzoniFMM
Picture Languages Generated by Assembling Tiles (PB, CF, ARSM, GM), pp. 224–235.
HCIHCD-2009-MayerOFNKKS #assembly #self
Cognitive Engineering for Direct Human-Robot Cooperation in Self-optimizing Assembly Cells (MPM, BO, MF, JN, WK, BK, CMS), pp. 1003–1012.
ICEISICEIS-AIDSS-2009-TsengCH #approach #assembly #multi #sequence #using
A Decision Support System for Multi-plant Assembly Sequence Planning using a PSO Approach (YJT, JYC, FYH), pp. 124–129.
ICEISICEIS-J-2009-BacarinMM #contract #multi
Assembling and Managing Virtual Organizations out of Multi-party Contracts (EB, ERMM, CBM), pp. 758–769.
OOPSLAOOPSLA-2009-LublinermanCC #parallel #programming
Parallel programming with object assemblies (RL, SC, PC), pp. 61–80.
SACSAC-2009-ManuchSS #bound #self
Two lower bounds for self-assemblies at temperature 1 (JM, LS, CS), pp. 808–809.
CASECASE-2008-DasSPS #aspect-oriented #assembly #hybrid #on the #precise
On the precision alignment and hybrid assembly aspects in manufacturing of a microspectrometer (AND, JS, DOP, HES), pp. 959–966.
CASECASE-2008-HeribanTGF #behaviour
Improving rotation behaviour of robotic structures for micro-assembly (DH, AT, MG, GF), pp. 983–988.
CASECASE-2008-HuangK #analysis #assembly #design #evaluation #multi #process
Process capability sensitivity analysis for design evaluation of multi station assembly systems (WH, ZK), pp. 400–405.
CASECASE-2008-KangXWW #assembly #scheduling
A swarm-dynamic scheduling method for semiconductor assembly production line (QK, HX, LW, QW), pp. 91–96.
CASECASE-2008-KimSEP #component #scalability #self
Large scale self-assembly of crystalline semiconductor microcomponents onto plastic substrates via microfluidic traps (SSK, ES, JRE, BAP), pp. 967–970.
CASECASE-2008-SharmaBDC #assembly #generative #optimisation #sequence #using
Generation of optimized robotic assembly sequence using ant colony optimization (SS, BBB, PD, BBC), pp. 894–899.
CASECASE-2008-SoetebierMMKL #assembly #automation #flexibility
Flexible automation for automotive body assembly (SS, CHM, NM, SK, FL), pp. 341–346.
DATEDATE-2008-FrechetteL #algorithm #detection #fault #self
Error Detection/Correction in DNA Algorithmic Self-Assembly (SF, FL), pp. 1079–1082.
HTHT-2008-MarkinesRM #assembly #network #performance #semantics #social
Efficient assembly of social semantic networks (BM, HR, FM), pp. 149–156.
SCAMSCAM-2008-FehnkerHRS #assembly #embedded #program analysis
Some Assembly Required — Program Analysis of Embedded System Code (AF, RH, FR, SS), pp. 15–24.
AFLAFL-2008-Petre #assembly
Mathematics of gene assembly in ciliates (Abstract) (IP), pp. 54–55.
ICALPICALP-A-2008-KaoS #approximate #random #self
Randomized Self-assembly for Approximate Shapes (MYK, RTS), pp. 370–384.
LATALATA-2008-Becker #self
Transformations and Preservation of Self-assembly Dynamics through Homotheties (FB), pp. 101–112.
LATALATA-2008-BrijderH #assembly #graph
Extending the Overlap Graph for Gene Assembly in Ciliates (RB, HJH), pp. 137–148.
GT-VMTGT-VMT-2006-SiikarlaS08 #assembly
Transformational Pattern System — Some Assembly Required (MS, TS), pp. 63–74.
ICEISICEIS-AIDSS-2008-TsengKH #approach #assembly #using
A Decision Support System for Integrated Assembly and Disassembly Planning Using a GA Approach (YJT, HTK, FYH), pp. 348–355.
ICPRICPR-2008-MurakamiTSM #assembly
Assembly of puzzles by connecting between blocks (TM, FT, KS, JM), pp. 1–4.
CASECASE-2007-BoettnerCJ #assembly #collaboration #framework
An Advanced Collaborative Framework for Micro Assembly (SSB, JC, YJ), pp. 806–811.
CASECASE-2007-GuHSX #assembly #estimation #problem
Assembly Line Balancing Problems Solved by Estimation of Distribution (LG, SH, AS, XX), pp. 123–127.
CASECASE-2007-PopaLMDS #assembly #automation
High Yield Automated MEMS Assembly (DOP, WHL, RM, AND, HES), pp. 1099–1104.
CASECASE-2007-SaeediKEMP #automation #process #self
Automation and yield of micron-scale self-assembly processes (ES, SSK, JRE, DRM, BAP), pp. 375–380.
CASECASE-2007-WasonGWGD #multi
Multi-Probe Micro-Assembly (JDW, WG, JTW, JG, NGD), pp. 63–68.
DATEDATE-2007-JangKL #fault #profiling #reduction #self
Error rate reduction in DNA self-assembly by non-constant monomer concentrations and profiling (BJ, YBK, FL), pp. 847–852.
HTHT-2007-Losh #assembly #generative #web
Assembly lines: web generators as hypertexts (EML), pp. 115–122.
PLDIPLDI-2007-Chlipala #assembly #compilation #λ-calculus
A certified type-preserving compiler from λ calculus to assembly language (AC), pp. 54–65.
PLDIPLDI-2007-PerryMRLAW #assembly #fault tolerance
Fault-tolerant typed assembly language (FP, LWM, GAR, JL, DIA, DW), pp. 42–53.
DLTDLT-2007-BrijderH #assembly #graph #reduction
Characterizing Reduction Graphs for Gene Assembly in Ciliates (RB, HJH), pp. 120–131.
AGTIVEAGTIVE-2007-AnandK #assembly #generative #graph transformation
Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code (CKA, WK), pp. 217–232.
HCIDHM-2007-MavrikiosPKKC #assembly #evaluation
Digital Humans for Virtual Assembly Evaluation (DM, MP, MK, VK, GC), pp. 939–948.
ICSEICSE-2007-AutiliINT #automation #component #distributed #named #synthesis
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems (MA, PI, AN, MT), pp. 784–787.
ISSTAISSTA-2007-ManoliosVS #assembly #automation #component
Automating component-based system assembly (PM, DV, GS), pp. 61–72.
CBSECBSE-2006-GrondinBV #automation #component #named
MaDcAr: An Abstract Model for Dynamic and Automatic (Re-)Assembling of Component-Based Applications (GG, NB, LV), pp. 360–367.
CBSECBSE-2006-Hamlet #assembly #predict
Defining “Predictable Assembly” (DH), pp. 320–327.
QoSAQoSA-2006-AstudilloPL #component #off the shelf
Evaluating Alternative COTS Assemblies from Imperfect Component Information (HA, JP, CL), pp. 27–42.
ASEASE-2006-Maurer #assembly
The Rearranger — A New Assembler Utility (WDM), pp. 357–358.
CASECASE-2006-CapachoPGD #assembly #heuristic #problem
Heuristic Methods to Solve the Alternative Subgraphs Assembly Line Balancing Problem (LC, RP, OG, AD), pp. 501–506.
CASECASE-2006-CvetanovicCAGB #component #novel
A Novel Protective Cover in Assembling of Micro Components in a SEM Chamber (AC, AC, DA, IG, WB), pp. 242–246.
CASECASE-2006-NarayanasamyCT #assembly #framework
The Creation of an Information Based Manufacturing Framework for micro devices assembly: A discussion of the path planning and virtual assembly modules (GN, JC, AT), pp. 490–495.
CASECASE-2006-PonnambalamSSG #algorithm #assembly #parallel #search-based
PARALLEL POPULATIONS GENETIC ALGORITHM FOR MINIMIZING ASSEMBLY VARIATION IN SELECTIVE ASSEMBLY (SGP, SSS, SS, MG), pp. 496–500.
CASECASE-2006-SweatNZZZ #assembly #capacity #multi
Multi-factory capacity planning in semiconductor assembly and test manufacturing with multiple-chip products (SS, SN, MTZ, ZZ, LZ), pp. 247–252.
CASECASE-2006-ZhangCVJG #assembly #modelling
Modeling of van der Waals Forces during the Assembly of Micro Devices (LZ, JC, DV, JJ, BG), pp. 484–489.
DACDAC-2006-PistolLD #automation #design #self
Design automation for DNA self-assembled nanostructures (CP, ARL, CD), pp. 919–924.
ESOPESOP-2006-YuI #assembly
A Typed Assembly Language for Confidentiality (DY, NI), pp. 162–179.
PLDIPLDI-2006-FengSVXN #abstraction #assembly #composition #verification
Modular verification of assembly code with stack-based control abstractions (XF, ZS, AV, SX, ZN), pp. 401–414.
CIAACIAA-2006-Rozenberg #assembly
Theory Inspired by Gene Assembly in Ciliates (GR), p. 10.
ICPRICPR-v3-2006-SagirogluE #approach #assembly #automation
A Texture Based Matching Approach for Automated Assembly of Puzzles (MSS, AE), pp. 1036–1041.
ICPRICPR-v4-2006-FengI #3d #segmentation #statistics
A Statistical Assembled Model for Segmentation of Entire 3D Vasculature (JJF, HHSI), pp. 95–98.
POPLPOPL-2006-NiS #assembly #embedded #pointer #programming
Certified assembly programming with embedded code pointers (ZN, ZS), pp. 320–333.
SACSAC-2006-Beugnard #assembly #component #empirical #encapsulation
Method overloading and overriding cause encapsulation flaw: an experiment on assembly of heterogeneous components (AB), pp. 1424–1428.
CCCC-2006-DiasR #assembly #declarative #using
Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions (JD, NR), pp. 217–231.
CASECASE-2005-TsinarakisTV #hybrid #multi #petri net
Studying multi-assembly machine production systems with hybrid timed Petri nets (GJT, NT, KPV), pp. 327–332.
CASECASE-2005-ZhangFZ #assembly #capacity #modelling #multi #workflow
Dynamic capacity modeling with multiple re-entrant workflows in semiconductor assembly manufacturing (MTZ, JF, EZ), pp. 160–165.
SCAMSCAM-2005-BermudoKH #assembly #control flow #graph #re-engineering #source code
Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions (NB, AK, RNH), pp. 107–118.
WCREWCRE-2005-CaretteC #assembly #legacy
Symbolic Interpretation of Legacy Assembly Language (JC, PKC), pp. 23–32.
SASSAS-2005-HarrenN #assembly #dependent type #safety #using
Using Dependent Types to Certify the Safety of Assembly Code (MH, GCN), pp. 155–170.
ICFPICFP-2005-FengS #assembly #composition #concurrent #termination #thread #verification
Modular verification of concurrent assembly code with dynamic thread creation and termination (XF, ZS), pp. 254–267.
SEKESEKE-2005-IngstrupH #composition #ubiquitous
Palpable Assemblies: Dynamic Service Composition for Ubiquitous Computing (MI, KMH), pp. 632–638.
CBSECBSE-2004-SimonsS #assembly #exception #named #robust
CMEH: Container Managed Exception Handling for Increased Assembly Robustness (KS, JAS), pp. 122–129.
CBSECBSE-2004-TivoliIPFS #assembly #component #data transformation
Correct Components Assembly for a Product Data Management Cooperative System (MT, PI, VP, AF, MS), pp. 84–99.
DACDAC-2004-SchueleS #abstraction #analysis #assembly #execution #source code
Abstraction of assembler programs for symbolic worst case execution time analysis (TS, KS), pp. 107–112.
DATEDATE-2005-MacBethHG04a #assembly #verification
An Assembler Driven Verification Methodology (ADVM) (JSM, DH, KG), pp. 278–283.
ICSMEICSM-2004-WardZH #assembly #legacy #migration #re-engineering
Legacy Assembler Reengineering and Migration (MPW, HZ, TH), pp. 157–166.
PASTEPASTE-2004-Martel #assembly #source code #validation
Validation of assembler programs for DSPs: a static analyzer (MM), pp. 8–13.
CIAACIAA-2004-Cojocaru #assembly #process #simulation
Simulating the Process of Gene Assembly in Ciliates (LC), pp. 308–309.
ICFPICFP-2004-YuS #assembly #concurrent #safety #verification
Verification of safety properties for concurrent assembly code (DY, ZS), pp. 175–188.
CHICHI-2004-RafflePI #assembly #memory management #named
Topobo: a constructive assembly system with kinetic memory (HR, AJP, HI), pp. 647–654.
CSCWCSCW-2004-WinbergB #design #interface #towards #visual notation
Assembling the senses: towards the design of cooperative interfaces for visually impaired users (FW, JB), pp. 332–341.
ICEISICEIS-v5-2004-SooC #3d #assembly #case study #interactive
Interactive 3D Product Assembler for the WWW — A Case Study of a 3D Furniture Store (SMKS, SCfC), pp. 126–133.
GPCEGPCE-2004-Greenfield #framework #modelling #tool support
Software Factories: Assembling Applications with Patterns, Models, Frameworks and Tools (JG), p. 488.
ICSEICSE-2004-AkgulMP #assembly #execution #performance #slicing
A Fast Assembly Level Reverse Execution Method via Dynamic Slicing (TA, VJMI, SP), pp. 522–531.
SPLCSPLC-2004-Greenfield #framework #modelling #tool support
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools (JG), p. 304.
SPLCSPLC-2004-Greenfield04a #domain-specific language #framework #tool support #using
Using Domain-Specific Languages, Patterns, Frameworks, and Tools to Assemble Applications (JG), p. 324.
VMCAIVMCAI-2004-TanASW #assembly #semantics
Construction of a Semantic Model for a Typed Assembly Language (GT, AWA, KNS, DW), pp. 30–43.
ICSMEICSM-2003-Gergic #assembly #component #towards #version control
Towards a Versioning Model for Component-based Software Assembly (JG), pp. 138–147.
SEFMSEFM-2003-WatsonF #assembly #modelling #semantics #source code
A Partial-Correctness Semantics for Modelling Assembler Programs (GW, CJF), pp. 82–90.
SFMSFM-2003-InverardiT #architecture #assembly #component
Software Architecture for Correct Components Assembly (PI, MT), pp. 92–121.
CHICHI-2003-TangOBM #artificial reality #assembly #comparative #effectiveness
Comparative effectiveness of augmented reality in object assembly (AT, CBO, FB, WM), pp. 73–80.
POPLPOPL-2003-Crary #assembly #towards
Toward a foundational typed assembly language (KC), pp. 198–212.
VMCAIVMCAI-2003-Rival #abstract interpretation #assembly #certification
Abstract Interpretation-Based Certification of Assembly Code (XR), pp. 41–55.
CBSECBSE-2002-CrnkovicSSW #assembly #predict #research
Anatomy of a Research Project in Predictable Assembly (IC, HS, JS, KW), p. 1.
CBSECBSE-2002-InverardiT #approach #architecture #assembly #automation #component #off the shelf
Correct and automatic assembly of COTS components: an architectural approach (PI, MT), p. 3.
CBSECBSE-2002-MorenoHW #component #empirical #modelling #predict #standard #statistics #towards
Statistical Models for Empirical Component Properties and Assembly-Level Property Predictions: Toward Standard Labeling (GM, SH, KW), p. 10.
CBSECBSE-2003-InverardiT #assembly #component #composition #synthesis
A compositional synthesis of failure-free connectors for correct components assembly (PI, MT), p. 17.
DocEngDocEng-2002-LehtonenPHL #assembly #documentation #user interface
A dynamic user interface for document assembly (ML, RP, OH, GL), pp. 134–141.
HTHT-2002-MoulthropBC #self #wiki
Self-assembling hypertexts, weblogs, and wikis (SM, MB, SC), p. 149.
STOCSTOC-2002-AdlemanCGHKER #combinator #optimisation #problem #self
Combinatorial optimization problems in self-assembly (LMA, QC, AG, MDAH, DK, PMdE, PWKR), pp. 23–32.
DLTDLT-2002-HarjuR #assembly #process
Computational Processes in Living Cells: Gene Assembly in Ciliates (TH, GR), pp. 1–20.
ICALPICALP-2002-Reif #assembly
Molecular Assembly and Computation: From Theory to Experimental Demonstrations (JHR), pp. 1–21.
FMFME-2002-Fidge #analysis #assembly #control flow
Timing Analysis of Assembler Code Control-Flow Paths (CJF), pp. 370–389.
ICGTICGT-2002-HarjuPR #assembly #graph transformation #tutorial
Tutorial on DNA Computing and Graph Transformation — Computational Nature of Gene Assembly in Ciliates (TH, IP, GR), pp. 430–434.
CSCWCSCW-2002-HindmarshHLC
Creating assemblies: : aboard the Ghost Ship (JH, CH, DvL, JC), pp. 156–165.
ICEISICEIS-2002-GusikhinKRACM #artificial reality #assembly
Virtual Reality Web-Based Environment for Workcell Planning in an Automotive Assembly (OYG, EK, GR, CA, GC, TM), pp. 263–268.
ICPRICPR-v3-2002-CooperWABCHKKLOVVJKLM #geometry #problem
Bayesian Pot-Assembly from Fragments as Problems in Perceptual-Grouping and Geometric-Learning (DBC, ARW, SA, JB, YC, DH, KK, WK, FFL, XO, SV, EV, MSJ, BBK, DHL, DM), pp. 297–302.
ICPRICPR-v4-2002-ToyamaFSM #algorithm #assembly #search-based #using
Assembly of Puzzles Using a Genetic Algorithm (FT, YF, KS, JM), pp. 389–392.
SEKESEKE-2002-BryantBARO #assembly #component #generative #specification #two-level grammar #using
Formal specification of generative component assembly using two-level grammar (BRB, CCB, MA, RRR, AMO), pp. 209–212.
SACSAC-2002-NunnD #assembly #automation #component
Automated assembly of software components based on XML-coded instructions (IN, DD), pp. 937–942.
LCTESLCTES-SCOPES-2002-KastnerW #assembly #control flow #re-engineering
Generic control flow reconstruction from assembly code (DK, SW), pp. 46–55.
CBSECBSE-2001-Schmidt #assembly #automation #component #predict #towards
Trusted Components: Towards Automated Assembly with Predictable Properties (HWS), p. 14.
ICDARICDAR-2001-ViglinoG #game studies
Cadastre Map Assembling: A Puzzle Game Resolution (JMV, LG), p. 1235–?.
ICSMEICSM-2001-Ward #assembly #re-engineering
The FermaT Assembler Re-engineering Workbench (MPW), pp. 659–662.
STOCSTOC-2001-AdlemanCGH #self
Running time and program size for self-assembled squares (LMA, QC, AG, MDAH), pp. 740–748.
DLTDLT-2001-MignosiRS #assembly
Forbidden Factors and Fragment Assembly (FM, AR, MS), pp. 349–358.
ICFPICFP-2001-XiH #assembly
A Dependently Typed Assembly Language (HX, RH), pp. 169–180.
CAiSECAiSE-2001-RalyteR #assembly #process
An Assembly Process Model for Method Engineering (JR, CR), pp. 267–283.
CSMRCSMR-2000-JohnstoneSW #assembly #challenge #compilation #control flow #what
What Assembly Language Programmers Get Up To: Control Flow Challenges in Reverse Compilation (AJ, ES, TW), pp. 83–92.
WCREWCRE-2000-Ward #assembly #program transformation #reverse engineering #specification
Reverse Engineering from Assembler to Formal Specifications via Program Transformations (MPW), p. 11–?.
STOCSTOC-2000-RothemundW #complexity #self
The program-size complexity of self-assembled squares (extended abstract) (PWKR, EW), pp. 459–468.
TOOLSTOOLS-USA-2000-LorenzP #assembly #component #runtime
Design-Time Assembly of Runtime Containment Components (DHL, PP), pp. 195–204.
SACSAC-2000-Khalili #assembly #using
Using Pads Instead of Fiducial Marks in Vision Assisted Assembly of PCB’s (KK), pp. 5–9.
ICSMEICSM-1999-JohnstoneSW #assembly #compilation #experience
Experience Paper: Reverse Compilation of Digital Signal Processor Assembler Source to ANSI-C (AJ, ES, TW), pp. 316–325.
ICSMEICSM-1999-Ward #assembly #c #migration #using
Assembler to C Migration Using the FermaT Transformation System (MPW), pp. 67–76.
DLTDLT-1999-Yokomori #paradigm #self #towards
Computation = self-assembly + conformational change: toward new computing paradigms (TY), pp. 32–43.
PPDPPPDP-1999-JonesRR #assembly #garbage collection #named
C--: A Portable Assembly Language that Supports Garbage Collection (SLPJ, NR, FR), pp. 1–28.
POPLPOPL-1999-GlewM #assembly #composition #type safety
Type-Safe Linking and Modular Assembly Language (NG, JGM), pp. 250–261.
PODSPODS-1998-SmithLCJ #assembly
Dynamic Assembly of Views in Data Cubes (JRS, CSL, VC, AJ), pp. 274–283.
ICSMEICSM-1998-CifuentesSF #assembly
Assembly to High-Level Language Translation (CC, DS, AF), pp. 228–237.
CAiSECAiSE-1998-BrinkkemperSH #assembly
Assembly Techniques for Method Engineering (SB, MS, FH), pp. 381–400.
EDOCEDOC-1998-WangUK #assembly #component #distributed #framework
A framework supporting component assembly for distributed systems (GW, LU, DK), pp. 136–146.
POPLPOPL-1998-MorrisettWCG #assembly #system f
From System F to Typed Assembly Language (JGM, DW, KC, NG), pp. 85–97.
ICDARICDAR-1997-KitahashiOKB #documentation #information management
Media Information Processing in Documents -Generation of Manuals of Mechanical Parts Assembling (TK, MO, KK, NB), pp. 792–797.
IFLIFL-1997-JonesNO #assembly #named
C-: A Portable Assembly Language (SLPJ, TN, DO), pp. 1–19.
HCIHCI-CC-1997-Venda97a #assembly #design #industrial #testing
Ergonomic Design and Industrial Testing of the Televised Assembly and Manual Material Handling Workstations with Indirect Observation of Operations (VFV), pp. 847–850.
HCIHCI-CC-1997-VendaL #assembly #evaluation #using
Ergonomic Evaluation of Manual Assembly Operations Using Direct and Indirect Observation Workstations in Sitting and Standing Positions (VFV, SSL), pp. 855–858.
TOOLSTOOLS-ASIA-1997-XiaofenFCX #component #library #reuse
Assembling Software with the Reusable Components in a Library (WX, GF, XC, LX), pp. 176–181.
WCREWCRE-1996-LakeB #approach #assembly #logic #modelling #reverse engineering #source code
Reverse Engineering of Assembler Programs: A Model-Based Approach and its Logical Basis (TL, TB), pp. 67–75.
WCREWCRE-1996-MorrisF #assembly #named
Mandrake: A Tool for Reverse-Engineering IBM Assembly Code (PHM, REF), pp. 57–66.
WCREWCRE-1996-RobertsPK #assembly #reverse engineering
A Portable Assembler Reverse Engineering Environment (PARE) (SNR, RLP, DGK), p. 76–?.
STOCSTOC-1996-KosarajuD #assembly #scalability #string
Large-Scale Assembly of DNA Strings and Space-Efficient Construction of Suffix Trees (Correction) (SRK, ALD), p. 659.
STOCSTOC-1995-KosarajuD #assembly #scalability #string
Large-scale assembly of DNA strings and space-efficient construction of suffix trees (SRK, ALD), pp. 169–177.
HCIHCI-ACS-1993-WickSH #assembly #interface #testing
Testing the Human Computer Interface for the Telerobotic Assembly of the Space Station (DTW, NMS, ARH), pp. 213–218.
CIKMCIKM-1993-LeeRTL #assembly #representation
An Information Model for Human Genome Map Representation and Assembly (AJL, EAR, ST, SL), pp. 75–84.
AdaTRI-Ada-C-1992-LawlisE #ada #assembly #case study
Ada Outperforms Assembly: A Case Study (PKL, TWE), pp. 334–337.
DACDAC-1991-DuttL #assembly #constraints #generative #on the
On Minimal Closure Constraint Generation for Symbolic Cell Assembly (DD, CYL), pp. 736–739.
SIGMODSIGMOD-1991-KellerGM #assembly #performance
Efficient Assembly of Complex Objects (TK, GG, DM), pp. 148–157.
DACDAC-1990-CaiNSM #assembly #layout #performance
A Data Path Layout Assembler for High Performance DSP Circuits (HC, SN, PS, HDM), pp. 306–311.
PPoPPPPEALS-1988-Katseff #assembly #clustering #parallel #using
Using Data Partitioning to Implement a Parallel Assembler (HPK), pp. 66–76.
DACDAC-1986-MarshburnLBCLC #assembly #named
DATAPATH: a CMOS data path silicon assembler (TM, IL, RB, DC, GL, PC), pp. 722–729.
DACDAC-1985-ChangW #assembly #knowledge base
A knowledge based planning system for mechanical assembly usign robots (KHC, WGW), pp. 330–336.
DACDAC-1984-HudsonWP #algorithm
Module positioning algorithms for rectilinear macrocell assemblies (JAH, JAW, RCP), pp. 672–675.
DACDAC-1984-Trimberger #assembly #named #visual notation
VTIcompose — a powerful graphical chip assembly tool (ST), pp. 697–698.
PLDISCC-1984-FraserMW #assembly
Analyzing and compressing assembly code (CWF, EWM, ALW), pp. 117–121.
DACDAC-1983-KatzW #concept
Chip assemblers: Concepts and capabilities (RHK, SW), pp. 25–30.
DACDAC-1982-Szepieniec #assembly #named
SAGA: An Experimental Silicon Assembler (AAS), pp. 365–370.
DACDAC-1982-TrimbergerR #assembly #named #visual notation
Riot — a simple graphical chip assembly tool (ST, JAR), pp. 371–376.
VLDBVLDB-1982-Hawthorn #assembly #database #statistics #tuple
Microprocessor Assisted Tuple Access, Decompression and Assembly for Statistical Database Systems (PBH), pp. 223–233.
STOCSTOC-1982-BhattL #how
How to Assemble Tree Machines (Extended Abstract) (SNB, CEL), pp. 77–84.
DACDAC-1981-Bergsten #assembly #design
Computer-Aided Design, Manufacturing, Assembly and Test (CADMAT) (FCB), pp. 873–880.
DACDAC-1979-Lauther #algorithm #graph #representation
A min-cut placement algorithm for general cell assemblies based on a graph representation (UL), pp. 1–10.
DACDAC-1977-BobasV #automation #design
A design automation system for printed circuit board assemblies (AB, JV), pp. 341–350.
DACDAC-1977-Somaia #automation #logic #testing
An automated simultaneous probing system for testing complex logic assemblies “the bed of nails system” (RHS), pp. 64–67.
DACDAC-1975-Mory #assembly
Assembly drawings and bills of material creating system (ADMS) (HM), pp. 439–448.
DACDAC-1974-HarlowHRJD #automation
Automated inspection of electronic assemblies (CAH, SEH, DAR, RJJ, SJDI), pp. 98–106.
DACDAC-1973-TokunagaKMLO #assembly #diagrams #named
WIDAS — Wiring Diagram Assembly System (MT, TK, MM, CL, FO), pp. 199–204.
DACDAC-1970-PatchZ #logic #realtime
Real time diagnosis of logic assemblies (FDP, LMZ), pp. 108–115.

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.