BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
assembly
Google assembly

Tag #assembly

218 papers:

CoGVS-Games-2019-PalmasLPK #artificial reality #comparison
Comparison of a Gamified and Non-Gamified Virtual Reality Training Assembly Task (FP, DL, DAP, GK), pp. 1–8.
OnwardOnward-2019-Rosso0ALM #concept #declarative #web
Declarative assembly of web applications from predefined concepts (SPDR, DJ0, MA, CL, BAMI), pp. 79–93.
POPLPOPL-2019-FromherzGHPRS #performance
A verified, efficient embedding of a verifiable assembly language (AF, NG, CH, BP, AR, NS), p. 30.
ASEASE-2019-RecoulesBBMP
Get Rid of Inline Assembly through Verification-Oriented Lifting (FR, SB, RB, LM, MLP), pp. 577–589.
CASECASE-2019-FechterDB #configuration management #hybrid
Cost calculation model for reconfigurable, hybrid assembly systems (MF, TD, TB), pp. 836–841.
CASECASE-2019-GeftTGH #2d #geometry #robust
Robust 2D Assembly Sequencing via Geometric Planning with Learned Scores (TG, AT, KG, DH), pp. 1603–1610.
CASECASE-2019-HaltPTPS #performance
A Transferable Force Controller based on Prescribed Performance for Contact Establishment in Robotic Assembly Tasks (LH, FP, PT, AP, TS), pp. 830–835.
CASECASE-2019-IturrateRODS #segmentation
Improving the Generalizability of Robot Assembly Tasks Learned from Demonstration via CNN-based Segmentation (II, ER, EHØ, VD, TRS), pp. 553–560.
CASECASE-2019-ShinLM #on the #optimisation #parallel
On the Optimization Of Cycle Time in Assembly Lines with Parallel Workstations and Tasks Requiring Multiple Workers (JS, ML, JRM), pp. 916–921.
CASECASE-2019-SunW #algorithm #design #hybrid #network
Hybrid Evolutionary Algorithm for Integrated Supply Chain Network Design With Assembly Line Balancing (BqS, LW), pp. 885–890.
CGOCGO-2019-LimN #automation #encryption #equivalence #implementation #library
Automatic Equivalence Checking for Assembly Implementations of Cryptography Libraries (JPL, SN), pp. 37–49.
CIAACIAA-2018-BrzozowskiKLS #complexity
State Complexity of Overlap Assembly (JAB, LK, BL, MS), pp. 109–120.
ASPLOSASPLOS-2018-TurakhiaBD #named
Darwin: A Genomics Co-processor Provides up to 15, 000X Acceleration on Long Read Assembly (YT, GB, WJD), pp. 199–213.
CASECASE-2018-ArboPAD #architecture #constraints
A System Architecture for Constraint-Based Robotic Assembly with CAD Information (MHA, YP, EA, WD), pp. 690–696.
CASECASE-2018-CecilAC #cyber-physical #framework #industrial
An Industry 4.0 Cyber-Physical Framework for Micro Devices Assembly (JC, SA, ACX), pp. 427–432.
CASECASE-2018-LuZH #delivery #optimisation #problem
Optimization of Material Delivery Problem for Aircraft Moving Assembly Line (ZL, HZ, XH), pp. 926–930.
CASECASE-2018-MuxfeldtS #automation #industrial
Fusion of Human Demonstrations for Automatic Recovery during Industrial Assembly (AM, JJS), pp. 1493–1500.
CASECASE-2018-PetitRHH #framework
A virtual capture framework for assembly tasks (DP, IGRA, QH, KH), pp. 1618–1623.
CASECASE-2018-YuYS #automation
Automated Electric-Field-Based Nanowire Characterization, Manipulation, and Assembly (KY, JY, JWS), pp. 1612–1617.
ICSMEICSME-2017-HuangVGSS #analysis #execution #named #scalability #visualisation
Atlantis: Improving the Analysis and Visualization of Large Assembly Execution Traces (HNH, EV0, DMG, MADS, MS), pp. 623–627.
CIKMCIKM-2017-Han0YZ #approach #graph #keyword #query #rdf
Keyword Search on RDF Graphs - A Query Graph Assembly Approach (SH, LZ0, JXY, DZ0), pp. 227–236.
PLDIPLDI-2017-PattersonPDA #functional #named
FunTAL: reasonably mixing a functional language with assembly (DP0, JP, CD, AA), pp. 495–509.
CASECASE-2017-EhmkeRW #automation
Single step shimming solution for automated aircraft assembly (FE, SR, JW), pp. 662–667.
CASECASE-2017-KhanAK #data-driven #design #framework #integration #visualisation
Integration and visualization framework for data-driven resistance spot welded assembly design (MTHK, FA, KYK), pp. 470–475.
CASECASE-2017-PetitRHYWN
Extracting grasping, contact points and objects motion from assembly demonstration (DP, IGRA, KH, NY, WW, KN), pp. 1096–1101.
DiGRADiGRA-FDG-2016-GoddardM #design #game studies #using
Designing Unconventional Use of Conventional Displays in Games: Some Assembly Required (WG, AM).
KDDKDD-2016-DingFC #named #reverse engineering
Kam1n0: MapReduce-based Assembly Clone Search for Reverse Engineering (SHHD, BCMF, PC), pp. 461–470.
PLDIPLDI-2016-CostanzoSG #c #data flow #security #source code #verification
End-to-end verification of information-flow security for C and assembly programs (DC, ZS, RG), pp. 648–664.
SLESLE-2016-BlagodarovJZ #compilation
Raincode assembler compiler (VB, YJ, VZ), pp. 221–225.
ASPLOSASPLOS-2016-HasabnisS #approach #compilation #novel #representation
Lifting Assembly to Intermediate Representation: A Novel Approach Leveraging Compilers (NH, RS), pp. 311–324.
CASECASE-2016-AndreJT #modelling #reliability #using
Reliable robot assembly using haptic rendering models in combination with particle filters (RA, MJ, UT), pp. 1134–1139.
CASECASE-2016-RahmanLJW #collaboration
A regret-based autonomy allocation scheme for human-robot shared vision systems in collaborative assembly in manufacturing (SMMR, ZL, LJ, YW), pp. 897–902.
CASECASE-2016-RahmanWWMPR #collaboration #flexibility #trust
Trust-based compliant robot-human handovers of payloads in collaborative assembly in flexible manufacturing (SMMR, YW, IDW, LM, RP, SR), pp. 355–360.
CASECASE-2016-SadrfaridpourSW #collaboration #framework #hybrid
An integrated framework for human-robot collaborative assembly in hybrid manufacturing cells (BS, HS, YW0), pp. 462–467.
CASECASE-2016-TangLZCT #metric #parsing expression grammar
Autonomous alignment of peg and hole by force/torque measurement for robotic assembly (TT, HCL, YZ, WC, MT), pp. 162–167.
CASECASE-2016-VordererJLV #named
CESA3R: Highly versatile plug-and-produce assembly system (MV, SJ, AL, AV), pp. 745–750.
LATALATA-2015-CazauxLR #graph
Construction of a de Bruijn Graph for Assembly from a Truncated Suffix Tree (BC, TL, ER), pp. 109–120.
HCIHIMI-IKD-2015-WongwichaiT #comprehension
An Observation of Human Comprehension Through Wood Joints Assembly of a Cube Puzzle (TW, TT), pp. 668–677.
KDDKDD-2015-ZhangZMH #co-evolution #named #performance
Assembler: Efficient Discovery of Spatial Co-evolving Patterns in Massive Geo-sensory Data (CZ, YZ, XM, JH), pp. 1415–1424.
CASECASE-2015-ChenH #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 #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 #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
Utilization of motion planning strategies for micro-optical assembly (CS, JR), pp. 781–786.
CASECASE-2015-ThomasSR #flexibility #sequence
Flexible assembly through integrated assembly sequence planning and grasp planning (UT, TS, MAR), pp. 586–592.
CASECASE-2015-YangH0 #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 #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.
PPoPPPPoPP-2015-ThebaultPD #3d #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.
ICALPICALP-v1-2014-DemaineDFPSWW #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 #design #named
Changibles: analyzing and designing shape changing constructive assembly (AR, RR, TH, SS), pp. 2593–2596.
VISSOFTVISSOFT-2014-ToprakWS #control flow #lightweight #regular expression #visualisation
Lightweight Structured Visualization of Assembler Control Flow Based on Regular Expressions (ST, AW, SS), pp. 97–106.
SLESLE-2014-TisiJDSC #model transformation
fUML as an Assembly Language for Model Transformation (MT, FJ, JD, ZS, HC), pp. 171–190.
CASECASE-2014-CanaliCCSEC #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 #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 #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 #estimation #using
Contact force estimation for robotic assembly using motor torques (AW, SZ, BM, HD), pp. 1252–1257.
SIGITESIGITE-2013-KawashD #development #game studies #programming #student #using #video
Using video game development to engage undergraduate students of assembly language programming (JK, RDC), pp. 71–76.
SCAMSCAM-2013-Ward
Assembler restructuring in FermaT (MW), pp. 147–156.
ICALPICALP-v1-2013-DemainePRSSW
The Two-Handed Tile Assembly Model Is Not Intrinsically Universal (EDD, MJP, TAR, RTS, SMS, DW), pp. 400–412.
PPDPPPDP-2013-KennedyBJD #coq #metaprogramming #named #question
Coq: the world’s best macro assembler? (AK, NB, JBJ, PÉD), pp. 13–24.
ASPLOSASPLOS-2013-SchulteDWF #automation #embedded #source code
Automated repair of binary and assembly programs for cooperating embedded devices (EMS, JD, WW, SF), pp. 317–328.
CASECASE-2013-ChenCLZZF #automation #performance #process
Performance improvement for high accuracy assembly process in manufacturing automation (HC, HC, JL, BZ, GZ, TAF), pp. 540–545.
CASECASE-2013-NammotoKH #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
Robotic surface assembly via contact state transitions (AS, JX, JS), pp. 954–959.
CASECASE-2013-SeoYK #composition
Assembly planning for planar structures of a brick wall pattern with rectangular modular robots (JS, MY, VK), pp. 1016–1021.
CASECASE-2013-YueH13a #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
Dynamic production control of door manufacturing line at an automotive assembly plant (CZ, YL, JL), pp. 398–403.
CSMRCSMR-2012-DavisGHMM #experience #industrial
Analyzing Assembler to Eliminate Dead Functions: An Industrial Experience (IJD, MWG, RCH, SM, NM), pp. 467–470.
WCREWCRE-2012-ClearySCSP #analysis #named
ATLANTIS — Assembly Trace Analysis Environment (BC, MADS, LC, MS, FP), pp. 505–506.
SEFMSEFM-2012-PaulSS #automation #verification
Completing the Automated Verification of a Small Hypervisor — Assembler Code Verification (WJP, SS, AS), pp. 188–202.
CoGVS-Games-2012-YuLRSLSRF #automation #game studies
Exploring the Application of Computer Game Theory to Automated Assembly (HY, TL, JMR, RCWS, SL, IAS, IR, SdF), pp. 266–273.
CASECASE-2012-ChoiFN #analysis
Vibration analysis in robotic ultrasonic welding for battery assembly (SC, TAF, SN), pp. 550–554.
CASECASE-2012-LangC0W #3d #injection
Injection system for cellular assembly of 3D bio-tissue engineered constructs (ML, XC, WW, TBFW), pp. 291–296.
CASECASE-2012-LuiP #difference #evolution #flexibility #scheduling #using
Scheduling Flexible Assembly Lines using variants of Differential Evolution (WHVL, SGP), pp. 594–599.
CASECASE-2012-NilakantanP #performance #problem
An efficient PSO for type II robotic assembly line balancing problem (JMN, SGP), pp. 600–605.
CASECASE-2012-YouKLKLH #algorithm #development
Development of manipulation planning algorithm for a dual-arm robot assembly task (JSY, DHK, SJL, SPK, JYL, CSH), pp. 1061–1066.
SCAMSCAM-2011-CooganD #equation #reasoning
Equational Reasoning on x86 Assembly Code (KC, SKD), pp. 75–84.
CHICHI-2011-McLoughlinC #design
Design interventions for open-air museums: applying and extending the principles of “assembly” (MM, LC), pp. 553–556.
HCIIDGD-2011-YuZLXW
Motion Control with Intentions for Virtual Assembly (JY, DZ, CL, SX, ZW), pp. 248–257.
POPLPOPL-2011-HurD #logic #ml
A kripke logical relation between ML and assembly (CKH, DD), pp. 133–146.
SASSAS-2011-FlexederPS #analysis
Side-Effect Analysis of Assembly Code (AF, MP, HS), pp. 77–94.
CASECASE-2011-RakotondrabeHCL #automation #delivery
Automation of assembly and packaging at the micro/nano-scale (MR, YH, CC, PL), pp. 1–5.
JCDLJCDL-2010-EckertNNBAS #concept #crowdsourcing
Crowdsourcing the assembly of concept hierarchies (KE, MN, CN, CB, CA, HS), pp. 139–148.
WCREWCRE-2010-DavisG #detection #source code
From Whence It Came: Detecting Source Code Clones by Analyzing Assembler (IJD, MWG), pp. 242–246.
OOPSLAOOPSLA-2010-Kell #adaptation #component #interface #using
Component adaptation and assembly using interface relations (SK), pp. 322–340.
PLDIPLDI-2010-TateCH #object-oriented
Inferable object-oriented typed assembly language (RT, JC, CH), pp. 424–435.
ASEASE-2010-SchulteFW #automation #evolution #program repair
Automated program repair through the evolution of assembly code (ES, SF, WW), pp. 313–316.
CASECASE-2010-ChangJZ #hybrid
Hybrid micro assembly of microchips on segmented patterns (BC, MJ, QZ), pp. 15–20.
CASECASE-2010-ChoiEF #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 #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 #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-LangWCW #3d
Integrated system for 3D assembly of bio-scaffolds and cells (ML, WW, XC, TBFW), pp. 786–791.
CASECASE-2010-RodriguezBMRW #analysis #detection
Failure detection in assembly: Force signature analysis (AR, DB, MTM, GFR, JW), pp. 210–215.
CASECASE-2010-WangKF #approach #hybrid #layout
A hybrid approach for dynamic assembly shop floor layout (LW, SK, HYF), pp. 604–609.
DATEDATE-2010-MoyerKCRHT #question
Are we there yet? Has IP block assembly become as easy as LEGO? (BM, JK, JC, CR, EH, YT), p. 123.
ICLPICLP-J-2010-PaluDFP
CLP-based protein fragment assembly (ADP, AD, FF, EP), pp. 709–724.
DiGRADiGRA-2009-FlanaganP #game studies #quote
“Some Assembly Required”: Starting and Growing a Game Lab [Abstracts] (MF, CP).
HCIHCD-2009-MayerOFNKKS #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 #multi #sequence #using
A Decision Support System for Multi-plant Assembly Sequence Planning using a PSO Approach (YJT, JYC, FYH), pp. 124–129.
CASECASE-2009-BermanK #abstraction #algorithm #scalability
Abstractions and algorithms for assembly tasks with large numbers of robots and parts (SB, VK), pp. 25–28.
CASECASE-2009-ChouguleC #ontology
Application of ontology guided search for improved equipment diagnosis in a vehicle assembly plant (RC, SC), pp. 90–95.
CASECASE-2009-KhawP #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
A path planning approach to (dis)assembly sequencing (DTL, JC, TS), pp. 286–291.
CASECASE-2009-WichESF #automation
Micro-nano-integration based on automated serial assembly (TW, CE, CS, SF), pp. 573–578.
HTHT-2008-MarkinesRM #network #performance #semantics #social
Efficient assembly of social semantic networks (BM, HR, FM), pp. 149–156.
SCAMSCAM-2008-FehnkerHRS #embedded #program analysis
Some Assembly Required — Program Analysis of Embedded System Code (AF, RH, FR, SS), pp. 15–24.
AFLAFL-2008-Petre
Mathematics of gene assembly in ciliates (IP), pp. 54–55.
LATALATA-2008-BrijderH #graph
Extending the Overlap Graph for Gene Assembly in Ciliates (RB, HJH), pp. 137–148.
GT-VMTGT-VMT-2006-SiikarlaS08
Transformational Pattern System — Some Assembly Required (MS, TS), pp. 63–74.
ICEISICEIS-AIDSS-2008-TsengKH #approach #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 of puzzles by connecting between blocks (TM, FT, KS, JM), pp. 1–4.
CASECASE-2008-DasSPS #aspect-oriented #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-HuangK #analysis #design #evaluation #multi #process
Process capability sensitivity analysis for design evaluation of multi station assembly systems (WH, ZK), pp. 400–405.
CASECASE-2008-KangXWW #scheduling
A swarm-dynamic scheduling method for semiconductor assembly production line (QK, HX, LW, QW), pp. 91–96.
CASECASE-2008-SharmaBDC #generative #optimisation #sequence #using
Generation of optimized robotic assembly sequence using ant colony optimization (SS, BBB, PD, BBC), pp. 894–899.
CASECASE-2008-SoetebierMMKL #automation #flexibility
Flexible automation for automotive body assembly (SS, CHM, NM, SK, FL), pp. 341–346.
HTHT-2007-Losh #generative #web
Assembly lines: web generators as hypertexts (EML), pp. 115–122.
DLTDLT-2007-BrijderH #graph #reduction
Characterizing Reduction Graphs for Gene Assembly in Ciliates (RB, HJH), pp. 120–131.
AGTIVEAGTIVE-2007-AnandK #generative #graph transformation
Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code (CKA, WK), pp. 217–232.
HCIDHM-2007-MavrikiosPKKC #evaluation
Digital Humans for Virtual Assembly Evaluation (DM, MP, MK, VK, GC), pp. 939–948.
PLDIPLDI-2007-Chlipala #compilation #λ-calculus
A certified type-preserving compiler from λ calculus to assembly language (AC), pp. 54–65.
PLDIPLDI-2007-PerryMRLAW #fault tolerance
Fault-tolerant typed assembly language (FP, LWM, GAR, JL, DIA, DW), pp. 42–53.
CASECASE-2007-BoettnerCJ #collaboration #framework
An Advanced Collaborative Framework for Micro Assembly (SSB, JC, YJ), pp. 806–811.
CASECASE-2007-GuHSX #estimation #problem
Assembly Line Balancing Problems Solved by Estimation of Distribution (LG, SH, AS, XX), pp. 123–127.
CASECASE-2007-PopaLMDS #automation
High Yield Automated MEMS Assembly (DOP, WHL, RM, AND, HES), pp. 1099–1104.
ISSTAISSTA-2007-ManoliosVS #automation #component
Automating component-based system assembly (PM, DV, GS), pp. 61–72.
CBSECBSE-2006-Hamlet #predict
Defining “Predictable Assembly” (DH), pp. 320–327.
CIAACIAA-2006-Rozenberg
Theory Inspired by Gene Assembly in Ciliates (GR), p. 10.
ICPRICPR-v3-2006-SagirogluE #approach #automation
A Texture Based Matching Approach for Automated Assembly of Puzzles (MSS, AE), pp. 1036–1041.
PLDIPLDI-2006-FengSVXN #abstraction #composition #verification
Modular verification of assembly code with stack-based control abstractions (XF, ZS, AV, SX, ZN), pp. 401–414.
POPLPOPL-2006-NiS #embedded #pointer #programming
Certified assembly programming with embedded code pointers (ZN, ZS), pp. 320–333.
ASEASE-2006-Maurer
The Rearranger — A New Assembler Utility (WDM), pp. 357–358.
SACSAC-2006-Beugnard #component #empirical #encapsulation
Method overloading and overriding cause encapsulation flaw: an experiment on assembly of heterogeneous components (AB), pp. 1424–1428.
CASECASE-2006-CapachoPGD #heuristic #problem
Heuristic Methods to Solve the Alternative Subgraphs Assembly Line Balancing Problem (LC, RP, OG, AD), pp. 501–506.
CASECASE-2006-NarayanasamyCT #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 #parallel #search-based
PARALLEL POPULATIONS GENETIC ALGORITHM FOR MINIMIZING ASSEMBLY VARIATION IN SELECTIVE ASSEMBLY (SGP, SSS, SS, MG), pp. 496–500.
CASECASE-2006-SweatNZZZ #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 #modelling
Modeling of van der Waals Forces during the Assembly of Micro Devices (LZ, JC, DV, JJ, BG), pp. 484–489.
CCCC-2006-DiasR #declarative #using
Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions (JD, NR), pp. 217–231.
ESOPESOP-2006-YuI
A Typed Assembly Language for Confidentiality (DY, NI), pp. 162–179.
SCAMSCAM-2005-BermudoKH #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 #legacy
Symbolic Interpretation of Legacy Assembly Language (JC, PKC), pp. 23–32.
ICFPICFP-2005-FengS #composition #concurrent #termination #thread #verification
Modular verification of concurrent assembly code with dynamic thread creation and termination (XF, ZS), pp. 254–267.
SASSAS-2005-HarrenN #dependent type #safety #using
Using Dependent Types to Certify the Safety of Assembly Code (MH, GCN), pp. 155–170.
CASECASE-2005-ZhangFZ #capacity #modelling #multi #workflow
Dynamic capacity modeling with multiple re-entrant workflows in semiconductor assembly manufacturing (MTZ, JF, EZ), pp. 160–165.
CBSECBSE-2004-SimonsS #exception #named #robust
CMEH: Container Managed Exception Handling for Increased Assembly Robustness (KS, JAS), pp. 122–129.
CBSECBSE-2004-TivoliIPFS #component #data transformation
Correct Components Assembly for a Product Data Management Cooperative System (MT, PI, VP, AF, MS), pp. 84–99.
ICSMEICSM-2004-WardZH #legacy #migration #re-engineering
Legacy Assembler Reengineering and Migration (MPW, HZ, TH), pp. 157–166.
PASTEPASTE-2004-Martel #source code #validation
Validation of assembler programs for DSPs: a static analyzer (MM), pp. 8–13.
CIAACIAA-2004-Cojocaru #process #simulation
Simulating the Process of Gene Assembly in Ciliates (LC), pp. 308–309.
ICFPICFP-2004-YuS #concurrent #safety #verification
Verification of safety properties for concurrent assembly code (DY, ZS), pp. 175–188.
CHICHI-2004-RafflePI #memory management #named
Topobo: a constructive assembly system with kinetic memory (HR, AJP, HI), pp. 647–654.
ICEISICEIS-v5-2004-SooC #3d #case study #interactive
Interactive 3D Product Assembler for the WWW — A Case Study of a 3D Furniture Store (SMKS, SCfC), pp. 126–133.
ICSEICSE-2004-AkgulMP #execution #performance #slicing
A Fast Assembly Level Reverse Execution Method via Dynamic Slicing (TA, VJMI, SP), pp. 522–531.
DACDAC-2004-SchueleS #abstraction #analysis #execution #source code
Abstraction of assembler programs for symbolic worst case execution time analysis (TS, KS), pp. 107–112.
DATEDATE-2005-MacBethHG04a #verification
An Assembler Driven Verification Methodology (ADVM) (JSM, DH, KG), pp. 278–283.
VMCAIVMCAI-2004-TanASW #semantics
Construction of a Semantic Model for a Typed Assembly Language (GT, AWA, KNS, DW), pp. 30–43.
ICSMEICSM-2003-Gergic #component #towards #version control
Towards a Versioning Model for Component-based Software Assembly (JG), pp. 138–147.
SEFMSEFM-2003-WatsonF #modelling #semantics #source code
A Partial-Correctness Semantics for Modelling Assembler Programs (GW, CJF), pp. 82–90.
SFMSFM-2003-InverardiT #architecture #component
Software Architecture for Correct Components Assembly (PI, MT), pp. 92–121.
CHICHI-2003-TangOBM #artificial reality #comparative #effectiveness
Comparative effectiveness of augmented reality in object assembly (AT, CBO, FB, WM), pp. 73–80.
POPLPOPL-2003-Crary #towards
Toward a foundational typed assembly language (KC), pp. 198–212.
VMCAIVMCAI-2003-Rival #abstract interpretation #certification
Abstract Interpretation-Based Certification of Assembly Code (XR), pp. 41–55.
CBSECBSE-2002-CrnkovicSSW #predict #research
Anatomy of a Research Project in Predictable Assembly (IC, HS, JS, KW), p. 1.
CBSECBSE-2002-InverardiT #approach #architecture #automation #component #off the shelf
Correct and automatic assembly of COTS components: an architectural approach (PI, MT), p. 3.
CBSECBSE-2003-InverardiT #component #composition #synthesis
A compositional synthesis of failure-free connectors for correct components assembly (PI, MT), p. 17.
DocEngDocEng-2002-LehtonenPHL #documentation #user interface
A dynamic user interface for document assembly (ML, RP, OH, GL), pp. 134–141.
DLTDLT-2002-HarjuR #process
Computational Processes in Living Cells: Gene Assembly in Ciliates (TH, GR), pp. 1–20.
ICALPICALP-2002-Reif
Molecular Assembly and Computation: From Theory to Experimental Demonstrations (JHR), pp. 1–21.
FMFME-2002-Fidge #analysis #control flow
Timing Analysis of Assembler Code Control-Flow Paths (CJF), pp. 370–389.
ICGTICGT-2002-HarjuPR #graph transformation #tutorial
Tutorial on DNA Computing and Graph Transformation — Computational Nature of Gene Assembly in Ciliates (TH, IP, GR), pp. 430–434.
ICEISICEIS-2002-GusikhinKRACM #artificial reality
Virtual Reality Web-Based Environment for Workcell Planning in an Automotive Assembly (OYG, EK, GR, CA, GC, TM), pp. 263–268.
ICPRICPR-v4-2002-ToyamaFSM #algorithm #search-based #using
Assembly of Puzzles Using a Genetic Algorithm (FT, YF, KS, JM), pp. 389–392.
SEKESEKE-2002-BryantBARO #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 #automation #component
Automated assembly of software components based on XML-coded instructions (IN, DD), pp. 937–942.
LCTESLCTES-SCOPES-2002-KastnerW #control flow #re-engineering
Generic control flow reconstruction from assembly code (DK, SW), pp. 46–55.
CBSECBSE-2001-Schmidt #automation #component #predict #towards
Trusted Components: Towards Automated Assembly with Predictable Properties (HWS), p. 14.
ICSMEICSM-2001-Ward #re-engineering
The FermaT Assembler Re-engineering Workbench (MPW), pp. 659–662.
DLTDLT-2001-MignosiRS
Forbidden Factors and Fragment Assembly (FM, AR, MS), pp. 349–358.
ICFPICFP-2001-XiH
A Dependently Typed Assembly Language (HX, RH), pp. 169–180.
CAiSECAiSE-2001-RalyteR #process
An Assembly Process Model for Method Engineering (JR, CR), pp. 267–283.
CSMRCSMR-2000-JohnstoneSW #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 #program transformation #reverse engineering #specification
Reverse Engineering from Assembler to Formal Specifications via Program Transformations (MPW), p. 11–?.
TOOLSTOOLS-USA-2000-LorenzP #component #runtime
Design-Time Assembly of Runtime Containment Components (DHL, PP), pp. 195–204.
SACSAC-2000-Khalili #using
Using Pads Instead of Fiducial Marks in Vision Assisted Assembly of PCB’s (KK), pp. 5–9.
ICSMEICSM-1999-JohnstoneSW #compilation #experience
Experience Paper: Reverse Compilation of Digital Signal Processor Assembler Source to ANSI-C (AJ, ES, TW), pp. 316–325.
ICSMEICSM-1999-Ward #c #migration #using
Assembler to C Migration Using the FermaT Transformation System (MPW), pp. 67–76.
POPLPOPL-1999-GlewM #composition #type safety
Type-Safe Linking and Modular Assembly Language (NG, JGM), pp. 250–261.
PPDPPPDP-1999-JonesRR #garbage collection #named
C--: A Portable Assembly Language that Supports Garbage Collection (SLPJ, NR, FR), pp. 1–28.
PODSPODS-1998-SmithLCJ
Dynamic Assembly of Views in Data Cubes (JRS, CSL, VC, AJ), pp. 274–283.
ICSMEICSM-1998-CifuentesSF
Assembly to High-Level Language Translation (CC, DS, AF), pp. 228–237.
CAiSECAiSE-1998-BrinkkemperSH
Assembly Techniques for Method Engineering (SB, MS, FH), pp. 381–400.
EDOCEDOC-1998-WangUK #component #distributed #framework
A framework supporting component assembly for distributed systems (GW, LU, DK), pp. 136–146.
POPLPOPL-1998-MorrisettWCG #system f
From System F to Typed Assembly Language (JGM, DW, KC, NG), pp. 85–97.
IFLIFL-1997-JonesNO #named
C-: A Portable Assembly Language (SLPJ, TN, DO), pp. 1–19.
HCIHCI-CC-1997-Venda97a #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 #evaluation #using
Ergonomic Evaluation of Manual Assembly Operations Using Direct and Indirect Observation Workstations in Sitting and Standing Positions (VFV, SSL), pp. 855–858.
WCREWCRE-1996-LakeB #approach #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 #named
Mandrake: A Tool for Reverse-Engineering IBM Assembly Code (PHM, REF), pp. 57–66.
WCREWCRE-1996-RobertsPK #reverse engineering
A Portable Assembler Reverse Engineering Environment (PARE) (SNR, RLP, DGK), p. 76–?.
STOCSTOC-1996-KosarajuD #scalability #string
Large-Scale Assembly of DNA Strings and Space-Efficient Construction of Suffix Trees (Correction) (SRK, ALD), p. 659.
STOCSTOC-1995-KosarajuD #scalability #string
Large-scale assembly of DNA strings and space-efficient construction of suffix trees (SRK, ALD), pp. 169–177.
HCIHCI-ACS-1993-WickSH #interface #testing
Testing the Human Computer Interface for the Telerobotic Assembly of the Space Station (DTW, NMS, ARH), pp. 213–218.
CIKMCIKM-1993-LeeRTL #representation
An Information Model for Human Genome Map Representation and Assembly (AJL, EAR, ST, SL), pp. 75–84.
AdaTRI-Ada-C-1992-LawlisE #ada #case study
Ada Outperforms Assembly: A Case Study (PKL, TWE), pp. 334–337.
SIGMODSIGMOD-1991-KellerGM #performance
Efficient Assembly of Complex Objects (TK, GG, DM), pp. 148–157.
DACDAC-1991-DuttL #constraints #generative #on the
On Minimal Closure Constraint Generation for Symbolic Cell Assembly (DD, CYL), pp. 736–739.
DACDAC-1990-CaiNSM #layout #performance
A Data Path Layout Assembler for High Performance DSP Circuits (HC, SN, PS, HDM), pp. 306–311.
PPoPPPPEALS-1988-Katseff #clustering #parallel #using
Using Data Partitioning to Implement a Parallel Assembler (HPK), pp. 66–76.
DACDAC-1986-MarshburnLBCLC #named
DATAPATH: a CMOS data path silicon assembler (TM, IL, RB, DC, GL, PC), pp. 722–729.
DACDAC-1985-ChangW #knowledge base
A knowledge based planning system for mechanical assembly usign robots (KHC, WGW), pp. 330–336.
PLDISCC-1984-FraserMW
Analyzing and compressing assembly code (CWF, EWM, ALW), pp. 117–121.
DACDAC-1984-Trimberger #named #visual notation
VTIcompose — a powerful graphical chip assembly tool (ST), pp. 697–698.
VLDBVLDB-1982-Hawthorn #database #statistics #tuple
Microprocessor Assisted Tuple Access, Decompression and Assembly for Statistical Database Systems (PBH), pp. 223–233.
DACDAC-1982-Szepieniec #named
SAGA: An Experimental Silicon Assembler (AAS), pp. 365–370.
DACDAC-1982-TrimbergerR #named #visual notation
Riot — a simple graphical chip assembly tool (ST, JAR), pp. 371–376.
DACDAC-1981-Bergsten #design
Computer-Aided Design, Manufacturing, Assembly and Test (CADMAT) (FCB), pp. 873–880.
DACDAC-1975-Mory
Assembly drawings and bills of material creating system (ADMS) (HM), pp. 439–448.
DACDAC-1973-TokunagaKMLO #diagrams #named
WIDAS — Wiring Diagram Assembly System (MT, TK, MM, CL, FO), pp. 199–204.

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.