BibSLEIGH — assembly tag

assembly

assembly

Tag #assembly

218 papers:

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