Stem assembl$ (all stems)

239 papers:

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

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

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

CASE-2015-SchletteR #assembly

Utilization of motion planning strategies for micro-optical assembly (CS, JR), pp. 781–786.

CASE-2015-ThomasSR #assembly #flexibility #sequence

Flexible assembly through integrated assembly sequence planning and grasp planning (UT, TS, MAR), pp. 586–592.

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

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

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

LATA-2015-CazauxLR #assembly #graph

Construction of a de Bruijn Graph for Assembly from a Truncated Suffix Tree (BC, TL, ER), pp. 109–120.

HIMI-IKD-2015-WongwichaiT #assembly #comprehension

An Observation of Human Comprehension Through Wood Joints Assembly of a Cube Puzzle (TW, TT), pp. 668–677.

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

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

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

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

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

CASE-2014-WahrburgZMD #assembly #estimation #using

Contact force estimation for robotic assembly using motor torques (AW, SZ, BM, HD), pp. 1252–1257.

DAC-2014-XiaoDTWYWZ #self #verification

Directed Self-Assembly (DSA) Template Pattern Verification (ZX, YD, HT, MDFW, HY, HSPW, HZ), p. 6.

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

CHI-2014-RoudautRHS #assembly #design #named

Changibles: analyzing and designing shape changing constructive assembly (AR, RR, TH, SS), pp. 2593–2596.

HCI-AS-2014-BovetR #experience #game studies

Assembling the Collective Experience of a Serious Game Mediation as an Interactional Practice (AB, MR), pp. 571–580.

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

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

SLE-2014-TisiJDSC #assembly #model transformation

fUML as an Assembly Language for Model Transformation (MT, FJ, JD, ZS, HC), pp. 171–190.

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

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

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

CASE-2013-SaricXS #assembly

Robotic surface assembly via contact state transitions (AS, JX, JS), pp. 954–959.

CASE-2013-SeoYK #assembly #composition

Assembly planning for planar structures of a brick wall pattern with rectangular modular robots (JS, MY, VK), pp. 1016–1021.

CASE-2013-SinhaK #constraints #policy

Production and subcontracting policies for assemble-to-order systems with service level constraints (AKS, AK), pp. 570–575.

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

CASE-2013-ZhaoLL #assembly

Dynamic production control of door manufacturing line at an automotive assembly plant (CZ, YL, JL), pp. 398–403.

SCAM-2013-Ward #assembly

Assembler restructuring in FermaT (MW), pp. 147–156.

ICALP-v1-2013-DemainePRSSW #assembly

The Two-Handed Tile Assembly Model Is Not Intrinsically Universal (EDD, MJP, TAR, RTS, SMS, DW), pp. 400–412.

PPDP-2013-KennedyBJD #assembly #coq #metaprogramming #named #question

Coq: the world’s best macro assembler? (AK, NB, JBJ, PÉD), pp. 13–24.

ICSE-2013-BoyerGP #component #configuration management #robust

Robust reconfigurations of component assemblies (FB, OG, DP), pp. 13–22.

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

CASE-2012-ChoiFN #analysis #assembly

Vibration analysis in robotic ultrasonic welding for battery assembly (SC, TAF, SN), pp. 550–554.

CASE-2012-DoPK

Dual arm robot for packaging and assembling of IT products (HD, CP, JHK), pp. 1067–1070.

CASE-2012-LangC0W #3d #assembly #injection

Injection system for cellular assembly of 3D bio-tissue engineered constructs (ML, XC, WW, TBFW), pp. 291–296.

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

CASE-2012-LuiP #assembly #difference #evolution #flexibility #scheduling #using

Scheduling Flexible Assembly Lines using variants of Differential Evolution (WHVL, SGP), pp. 594–599.

CASE-2012-NilakantanP #assembly #performance #problem

An efficient PSO for type II robotic assembly line balancing problem (JMN, SGP), pp. 600–605.

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

WRLA-2012-BruniCGLV #adaptation #maude #modelling #self

Modelling and Analyzing Adaptive Self-assembly Strategies with Maude (RB, AC, FG, ALL, AV), pp. 118–138.

CSMR-2012-DavisGHMM #assembly #experience #industrial

Analyzing Assembler to Eliminate Dead Functions: An Industrial Experience (IJD, MWG, RCH, SM, NM), pp. 467–470.

WCRE-2012-ClearySCSP #analysis #assembly #named

ATLANTIS — Assembly Trace Analysis Environment (BC, MADS, LC, MS, FP), pp. 505–506.

ICALP-v1-2012-FuPSS #geometry #self

Self-assembly with Geometric Tiles (BF, MJP, RTS, RS), pp. 714–725.

SEFM-2012-PaulSS #assembly #automation #verification

Completing the Automated Verification of a Small Hypervisor — Assembler Code Verification (WJP, SS, AS), pp. 188–202.

SAC-2012-AkessonHRM #pervasive

Instance-aware assemblies of services in pervasive computing (LÅ, GH, SGR, BM), pp. 1554–1556.

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

CASE-2011-RakotondrabeHCL #assembly #automation

Automation of assembly and packaging at the micro/nano-scale (MR, YH, CC, PL), pp. 1–5.

SCAM-2011-CooganD #assembly #equation #reasoning

Equational Reasoning on x86 Assembly Code (KC, SKD), pp. 75–84.

SAS-2011-FlexederPS #analysis #assembly

Side-Effect Analysis of Assembly Code (AF, MP, HS), pp. 77–94.

CHI-2011-McLoughlinC #assembly #design

Design interventions for open-air museums: applying and extending the principles of “assembly” (MM, LC), pp. 553–556.

IDGD-2011-YuZLXW #assembly

Motion Control with Intentions for Virtual Assembly (JY, DZ, CL, SX, ZW), pp. 248–257.

POPL-2011-HurD #assembly #logic #ml

A kripke logical relation between ML and assembly (CKH, DD), pp. 133–146.

ASE-2010-SchulteFW #assembly #automation #evolution #program repair

Automated program repair through the evolution of assembly code (ES, SF, WW), pp. 313–316.

CASE-2010-ChangJZ #assembly #hybrid

Hybrid micro assembly of microchips on segmented patterns (BC, MJ, QZ), pp. 15–20.

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

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

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

CASE-2010-KrishnanSPW

Durability studies of PBI-based membrane elect rode assemblies for high temperature PEMFCs (LK, TS, RP, DW), pp. 21–26.

CASE-2010-LangWCW #3d #assembly

Integrated system for 3D assembly of bio-scaffolds and cells (ML, WW, XC, TBFW), pp. 786–791.

CASE-2010-RodriguezBMRW #analysis #assembly #detection

Failure detection in assembly: Force signature analysis (AR, DB, MTM, GFR, JW), pp. 210–215.

CASE-2010-WangKF #approach #assembly #hybrid #layout

A hybrid approach for dynamic assembly shop floor layout (LW, SK, HYF), pp. 604–609.

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

WCRE-2010-DavisG #assembly #detection #source code

From Whence It Came: Detecting Source Code Clones by Analyzing Assembler (IJD, MWG), pp. 242–246.

PLDI-2010-TateCH #assembly #object-oriented

Inferable object-oriented typed assembly language (RT, JC, CH), pp. 424–435.

CIAA-2010-Jonoska #automaton #self #using

Using Automata to Describe Self-Assembled Nanostructures (NJ), pp. 1–3.

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

OOPSLA-2010-Kell #adaptation #assembly #component #interface #using

Component adaptation and assembly using interface relations (SK), pp. 322–340.

ICLP-J-2010-PaluDFP #assembly

CLP-based protein fragment assembly (ADP, AD, FF, EP), pp. 709–724.

CASE-2009-BermanK #abstraction #algorithm #assembly #scalability

Abstractions and algorithms for assembly tasks with large numbers of robots and parts (SB, VK), pp. 25–28.

CASE-2009-ChouguleC #assembly #ontology

Application of ontology guided search for improved equipment diagnosis in a vehicle assembly plant (RC, SC), pp. 90–95.

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

CASE-2009-LeCS #approach #assembly

A path planning approach to (dis)assembly sequencing (DTL, JC, TS), pp. 286–291.

CASE-2009-WichESF #assembly #automation

Micro-nano-integration based on automated serial assembly (TW, CE, CS, SF), pp. 573–578.

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

ICALP-v1-2009-ChandranGR #complexity #linear

The Tile Complexity of Linear Assemblies (HC, NG, JHR), pp. 235–253.

LATA-2009-BonizzoniFMM

Picture Languages Generated by Assembling Tiles (PB, CF, ARSM, GM), pp. 224–235.

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

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

ICEIS-J-2009-BacarinMM #contract #multi

Assembling and Managing Virtual Organizations out of Multi-party Contracts (EB, ERMM, CBM), pp. 758–769.

OOPSLA-2009-LublinermanCC #parallel #programming

Parallel programming with object assemblies (RL, SC, PC), pp. 61–80.

SAC-2009-ManuchSS #bound #self

Two lower bounds for self-assemblies at temperature 1 (JM, LS, CS), pp. 808–809.

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

CASE-2008-HeribanTGF #behaviour

Improving rotation behaviour of robotic structures for micro-assembly (DH, AT, MG, GF), pp. 983–988.

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

CASE-2008-KangXWW #assembly #scheduling

A swarm-dynamic scheduling method for semiconductor assembly production line (QK, HX, LW, QW), pp. 91–96.

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

CASE-2008-SharmaBDC #assembly #generative #optimisation #sequence #using

Generation of optimized robotic assembly sequence using ant colony optimization (SS, BBB, PD, BBC), pp. 894–899.

CASE-2008-SoetebierMMKL #assembly #automation #flexibility

Flexible automation for automotive body assembly (SS, CHM, NM, SK, FL), pp. 341–346.

DATE-2008-FrechetteL #algorithm #detection #fault #self

Error Detection/Correction in DNA Algorithmic Self-Assembly (SF, FL), pp. 1079–1082.

HT-2008-MarkinesRM #assembly #network #performance #semantics #social

Efficient assembly of social semantic networks (BM, HR, FM), pp. 149–156.

SCAM-2008-FehnkerHRS #assembly #embedded #program analysis

Some Assembly Required — Program Analysis of Embedded System Code (AF, RH, FR, SS), pp. 15–24.

AFL-2008-Petre #assembly

Mathematics of gene assembly in ciliates (Abstract) (IP), pp. 54–55.

ICALP-A-2008-KaoS #approximate #random #self

Randomized Self-assembly for Approximate Shapes (MYK, RTS), pp. 370–384.

LATA-2008-Becker #self

Transformations and Preservation of Self-assembly Dynamics through Homotheties (FB), pp. 101–112.

LATA-2008-BrijderH #assembly #graph

Extending the Overlap Graph for Gene Assembly in Ciliates (RB, HJH), pp. 137–148.

GT-VMT-2006-SiikarlaS08 #assembly

Transformational Pattern System — Some Assembly Required (MS, TS), pp. 63–74.

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

ICPR-2008-MurakamiTSM #assembly

Assembly of puzzles by connecting between blocks (TM, FT, KS, JM), pp. 1–4.

CASE-2007-BoettnerCJ #assembly #collaboration #framework

An Advanced Collaborative Framework for Micro Assembly (SSB, JC, YJ), pp. 806–811.

CASE-2007-GuHSX #assembly #estimation #problem

Assembly Line Balancing Problems Solved by Estimation of Distribution (LG, SH, AS, XX), pp. 123–127.

CASE-2007-PopaLMDS #assembly #automation

High Yield Automated MEMS Assembly (DOP, WHL, RM, AND, HES), pp. 1099–1104.

CASE-2007-SaeediKEMP #automation #process #self

Automation and yield of micron-scale self-assembly processes (ES, SSK, JRE, DRM, BAP), pp. 375–380.

CASE-2007-WasonGWGD #multi

Multi-Probe Micro-Assembly (JDW, WG, JTW, JG, NGD), pp. 63–68.

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

HT-2007-Losh #assembly #generative #web

Assembly lines: web generators as hypertexts (EML), pp. 115–122.

PLDI-2007-Chlipala #assembly #compilation #λ-calculus

A certified type-preserving compiler from λ calculus to assembly language (AC), pp. 54–65.

PLDI-2007-PerryMRLAW #assembly #fault tolerance

Fault-tolerant typed assembly language (FP, LWM, GAR, JL, DIA, DW), pp. 42–53.

DLT-2007-BrijderH #assembly #graph #reduction

Characterizing Reduction Graphs for Gene Assembly in Ciliates (RB, HJH), pp. 120–131.

AGTIVE-2007-AnandK #assembly #generative #graph transformation

Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code (CKA, WK), pp. 217–232.

DHM-2007-MavrikiosPKKC #assembly #evaluation

Digital Humans for Virtual Assembly Evaluation (DM, MP, MK, VK, GC), pp. 939–948.

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

ISSTA-2007-ManoliosVS #assembly #automation #component

Automating component-based system assembly (PM, DV, GS), pp. 61–72.

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

CBSE-2006-Hamlet #assembly #predict

Defining “Predictable Assembly” (DH), pp. 320–327.

QoSA-2006-AstudilloPL #component #off the shelf

Evaluating Alternative COTS Assemblies from Imperfect Component Information (HA, JP, CL), pp. 27–42.

ASE-2006-Maurer #assembly

The Rearranger — A New Assembler Utility (WDM), pp. 357–358.

CASE-2006-CapachoPGD #assembly #heuristic #problem

Heuristic Methods to Solve the Alternative Subgraphs Assembly Line Balancing Problem (LC, RP, OG, AD), pp. 501–506.

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

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

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

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

CASE-2006-ZhangCVJG #assembly #modelling

Modeling of van der Waals Forces during the Assembly of Micro Devices (LZ, JC, DV, JJ, BG), pp. 484–489.

DAC-2006-PistolLD #automation #design #self

Design automation for DNA self-assembled nanostructures (CP, ARL, CD), pp. 919–924.

ESOP-2006-YuI #assembly

A Typed Assembly Language for Confidentiality (DY, NI), pp. 162–179.

PLDI-2006-FengSVXN #abstraction #assembly #composition #verification

Modular verification of assembly code with stack-based control abstractions (XF, ZS, AV, SX, ZN), pp. 401–414.

CIAA-2006-Rozenberg #assembly

Theory Inspired by Gene Assembly in Ciliates (GR), p. 10.

ICPR-v3-2006-SagirogluE #approach #assembly #automation

A Texture Based Matching Approach for Automated Assembly of Puzzles (MSS, AE), pp. 1036–1041.

ICPR-v4-2006-FengI #3d #segmentation #statistics

A Statistical Assembled Model for Segmentation of Entire 3D Vasculature (JJF, HHSI), pp. 95–98.

POPL-2006-NiS #assembly #embedded #pointer #programming

Certified assembly programming with embedded code pointers (ZN, ZS), pp. 320–333.

SAC-2006-Beugnard #assembly #component #empirical #encapsulation

Method overloading and overriding cause encapsulation flaw: an experiment on assembly of heterogeneous components (AB), pp. 1424–1428.

CC-2006-DiasR #assembly #declarative #using

Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions (JD, NR), pp. 217–231.

CASE-2005-TsinarakisTV #hybrid #multi #petri net

Studying multi-assembly machine production systems with hybrid timed Petri nets (GJT, NT, KPV), pp. 327–332.

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

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

WCRE-2005-CaretteC #assembly #legacy

Symbolic Interpretation of Legacy Assembly Language (JC, PKC), pp. 23–32.

SAS-2005-HarrenN #assembly #dependent type #safety #using

Using Dependent Types to Certify the Safety of Assembly Code (MH, GCN), pp. 155–170.

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

SEKE-2005-IngstrupH #composition #ubiquitous

Palpable Assemblies: Dynamic Service Composition for Ubiquitous Computing (MI, KMH), pp. 632–638.

CBSE-2004-SimonsS #assembly #exception #named #robust

CMEH: Container Managed Exception Handling for Increased Assembly Robustness (KS, JAS), pp. 122–129.

CBSE-2004-TivoliIPFS #assembly #component #data transformation

Correct Components Assembly for a Product Data Management Cooperative System (MT, PI, VP, AF, MS), pp. 84–99.

DAC-2004-SchueleS #abstraction #analysis #assembly #execution #source code

Abstraction of assembler programs for symbolic worst case execution time analysis (TS, KS), pp. 107–112.

DATE-2005-MacBethHG04a #assembly #verification

An Assembler Driven Verification Methodology (ADVM) (JSM, DH, KG), pp. 278–283.

ICSM-2004-WardZH #assembly #legacy #migration #re-engineering

Legacy Assembler Reengineering and Migration (MPW, HZ, TH), pp. 157–166.

PASTE-2004-Martel #assembly #source code #validation

Validation of assembler programs for DSPs: a static analyzer (MM), pp. 8–13.

CIAA-2004-Cojocaru #assembly #process #simulation

Simulating the Process of Gene Assembly in Ciliates (LC), pp. 308–309.

ICFP-2004-YuS #assembly #concurrent #safety #verification

Verification of safety properties for concurrent assembly code (DY, ZS), pp. 175–188.

CHI-2004-RafflePI #assembly #memory management #named

Topobo: a constructive assembly system with kinetic memory (HR, AJP, HI), pp. 647–654.

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

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

GPCE-2004-Greenfield #framework #modelling #tool support

Software Factories: Assembling Applications with Patterns, Models, Frameworks and Tools (JG), p. 488.

ICSE-2004-AkgulMP #assembly #execution #performance #slicing

A Fast Assembly Level Reverse Execution Method via Dynamic Slicing (TA, VJMI, SP), pp. 522–531.

SPLC-2004-Greenfield #framework #modelling #tool support

Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools (JG), p. 304.

SPLC-2004-Greenfield04a #domain-specific language #framework #tool support #using

Using Domain-Specific Languages, Patterns, Frameworks, and Tools to Assemble Applications (JG), p. 324.

VMCAI-2004-TanASW #assembly #semantics

Construction of a Semantic Model for a Typed Assembly Language (GT, AWA, KNS, DW), pp. 30–43.

ICSM-2003-Gergic #assembly #component #towards #version control

Towards a Versioning Model for Component-based Software Assembly (JG), pp. 138–147.

SEFM-2003-WatsonF #assembly #modelling #semantics #source code

A Partial-Correctness Semantics for Modelling Assembler Programs (GW, CJF), pp. 82–90.

SFM-2003-InverardiT #architecture #assembly #component

Software Architecture for Correct Components Assembly (PI, MT), pp. 92–121.

CHI-2003-TangOBM #artificial reality #assembly #comparative #effectiveness

Comparative effectiveness of augmented reality in object assembly (AT, CBO, FB, WM), pp. 73–80.

POPL-2003-Crary #assembly #towards

Toward a foundational typed assembly language (KC), pp. 198–212.

VMCAI-2003-Rival #abstract interpretation #assembly #certification

Abstract Interpretation-Based Certification of Assembly Code (XR), pp. 41–55.

CBSE-2002-CrnkovicSSW #assembly #predict #research

Anatomy of a Research Project in Predictable Assembly (IC, HS, JS, KW), p. 1.

CBSE-2002-InverardiT #approach #architecture #assembly #automation #component #off the shelf

Correct and automatic assembly of COTS components: an architectural approach (PI, MT), p. 3.

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

CBSE-2003-InverardiT #assembly #component #composition #synthesis

A compositional synthesis of failure-free connectors for correct components assembly (PI, MT), p. 17.

DocEng-2002-LehtonenPHL #assembly #documentation #user interface

A dynamic user interface for document assembly (ML, RP, OH, GL), pp. 134–141.

HT-2002-MoulthropBC #self #wiki

Self-assembling hypertexts, weblogs, and wikis (SM, MB, SC), p. 149.

STOC-2002-AdlemanCGHKER #combinator #optimisation #problem #self

Combinatorial optimization problems in self-assembly (LMA, QC, AG, MDAH, DK, PMdE, PWKR), pp. 23–32.

DLT-2002-HarjuR #assembly #process

Computational Processes in Living Cells: Gene Assembly in Ciliates (TH, GR), pp. 1–20.

ICALP-2002-Reif #assembly

Molecular Assembly and Computation: From Theory to Experimental Demonstrations (JHR), pp. 1–21.

FME-2002-Fidge #analysis #assembly #control flow

Timing Analysis of Assembler Code Control-Flow Paths (CJF), pp. 370–389.

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

CSCW-2002-HindmarshHLC

Creating assemblies: : aboard the Ghost Ship (JH, CH, DvL, JC), pp. 156–165.

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

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

ICPR-v4-2002-ToyamaFSM #algorithm #assembly #search-based #using

Assembly of Puzzles Using a Genetic Algorithm (FT, YF, KS, JM), pp. 389–392.

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

SAC-2002-NunnD #assembly #automation #component

Automated assembly of software components based on XML-coded instructions (IN, DD), pp. 937–942.

LCTES-SCOPES-2002-KastnerW #assembly #control flow #re-engineering

Generic control flow reconstruction from assembly code (DK, SW), pp. 46–55.

CBSE-2001-Schmidt #assembly #automation #component #predict #towards

Trusted Components: Towards Automated Assembly with Predictable Properties (HWS), p. 14.

ICDAR-2001-ViglinoG #game studies

Cadastre Map Assembling: A Puzzle Game Resolution (JMV, LG), p. 1235–?.

ICSM-2001-Ward #assembly #re-engineering

The FermaT Assembler Re-engineering Workbench (MPW), pp. 659–662.

STOC-2001-AdlemanCGH #self

Running time and program size for self-assembled squares (LMA, QC, AG, MDAH), pp. 740–748.

DLT-2001-MignosiRS #assembly

Forbidden Factors and Fragment Assembly (FM, AR, MS), pp. 349–358.

ICFP-2001-XiH #assembly

A Dependently Typed Assembly Language (HX, RH), pp. 169–180.

CAiSE-2001-RalyteR #assembly #process

An Assembly Process Model for Method Engineering (JR, CR), pp. 267–283.

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

WCRE-2000-Ward #assembly #program transformation #reverse engineering #specification

Reverse Engineering from Assembler to Formal Specifications via Program Transformations (MPW), p. 11–?.

STOC-2000-RothemundW #complexity #self

The program-size complexity of self-assembled squares (extended abstract) (PWKR, EW), pp. 459–468.

TOOLS-USA-2000-LorenzP #assembly #component #runtime

Design-Time Assembly of Runtime Containment Components (DHL, PP), pp. 195–204.

SAC-2000-Khalili #assembly #using

Using Pads Instead of Fiducial Marks in Vision Assisted Assembly of PCB’s (KK), pp. 5–9.

ICSM-1999-JohnstoneSW #assembly #compilation #experience

Experience Paper: Reverse Compilation of Digital Signal Processor Assembler Source to ANSI-C (AJ, ES, TW), pp. 316–325.

ICSM-1999-Ward #assembly #c #migration #using

Assembler to C Migration Using the FermaT Transformation System (MPW), pp. 67–76.

DLT-1999-Yokomori #paradigm #self #towards

Computation = self-assembly + conformational change: toward new computing paradigms (TY), pp. 32–43.

PPDP-1999-JonesRR #assembly #garbage collection #named

C--: A Portable Assembly Language that Supports Garbage Collection (SLPJ, NR, FR), pp. 1–28.

POPL-1999-GlewM #assembly #composition #type safety

Type-Safe Linking and Modular Assembly Language (NG, JGM), pp. 250–261.

PODS-1998-SmithLCJ #assembly

Dynamic Assembly of Views in Data Cubes (JRS, CSL, VC, AJ), pp. 274–283.

ICSM-1998-CifuentesSF #assembly

Assembly to High-Level Language Translation (CC, DS, AF), pp. 228–237.

CAiSE-1998-BrinkkemperSH #assembly

Assembly Techniques for Method Engineering (SB, MS, FH), pp. 381–400.

EDOC-1998-WangUK #assembly #component #distributed #framework

A framework supporting component assembly for distributed systems (GW, LU, DK), pp. 136–146.

POPL-1998-MorrisettWCG #assembly #system f

From System F to Typed Assembly Language (JGM, DW, KC, NG), pp. 85–97.

ICDAR-1997-KitahashiOKB #documentation #information management

Media Information Processing in Documents -Generation of Manuals of Mechanical Parts Assembling (TK, MO, KK, NB), pp. 792–797.

IFL-1997-JonesNO #assembly #named

C-: A Portable Assembly Language (SLPJ, TN, DO), pp. 1–19.

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

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

TOOLS-ASIA-1997-XiaofenFCX #component #library #reuse

Assembling Software with the Reusable Components in a Library (WX, GF, XC, LX), pp. 176–181.

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

WCRE-1996-MorrisF #assembly #named

Mandrake: A Tool for Reverse-Engineering IBM Assembly Code (PHM, REF), pp. 57–66.

WCRE-1996-RobertsPK #assembly #reverse engineering

A Portable Assembler Reverse Engineering Environment (PARE) (SNR, RLP, DGK), p. 76–?.

STOC-1996-KosarajuD #assembly #scalability #string

Large-Scale Assembly of DNA Strings and Space-Efficient Construction of Suffix Trees (Correction) (SRK, ALD), p. 659.

STOC-1995-KosarajuD #assembly #scalability #string

Large-scale assembly of DNA strings and space-efficient construction of suffix trees (SRK, ALD), pp. 169–177.

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

CIKM-1993-LeeRTL #assembly #representation

An Information Model for Human Genome Map Representation and Assembly (AJL, EAR, ST, SL), pp. 75–84.

TRI-Ada-C-1992-LawlisE #ada #assembly #case study

Ada Outperforms Assembly: A Case Study (PKL, TWE), pp. 334–337.

DAC-1991-DuttL #assembly #constraints #generative #on the

On Minimal Closure Constraint Generation for Symbolic Cell Assembly (DD, CYL), pp. 736–739.

SIGMOD-1991-KellerGM #assembly #performance

Efficient Assembly of Complex Objects (TK, GG, DM), pp. 148–157.

DAC-1990-CaiNSM #assembly #layout #performance

A Data Path Layout Assembler for High Performance DSP Circuits (HC, SN, PS, HDM), pp. 306–311.

PPEALS-1988-Katseff #assembly #clustering #parallel #using

Using Data Partitioning to Implement a Parallel Assembler (HPK), pp. 66–76.

DAC-1986-MarshburnLBCLC #assembly #named

DATAPATH: a CMOS data path silicon assembler (TM, IL, RB, DC, GL, PC), pp. 722–729.

DAC-1985-ChangW #assembly #knowledge base

A knowledge based planning system for mechanical assembly usign robots (KHC, WGW), pp. 330–336.

DAC-1984-HudsonWP #algorithm

Module positioning algorithms for rectilinear macrocell assemblies (JAH, JAW, RCP), pp. 672–675.

DAC-1984-Trimberger #assembly #named #visual notation

VTIcompose — a powerful graphical chip assembly tool (ST), pp. 697–698.

SCC-1984-FraserMW #assembly

Analyzing and compressing assembly code (CWF, EWM, ALW), pp. 117–121.

DAC-1983-KatzW #concept

Chip assemblers: Concepts and capabilities (RHK, SW), pp. 25–30.

DAC-1982-Szepieniec #assembly #named

SAGA: An Experimental Silicon Assembler (AAS), pp. 365–370.

DAC-1982-TrimbergerR #assembly #named #visual notation

Riot — a simple graphical chip assembly tool (ST, JAR), pp. 371–376.

VLDB-1982-Hawthorn #assembly #database #statistics #tuple

Microprocessor Assisted Tuple Access, Decompression and Assembly for Statistical Database Systems (PBH), pp. 223–233.

STOC-1982-BhattL #how

How to Assemble Tree Machines (Extended Abstract) (SNB, CEL), pp. 77–84.

DAC-1981-Bergsten #assembly #design

Computer-Aided Design, Manufacturing, Assembly and Test (CADMAT) (FCB), pp. 873–880.

DAC-1979-Lauther #algorithm #graph #representation

A min-cut placement algorithm for general cell assemblies based on a graph representation (UL), pp. 1–10.

DAC-1977-BobasV #automation #design

A design automation system for printed circuit board assemblies (AB, JV), pp. 341–350.

DAC-1977-Somaia #automation #logic #testing

An automated simultaneous probing system for testing complex logic assemblies “the bed of nails system” (RHS), pp. 64–67.

DAC-1975-Mory #assembly

Assembly drawings and bills of material creating system (ADMS) (HM), pp. 439–448.

DAC-1974-HarlowHRJD #automation

Automated inspection of electronic assemblies (CAH, SEH, DAR, RJJ, SJDI), pp. 98–106.

DAC-1973-TokunagaKMLO #assembly #diagrams #named

WIDAS — Wiring Diagram Assembly System (MT, TK, MM, CL, FO), pp. 199–204.

DAC-1970-PatchZ #logic #realtime

Real time diagnosis of logic assemblies (FDP, LMZ), pp. 108–115.