Stem assign$ (all stems)

341 papers:

ECSA-2015-BelleEDKM #architecture #polynomial #problem

The Layered Architecture Recovery as a Quadratic Assignment Problem (ABB, GEB, CD, SK, HM), pp. 339–354.

DAC-2015-BadrTG #hybrid #synthesis

Mask assignment and synthesis of DSA-MP hybrid lithography for sub-7nm contacts/vias (YB, AT, PG), p. 6.

DAC-2015-HuangCZL #behaviour #named #realtime #scheduling

PASS: priority assignment of real-time tasks with dynamic suspending behavior under fixed-priority scheduling (WHH, JJC, HZ, CL), p. 6.

SIGMOD-2015-KouUMG

Weighted Coverage based Reviewer Assignment (NMK, LHU, NM, ZG), pp. 2031–2046.

SIGMOD-2015-ZhengWLCF #crowdsourcing #named

QASCA: A Quality-Aware Task Assignment System for Crowdsourcing Applications (YZ, JW, GL, RC, JF), pp. 1031–1046.

VLDB-2015-KouUMLLG #topic

A Topic-based Reviewer Assignment System (NMK, LHU, NM, YL, YL, ZG), pp. 1852–1863.

ITiCSE-2015-AntonucciENPM #automation #incremental #programming

An Incremental Hint System For Automated Programming Assignments (PA, HCE, DN, MP, BM), pp. 320–325.

DLT-2015-Perevoshchikov #logic

Weight Assignment Logic (VP), pp. 413–425.

ICFP-2015-KeilT #contract #higher-order

Blame assignment for higher-order contracts with intersection and union (MK, PT), pp. 375–386.

CAiSE-2015-CabanillasKRRMC #named #process #visual notation

RALph: A Graphical Notation for Resource Assignments in Business Processes (CC, DK, MR, MR, JM, ARC), pp. 53–68.

KDD-2015-QianCMSL #named #recommendation

SCRAM: A Sharing Considered Route Assignment Mechanism for Fair Taxi Route Recommendations (SQ, JC, FLM, IS, ML), pp. 955–964.

SAC-2015-JamhourPPSB #network

Interference aware channel assignment for structured wireless sensor networks (EJ, MEP, MCP, RDS, GGdOB), pp. 716–719.

SAC-2015-JuniorSPM #developer

Developers assignment for analyzing pull requests (MLdLJ, DMS, AP, LM), pp. 1567–1572.

SAC-2015-Messaoud #collaboration #named

Dynamic: a collaborative filtering strategy for assigning examination’s rooms to supervisors (MBM), pp. 264–266.

ICSE-v2-2015-Szabo #comprehension #maintenance

Novice Code Understanding Strategies during a Software Maintenance Assignment (CS), pp. 276–284.

ECSA-2014-XuL #architecture #co-evolution #synthesis

Co-evolving Pattern Synthesis and Class Responsibility Assignment in Architectural Synthesis (YX, PL), pp. 74–81.

ASE-2014-CavalcantiMNAM #information retrieval #rule-based

Combining rule-based and information retrieval techniques to assign software change requests (YCC, IdCM, PAdMSN, ESdA, SRdLM), pp. 325–330.

ASE-2014-WozniakNZMPG #component #design

Assigning time budgets to component functions in the design of time-critical automotive systems (EW, MDN, HZ, CM, STP, SG), pp. 235–246.

CASE-2014-GunawanNPL #hybrid #metaheuristic #polynomial #problem

Hybrid metaheuristics for solving the quadratic assignment problem and the generalized quadratic assignment problem (AG, KMN, KLP, HCL), pp. 119–124.

DAC-2014-LiuCW #3d

Floorplanning and Signal Assignment for Silicon Interposer-based 3D ICs (WHL, MSC, TCW), p. 6.

DATE-2014-ChenLLSHC #3d

Yield and timing constrained spare TSV assignment for three-dimensional integrated circuits (YGC, KYL, MCL, YS, WKH, SCC), pp. 1–4.

CSEET-2014-BoeschS #automation #learning

Automated mentor assignment in blended learning environments (CB, KS), pp. 94–98.

ITiCSE-2014-PolitzKF #bibliography #framework #named #programming

CaptainTeach: a platform for in-flow peer review of programming assignments (JGP, SK, KF), p. 332.

ITiCSE-2014-PolitzPKF #bibliography #multi #named #programming

CaptainTeach: multi-stage, in-flow peer review for programming assignments (JGP, DP, SK, KF), pp. 267–272.

KDD-2014-SpasojevicYRB #multi #named #network #scalability #social #topic

LASTA: large scale topic assignment on multiple social networks (NS, JY, AR, PB), pp. 1809–1818.

KR-2014-Herzig #logic

Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments (AH).

RecSys-2014-LiuSM #robust

A robust model for paper reviewer assignment (XL, TS, NDM), pp. 25–32.

SEKE-2014-AnvikBBC

Assisting Software Projects with Assignment Recomender Creation (JA, MB, HB, JC), pp. 470–473.

FSE-2014-GulwaniRZ #feedback #generative #performance #problem #programming

Feedback generation for performance problems in introductory programming assignments (SG, IR, FZ), pp. 41–51.

FSE-2014-Joseph #framework #interactive #machine learning

Software programmer management: a machine learning and human computer interaction framework for optimal task assignment (HRJ), pp. 826–828.

CGO-2014-DingEO #architecture #compilation #congruence

Single Assignment Compiler, Single Assignment Architecture: Future Gated Single Assignment Form*; Static Single Assignment with Congruence Classes (SD, JE, SÖ), p. 196.

DAC-2013-RahimiBG #architecture

Aging-aware compiler-directed VLIW assignment for GPGPU architectures (AR, LB, RKG), p. 6.

DATE-2013-ChantemYHD #manycore #online #reliability #scheduling

Enhancing multicore reliability through wear compensation in online assignment and scheduling (TC, XY, XSH, RPD), pp. 1373–1378.

DATE-2013-KumarCT #approach #distributed #realtime #satisfiability

A satisfiability approach to speed assignment for distributed real-time systems (PK, DBC, LT), pp. 749–754.

DATE-2013-LukasiewyczSC #programming #using

Priority assignment for event-triggered systems using mathematical programming (ML, SS, SC), pp. 982–987.

DocEng-2013-YelogluMZ #clustering #concept #documentation #wiki

Beyond term clusters: assigning Wikipedia concepts to scientific documents (OY, EEM, ANZH), pp. 233–234.

CSEET-2013-BosnicCOZ #student

Picking the right project: Assigning student teams in a GSD course (IB, IC, MO, MZ), pp. 149–158.

CSEET-2013-Edwards #programming #testing

Adding software testing to programming assignments (SHE), pp. 371–373.

CSEET-2013-JezekMP #automation #evaluation #experience #question

Automated evaluation of regular lab assignments: A bittersweet experience? (PJ, MM, TP), pp. 249–258.

ITiCSE-2013-BalzuweitS #named #programming #visualisation

SnapViz: visualizing programming assignment snapshots (EB, JS), p. 350.

MSR-2013-ShokripourAKZ #debugging #recommendation #why

Why so complicated? simple term filtering and weighting for location-based bug report assignment recommendation (RS, JA, ZMK, SZ), pp. 2–11.

PLDI-2013-BlackshearL #composition #framework #semantics #specification

Almost-correct specifications: a modular semantic framework for assigning confidence to warnings (SB, SKL), pp. 209–218.

PLDI-2013-SinghGS #automation #feedback #generative #programming

Automated feedback generation for introductory programming assignments (RS, SG, ASL), pp. 15–26.

IFM-2013-Abrial #proving #source code

From Z to B and then Event-B: Assigning Proofs to Meaningful Programs (JRA), pp. 1–15.

HIMI-LCCB-2013-NakajimaT #generative #learning #online

New Potential of E-learning by Re-utilizing Open Content Online — TED NOTE: English Learning System as an Auto-assignment Generator (AN, KT), pp. 108–117.

HIMI-LCCB-2013-Takahashi13a

Role of Assigned Persona for Computer Supported Cooperative Work in Remote Control Environment (YT), pp. 372–380.

ICML-c1-2013-HoJV #adaptation #classification #crowdsourcing

Adaptive Task Assignment for Crowdsourced Classification (CJH, SJ, JWV), pp. 534–542.

ICML-c3-2013-WeinshallLH #topic #word

LDA Topic Model with Soft Assignment of Descriptors to Words (DW, GL, DH), pp. 711–719.

SAC-2013-PippinCW #multi #performance

Performance based task assignment in multi-robot patrolling (CP, HIC, LW), pp. 70–76.

CC-2013-BraunBHLMZ #performance

Simple and Efficient Construction of Static Single Assignment Form (MB, SB, SH, RL, CM, AZ), pp. 102–122.

LCTES-2013-MehiaouiWPMNZBLG #clustering #distributed #optimisation

A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems (AM, EW, STP, CM, MDN, HZ, JPB, LL, SG), pp. 121–132.

LCTES-2013-PorpodasC #adaptation #clustering #named #scheduling

LUCAS: latency-adaptive unified cluster assignment and instruction scheduling (VP, MC), pp. 45–54.

CSL-2013-GianantonioL #game studies #semantics

Innocent Game Semantics via Intersection Type Assignment Systems (PDG, ML), pp. 231–247.

CSL-2013-Statman #normalisation

A New Type Assignment for Strongly Normalizable Terms (RS), pp. 634–652.

LICS-2013-BalbianiHT #logic

Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL (PB, AH, NT), pp. 143–152.

CASE-2012-GhonaimGS #on the #problem

On the assignment problem of arbitrary processing time operations in partially overlapping manufacturing resources (WG, HG, WS), pp. 341–346.

CASE-2012-YalcindagMS #health #problem

Operator assignment and routing problems in home health care services (SY, AM, ES), pp. 329–334.

DAC-2012-LeeLHCCLS #design

Obstacle-avoiding free-assignment routing for flip-chip designs (PWL, HCL, YKH, YWC, CFC, IJL, CFS), pp. 1088–1093.

DATE-2012-FirouziKT

NBTI mitigation by optimized NOP assignment and insertion (FF, SK, MBT), pp. 218–223.

ESOP-2012-BartheDP

A Formally Verified SSA-Based Middle-End — Static Single Assignment Meets CompCert (GB, DD, DP), pp. 47–66.

ICALP-v1-2012-Marchetti-SpaccamelaRSW #parallel

Assigning Sporadic Tasks to Unrelated Parallel Machines (AMS, CR, SvdS, AW), pp. 665–676.

CHI-2012-BruunS #testing #usability

The effect of task assignments and instruction types on remote asynchronous usability testing (AB, JS), pp. 2117–2126.

CSCW-2012-VaatajaE #challenge #mobile

Briefing news reporting with mobile assignments: perceptions, needs and challenges (HV, PE), pp. 485–494.

ICPR-2012-PanS #3d

3D shape isometric correspondence by spectral assignment (XP, LGS), pp. 2210–2213.

SAC-2012-ArpiniA #behaviour #enterprise #modelling #on the

On the support for the assignment of active structure and behavior in enterprise modeling approaches (RHA, JPAA), pp. 1686–1693.

SAC-2012-CruzFP #source code #verification

Verification conditions for single-assignment programs (DCdC, MJF, JSP), pp. 1264–1270.

ICSE-2012-ServantJ #automation #developer #fault #locality #named

WhoseFault: Automatic developer-to-fault assignment through fault localization (FS, JAJ), pp. 36–46.

ASPLOS-2012-RadojkovicCMVPCNV #approach #parallel #statistics #thread

Optimal task assignment in multithreaded processors: a statistical approach (PR, VC, MM, JV, AP, FJC, MN, MV), pp. 235–248.

CAV-2012-DilligDMA #smt

Minimum Satisfying Assignments for SMT (ID, TD, KLM, AA), pp. 394–409.

ICST-2012-JonssonBSE #automation #scalability #towards #using

Towards Automated Anomaly Report Assignment in Large Complex Systems Using Stacked Generalization (LJ, DB, KS, SE), pp. 437–446.

DAC-2011-JooK #fine-grained #named

WaveMin: a fine-grained clock buffer polarity assignment combined with buffer sizing (DJ, TK), pp. 522–527.

DAC-2011-LiuZYZ #3d #algorithm

An integrated algorithm for 3D-IC TSV assignment (XL, YZ, GKY, XZ), pp. 652–657.

DAC-2011-MaYW #algorithm

An optimal algorithm for layer assignment of bus escape routing on PCBs (QM, EFYY, MDFW), pp. 176–181.

DATE-2011-ZukoskiCM #logic #synthesis

Reliability-driven don’t care assignment for logic synthesis (AZ, MRC, KM), pp. 1560–1565.

HT-2011-Landow #education #effectiveness #web #wiki

The victorian web and the victorian course wiki: comparing the educational effectiveness of identical assignments in web 1.0 and web 2.0 (GPL), pp. 305–312.

CSEET-2011-ChenT #programming #quality #smell

Grading code quality of programming assignments based on bad smells (WKC, PYT), p. 559.

CSEET-2011-SouzaMB #evaluation #named #process #programming #testing

ProgTest: An environment for the submission and evaluation of programming assignments based on testing activities (DMdS, JCM, EFB), pp. 1–10.

ITiCSE-2011-TremblayL

A marking language for the oto assignment marking tool (GT, PL), pp. 148–152.

ICALP-v1-2011-MakarychevS #constraints

Maximizing Polynomials Subject to Assignment Constraints (KM, MS), pp. 510–520.

CEFP-2011-Grelck #c #performance

Single Assignment C (SAC) High Productivity Meets High Performance (CG), pp. 207–278.

CHI-2011-LiuSII #interface #multi #named #sketching

Roboshop: multi-layered sketching interface for robot housework assignment and management (KL, DS, MI, TI), pp. 647–656.

ICEIS-v2-2011-BadarudinSSMM #algorithm #memory management #problem #representation #search-based

An Improved Genetic Algorithm with Gene Value Representation and Short Term Memory for Shape Assignment Problem (IB, ABMS, MNS, AM, MTMM), pp. 178–183.

CIKM-2011-BlancoCJKL #distributed #documentation

Assigning documents to master sites in distributed search (RB, BBC, FPJ, IK, VL), pp. 67–76.

MoDELS-2011-AkiyamaHKS #design #refactoring

Supporting Design Model Refactoring for Improving Class Responsibility Assignment (MA, SH, TK, MS), pp. 455–469.

MoDELS-2011-AkiyamaHKS #design #refactoring

Supporting Design Model Refactoring for Improving Class Responsibility Assignment (MA, SH, TK, MS), pp. 455–469.

RE-2011-PuhlF #how #requirements #towards

How to assign cost to “avoidable requirements creep”: A step towards the waterfall’s agilization (SP, RF), pp. 307–312.

TLCA-2011-RoweB #approximate #object-oriented #programming #semantics

Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming — (Extended Abstract) (RNSR, SvB), pp. 229–244.

CASE-2010-SadkiXC

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

DAC-2010-LiuZYCSZ #design

Global routing and track assignment for flip-chip designs (XL, YZ, GKY, CC, JS, XZ), pp. 90–93.

DATE-2010-AgheraKFCR #energy #named #performance

DynAHeal: Dynamic energy efficient task assignment for wireless healthcare systems (PA, DK, DF, AKC, TR), pp. 1661–1664.

ITiCSE-2010-Cross #learning

Promoting active learning through assignments (GWC), p. 306.

FASE-2010-LehnerM #performance #runtime

Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups (HL, PM), pp. 338–352.

ICALP-v1-2010-MakarychevMS #algorithm #approximate #polynomial #problem #reduction

Maximum Quadratic Assignment Problem: Reduction from Maximum Label Cover and LP-Based Approximation Algorithm (KM, RM, MS), pp. 594–604.

KEOD-2010-Martinez-VillasenorGGH #multi #ontology #queue

An Ontology Driven Multi-agent System for Client Assignment in a Bank Queue (MdLMV, DGM, MGM, NHG), pp. 241–250.

SAC-2010-AminBJ10a #wiki

Wikipedia driven autonomous label assignment in wrapper induced tables with missing column names (MSA, AB, HMJ), pp. 1656–1660.

CC-2010-BraunMH

Preference-Guided Register Assignment (MB, CM, SH), pp. 205–223.

CC-2010-RoyS #optimisation

The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations (SR, YNS), pp. 304–323.

PPoPP-2010-CastaldoW #parallel #scalability #using

Scaling LAPACK panel operations using parallel cache assignment (AMC, RCW), pp. 223–232.

PPoPP-2010-MannarswamyCRS #compilation #memory management #performance #transaction

Compiler aided selective lock assignment for improving the performance of software transactional memory (SM, DRC, KR, SS), pp. 37–46.

SAT-2010-NadelR #stack

Assignment Stack Shrinking (AN, VR), pp. 375–381.

DAC-2009-FangWC #co-evolution #design

Flip-chip routing with unified area-I/O pad assignments for package-board co-design (JWF, MDFW, YWC), pp. 336–339.

DAC-2009-JangK

Simultaneous clock buffer sizing and polarity assignment for power/ground noise minimization (HJ, TK), pp. 794–799.

DATE-2009-GhasemzadehJSJ #communication #network

Communication minimization for in-network processing in body sensor networks: A buffer assignment technique (HG, NJ, MS, RJ), pp. 358–363.

DATE-2009-LuCLS #co-evolution #design

Package routability- and IR-drop-aware finger/pad assignment in chip-package co-design (CHL, HMC, CNJL, WYS), pp. 845–850.

DATE-2009-PuschiniCBST #distributed #energy #latency

Dynamic and distributed frequency assignment for energy and latency constrained MP-SoC (DP, FC, PB, GS, LT), pp. 1564–1567.

VLDB-2009-CohenKS #coordination #multi

Coordinated Weighted Sampling for Estimating Aggregates Over Multiple Weight Assignments (EC, HK, SS), pp. 646–657.

VLDB-2009-UMM #algorithm #multi #query

A Fair Assignment Algorithm for Multiple Preference Queries (LHU, NM, KM), pp. 1054–1065.

ITiCSE-2009-Djordjevic

Progressive assignment in CS1 (MD), p. 346.

ITiCSE-2009-Mohr #novel #prolog

Two novel prolog assignments (JM), p. 350.

ICPC-2009-BaysalGC #automation #debugging #framework

A bug you like: A framework for automated assignment of bugs (OB, MWG, RC), pp. 297–298.

ICSM-2009-HuangSWSW #industrial #legacy #mining #preprocessor

Preprocessing the noise in legacy user permission assignment data for role mining — An industrial practice (CH, JS, XW, YS, DW), pp. 403–406.

MSR-2009-MatterKN #debugging #developer #using

Assigning bug reports using a vocabulary-based expertise model of developers (DM, AK, ON), pp. 131–140.

SAS-2009-CalmanZ #interprocedural

Increasing the Scope and Resolution of Interprocedural Static Single Assignment (SC, JZ), pp. 154–170.

ICALP-v1-2009-Mehlhorn

Assigning Papers to Referees (KM), pp. 1–2.

HIMI-DIE-2009-NelsonV #self

Effects of a Mnemonic Technique on Subsequent Recall of Assigned and Self-generated Passwords (DN, KPLV), pp. 693–701.

ICEIS-AIDSS-2009-OReilly #algorithm #multi #optimisation #using

Frequency Assignment Optimization using the Swarm Intelligence Multi-agent based Algorithm (SIMBA) (GBO), pp. 25–32.

CIKM-2009-KarimzadehganZ #bibliography #multi

Constrained multi-aspect expertise matching for committee review assignment (MK, CZ), pp. 1697–1700.

ICML-2009-StreichFBB #clustering #multi

Multi-assignment clustering for Boolean data (APS, MF, DAB, JMB), pp. 969–976.

KDD-2009-DingLZ #mining

Entity discovery and assignment for opinion mining applications (XD, BL, LZ), pp. 1125–1134.

KDIR-2009-NettletonMM #case study #evaluation #image #internet

User Study of the Assignment of Objective and Subjective Type Tags to Images in Internet — Evaluation for Native and non Native English Language Taggers (DFN, MCM, BML), pp. 99–104.

RecSys-2009-ConryKR #problem #recommendation

Recommender systems for the conference paper assignment problem (DC, YK, NR), pp. 357–360.

SIGIR-2009-BaileyKG #topic

Undergraduates’ evaluations of assigned search topics (EWB, DK, KG), pp. 812–813.

CASE-2008-JungL #clustering #performance #scheduling #tool support

Efficient scheduling method based on an assignment model for robotized cluster tools (CJ, TEL), pp. 79–84.

CASE-2008-NishiTI #approach #automation #composition #optimisation #petri net

Petri Net decomposition approach for the simultaneous optimization of task assignment and routing with automated guided vehicles (TN, YT, MI), pp. 175–180.

DAC-2008-ZhouYP #compilation #reduction

Compiler-driven register re-assignment for register file power-density and temperature reduction (XZ, CY, PP), pp. 750–753.

DATE-2008-ChantemDH #realtime #scheduling

Temperature-Aware Scheduling and Assignment for Hard Real-Time Applications on MPSoCs (TC, RPD, XSH), pp. 288–293.

DATE-2008-HashemiG #algorithm #approximate #pipes and filters #synthesis

Exact and Approximate Task Assignment Algorithms for Pipelined Software Synthesis (MH, SG), pp. 746–751.

DATE-2008-MeisterLT #algorithm #component #novel

Novel Pin Assignment Algorithms for Components with Very High Pin Counts (TM, JL, GT), pp. 837–842.

SIGMOD-2008-UYMM #capacity #database

Capacity constrained assignment in spatial databases (LHU, MLY, KM, NM), pp. 15–28.

ITiCSE-2008-EdwardsP #automation #named #programming

Web-CAT: automatically grading programming assignments (SHE, MAPQ), p. 328.

ITiCSE-2008-GotelSW #assessment #assurance #education #open source #programming #quality #student

Teaching software quality assurance by encouraging student contributions to an open source web-based system for the assessment of programming assignments (OG, CS, AW), pp. 214–218.

CAiSE-2008-SofferKW #modelling #ontology #petri net #process #semantics

Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets (PS, MK, YW), pp. 16–31.

CIKM-2008-KarimzadehganZB #bibliography #multi

Multi-aspect expertise matching for review assignment (MK, CZ, GGB), pp. 1113–1122.

SEKE-2008-ChenLMW #algorithm #case study #optimisation #polynomial #problem #verification

Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver (TYC, HL, RGM, DW), pp. 16–21.

RE-2008-FinkelsteinHMRZ #analysis #requirements

“Fairness Analysis” in Requirements Assignments (AF, MH, SAM, JR, YZ), pp. 115–124.

SAC-2008-BussBSE #analysis #flexibility #graph #pointer #using

Flexible pointer analysis using assign-fetch graphs (MB, DB, VCS, SAE), pp. 234–239.

CASE-2007-PiS #process

Resource-Task Assignment Process with Rejections and Reassignments (LP, LS), pp. 448–453.

DAC-2007-WuW #detection #incremental

Improving Voltage Assignment by Outlier Detection and Incremental Placement (HW, MDFW), pp. 459–464.

DATE-2007-LinH #interactive #reduction #statistics

Interactive presentation: Statistical dual-Vdd assignment for FPGA interconnect power reduction (YL, LH), pp. 636–641.

DATE-2007-SirowyWLV07a #multi

Clock-frequency assignment for multiple clock domain systems-on-a-chip (SS, YW, SL, FV), pp. 397–402.

ITiCSE-2007-Helmick #automation #interface #java #programming #source code

Interface-based programming assignments and automatic grading of java programs (MTH), pp. 63–67.

ICSM-2007-BowmanBL #algorithm #multi #search-based

Multi-Objective Genetic Algorithm to Support Class Responsibility Assignment (MB, LCB, YL), pp. 124–133.

WCRE-2007-StaigerVKW #interprocedural

Interprocedural Static Single Assignment Form (SS, GV, SK, EW), pp. 1–10.

ECIR-2007-Silvestri #documentation #identifier #problem #sorting

Sorting Out the Document Identifier Assignment Problem (FS), pp. 101–112.

SAC-2007-ChenTL

A priority assignment strategy of processing elements over an on-chip bus (YSC, SJT, SWL), pp. 1176–1180.

SAC-2007-KanzakiHN #ad hoc #mobile #network #performance #protocol

An efficient TDMA slot assignment protocol in mobile ad hoc networks (AK, TH, SN), pp. 891–895.

SAC-2007-LiuT #game studies #random

Eigen-distribution on assignments for game trees with random properties (CL, KT), pp. 78–79.

SAC-2007-YingboJJ #approach #machine learning #workflow

A machine learning approach to semi-automating workflow staff assignment (YL, JW, JS), pp. 340–345.

PPoPP-2007-SaitoT #rank

Locality-aware connection management and rank assignment for wide-area MPI (HS, KT), pp. 150–151.

PPoPP-2007-ZhangSZSG #concurrent

Optimized lock assignment and allocation: a method for exploiting concurrency among critical sections (YZ, VCS, WZ, VS, GRG), pp. 146–147.

CSL-2007-GaboardiR #calculus

A Soft Type Assignment System for λ -Calculus (MG, SRDR), pp. 253–267.

SAT-2007-HeuleM #multi

From Idempotent Generalized Boolean Assignments to Multi-bit Search (MH, HvM), pp. 134–147.

DAC-2006-MengSK #embedded #power management #reduction

Leakage power reduction of embedded memories on FPGAs through location assignment (YM, TS, RK), pp. 612–617.

DAC-2006-WuWL

Timing-constrained and voltage-island-aware voltage assignment (HW, MDFW, IML), pp. 429–432.

DATE-2006-AmelifardFP #using

Reducing the sub-threshold and gate-tunneling leakage of SRAM cells using Dual-Vt and Dual-Tox assignment (BA, FF, MP), pp. 995–1000.

CSEET-2006-Frailey #re-engineering

Bringing Realistic Software Engineering Assignments to the Software Engineering Classroom (DJF), pp. 51–60.

ITiCSE-2006-StevensonW #programming

Developing real-world programming assignments for CS1 (DES, PJW), pp. 158–162.

ICPC-2006-ClearyE #eclipse #plugin

The Cognitive Assignment Eclipse Plug-in (BC, CE), pp. 241–244.

SEKE-2006-CookeRW #verification

The Evolutionary Role of Variable Assignment and Its Impact on Program Verification (DEC, JNR, RGW), pp. 315–320.

PPDP-2006-MatsunoO #type system

A type system equivalent to static single assignment (YM, AO), pp. 249–260.

SAC-2006-CanforaC #development #open source

Supporting change request assignment in open source development (GC, LC), pp. 1767–1772.

ICSE-2006-Anvik #automation #debugging

Automating bug report assignment (JA), pp. 937–940.

SAT-2006-Goldberg #algorithm

Determinization of Resolution by an Algorithm Operating on Complete Assignments (EG), pp. 90–95.

DAC-2005-CortesEP #energy #realtime

Quasi-static assignment of voltages and optional cycles for maximizing rewards in real-time systems with energy c-onstraints (LAC, PE, ZP), pp. 889–894.

DAC-2005-JinS #performance

Prime clauses for fast enumeration of satisfying assignments to boolean circuits (HJ, FS), pp. 750–753.

DAC-2005-LiK #architecture

Locality-conscious workload assignment for array-based computations in MPSOC architectures (FL, MTK), pp. 95–100.

DAC-2005-LinH #performance #reduction

Leakage efficient chip-level dual-Vdd assignment with time slack allocation for FPGA power reduction (YL, LH), pp. 720–725.

DATE-2005-DasygenisBDCST #energy #memory management #performance

A Memory Hierarchical Layer Assigning and Prefetching Technique to Overcome the Memory Performance/Energy Bottleneck (MD, EB, BD, FC, DS, AT), pp. 946–947.

DATE-2005-SrinivasanLV #architecture #clustering

Simultaneous Partitioning and Frequency Assignment for On-Chip Bus Architectures (SS, LL, NV), pp. 218–223.

VLDB-2005-ShahRR #network

Client Assignment in Content Dissemination Networks for Dynamic Data (SS, KR, CVR), pp. 673–684.

TACAS-2005-JinHS #analysis #performance

Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit (HJ, HH, FS), pp. 287–300.

SCAM-2005-Singer #code generation #concept #debugging

Concept Assignment as a Debugging Technique for Code Generators (JS), pp. 75–86.

ICALP-2005-Hast #approximate #linear #named #random

Approximating — Outperforming a Random Assignment with Almost a Linear Factor (GH), pp. 956–968.

IFL-2005-ShafarenkoSHGT #case study #equation #experience #implementation #lessons learnt #using

Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences (AVS, SBS, SH, CG, KT), pp. 160–177.

ICEIS-v4-2005-DaniGP05a #constraints #design

Design of Continuous Call Market with Assignment Constraints (ARD, VPG, AKP), pp. 182–187.

CIKM-2005-Yeh #bound

An RSA-based time-bound hierarchical key assignment scheme for electronic article subscription (JhY), pp. 285–286.

ECIR-2005-MartinsCS #web

Assigning Geographical Scopes To Web Pages (BM, MSC, MJS), pp. 564–567.

ICML-2005-FrohlichWSZ #graph #kernel

Optimal assignment kernels for attributed molecular graphs (HF, JKW, FS, AZ), pp. 225–232.

SAC-2005-BartakR

Limited assignments: a new cutoff strategy for incomplete depth-first search (RB, HR), pp. 388–392.

SAC-2005-KanzakiHN #ad hoc #adaptation #network #protocol

An adaptive TDMA slot assignment protocol in ad hoc sensor networks (AK, TH, SN), pp. 1160–1165.

COCV-J-2005-GalPF05a #encoding

Structural Encoding of Static Single Assignment Form (AG, CWP, MF), pp. 85–102.

DAC-2004-ParkCYC #power management #testing

A new state assignment technique for testing and low power (SP, SC, SY, MJC), pp. 510–513.

DAC-2004-SrivastavaSB04a #power management #using

Power minimization using simultaneous gate sizing, dual-Vdd and dual-Vth assignment (AS, DS, DB), pp. 783–787.

DATE-v1-2004-LeeDBS #power management

Simultaneous State, Vt and Tox Assignment for Total Standby Power Minimization (DL, HD, DB, DS), pp. 494–499.

DATE-v1-2004-SrivastavaSB #concurrent #design #power management

Concurrent Sizing, Vdd and Vth Assignment for Low-Power Design (AS, DS, DB), pp. 718–719.

ITiCSE-2004-PazL #automation #concept #functional #programming

Emergence of automated assignment conceptions in a functional programming course (TP, TL), pp. 181–185.

TACAS-2004-RaviS #bound #model checking

Minimal Assignments for Bounded Model Checking (KR, FS), pp. 31–45.

ICSM-2004-MohanGL #approach #complexity #comprehension #concept #using

An Approach to Understanding Program Comprehensibility Using Spatial Complexity, Concept Assignment and Typographical Style (AM, NG, PJL), p. 530.

ICALP-2004-AndrewsZ #capacity #network

Wavelength Assignment in Optical Networks with Fixed Fiber Capacity (MA, LZ), pp. 134–145.

IFL-2004-Cristobal-SalasCRG #message passing #program transformation #source code

Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations (ACS, AC, ERA, JLG), pp. 1–16.

ICEIS-v1-2004-BauerR #distributed #workflow

Dynamic Change of Server Assignments in Distributed Workflow Management Systems (TB, MR), pp. 91–98.

ICML-2004-DingH #clustering

Linearized cluster assignment via spectral ordering (CHQD, XH).

ICPR-v3-2004-JuszczakD

Selective Sampling Based on the Variation in Label Assignments (PJ, RPWD), pp. 375–378.

SIGIR-2004-SilvestriOP #clustering #documentation #identifier

Assigning identifiers to documents to enhance the clustering property of fulltext indexes (FS, SO, RP), pp. 305–312.

SAC-2004-FeltlR #algorithm #hybrid #problem #search-based

An improved hybrid genetic algorithm for the generalized assignment problem (HF, GRR), pp. 990–995.

SAC-2004-SilvestriPO #documentation #identifier #web

Assigning document identifiers to enhance compressibility of Web Search Engines indexes (FS, RP, SO), pp. 600–605.

SAC-2004-UngureanuMBK #clustering

Class-Dependent Assignment in cluster-based servers (VU, BM, PGB, MNK), pp. 1420–1425.

LCTES-2004-HiserD #algorithm #compilation #memory management #named #performance

EMBARC: an efficient memory bank assignment algorithm for retargetable compilers (JH, JWD), pp. 182–191.

LCTES-2004-ZhuangP #embedded #power management

Power-efficient prefetching via bit-differential offset assignment on embedded processors (XZ, SP), pp. 67–77.

SAT-2004-Stachniak

A Note on Satisfying Truth-Value Assignments of Boolean Formulas (ZS), pp. 104–110.

DAC-2003-LeeB #reduction

Static leakage reduction through simultaneous threshold voltage and state assignment (DL, DB), pp. 191–194.

DAC-2003-SzymanekK #constraints #graph

Partial task assignment of task graphs under heterogeneous resource constraints (RS, KK), pp. 244–249.

DATE-2003-BrockmeyerMCC #energy #memory management #multi

Layer Assignment echniques for Low Energy in Multi-Layered Memory Organisations (EB, MM, HC, FC), pp. 11070–11075.

DATE-2003-HagaRBM #functional #power management

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

ITiCSE-2003-Becker03a #programming #using

Grading programming assignments using rubrics (KB), p. 253.

ITiCSE-2003-Becker03b #student

Assignments that meet the needs of exceptional students without disadvantaging the average (KB), p. 271.

ITiCSE-2003-KolasF #game studies #motivation #using

Increasing assignment motivation using a game Al tournament (ØK, IF), p. 269.

ITiCSE-2003-PapamanthouP #algorithm #problem #visualisation

A visualization of the primal simplex algorithm for the assignment problem (CP, KP), p. 267.

ITiCSE-2003-ParkerB #behaviour #effectiveness

Measuring effectiveness of constructivist and behaviourist assignments in CS102 (JRP, KB), pp. 40–44.

FoSSaCS-2003-DunfieldP #call-by

Type Assignment for Intersections and Unions in Call-by-Value Languages (JD, FP), pp. 250–266.

ICALP-2003-FialaP #complexity #problem

The Computational Complexity of the Role Assignment Problem (JF, DP), pp. 817–828.

ICSE-2003-SindreLV #case study #experience #programming

Positive Experiences with an Open Project Assignment in an Introductory Programming Course (GS, SL, OVV), pp. 608–613.

CC-2003-KandemirICR

Address Register Assignment for Reducing Code Size (MTK, MJI, GC, JR), pp. 273–289.

CC-2003-Leupers #algorithm #evaluation #optimisation

Offset Assignment Showdown: Evaluation of DSP Address Code Optimization Algorithms (RL), pp. 290–302.

LCTES-2003-ZhuangLP #embedded #optimisation

Storage assignment optimizations through variable coalescence for embedded processors (XZ, CL, SP), pp. 220–231.

VMCAI-2003-CatanoH #ml #named #static analysis

CHASE: A Static Checker for JML’s Assignable Clause (NC, MH), pp. 26–40.

DAC-2002-ChoiK #code generation #scheduling

Address assignment combined with scheduling in DSP code generation (YC, TK), pp. 225–230.

DAC-2002-SeoKP #algorithm #memory management #synthesis

An integrated algorithm for memory allocation and assignment in high-level synthesis (JS, TK, PRP), pp. 608–611.

DAC-2002-XiangWT #algorithm

An algorithm for integrated pin assignment and buffer planning (HX, DFW, XT), pp. 584–589.

DATE-2002-SavoiuSG #automation #concurrent #modelling #performance #simulation

Automated Concurrency Re-Assignment in High Level System Models for Efficient System-Level Simulation (NS, SKS, RKG), pp. 875–881.

DATE-2002-SteinkeWLM #energy #reduction

Assigning Program and Data Objects to Scratchpad for Energy Reduction (SS, LW, BSL, PM), pp. 409–415.

ITiCSE-2002-Pardo #automation #framework #multi

A multi-agent platform for automatic assignment management (AP), pp. 60–64.

WCRE-2002-HarmanGHB #algorithm #concept #slicing

Code Extraction Algorithms which Unify Slicing and Concept Assignment (MH, NG, RMH, DB), pp. 11–21.

STOC-2002-HastadV #on the #random

On the advantage over a random assignment (JH, SV), pp. 43–52.

LCTES-SCOPES-2002-ChoPW #algorithm #architecture #graph #memory management #performance

Efficient register and memory assignment for non-orthogonal architectures via graph coloring and MST algorithms (JC, YP, DBW), pp. 130–138.

ITiCSE-2001-Cassel #problem #student #summary

Reading summaries: relating class to student’s problems with the current reading assignment (LNC), p. 188.

ITiCSE-2001-Huizinga #identification #online #programming #topic

Identifying topics for instructional improvement through on-line tracking of programming assignments (DMH), pp. 129–132.

ICSM-2001-Gold #concept #maintenance

Hypothesis-Based Concept Assignment to Support Software Maintenance (NG), pp. 545–548.

PLDI-2001-AmmeDFR #named #representation #type safety

SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form (WA, ND, MF, JvR), pp. 137–147.

KDD-2001-KaltonLWY #clustering #learning

Generalized clustering, supervised learning, and data assignment (AK, PL, KW, JPY), pp. 299–304.

DAC-2000-GhoshF #automation #diagrams #functional #generative #using

Automatic test pattern generation for functional RTL circuits using assignment decision diagrams (IG, MF), pp. 43–48.

ITiCSE-2000-BarrosP

A versatile assignment in CS 2(poster session): a file compression utility based on the Huffman code (JPB, RP), p. 185.

ITiCSE-2000-Greening #programming #student

Students seen flocking in programming assignments (TG), pp. 93–96.

ITiCSE-2000-Holliday #kernel #operating system

A kernel-based synchronization assignment for the operating systems course (MAH), p. 184.

ITiCSE-2000-OdekirkJJ #case study #experience #java #using

Three semesters of CSO using Java: assignments and experiences (EO, DJ, PJ), pp. 144–147.

ITiCSE-2000-SatrazemiD #effectiveness #programming #student

Telemachus an effective electronic marker of students’ programming assignments (poster session) (MS, VD), pp. 191–192.

PLDI-2000-Das #analysis #pointer

Unification-based pointer analysis with directional assignments (MD), pp. 35–46.

ICALP-2000-MargaraS #network #problem

Wavelength Assignment Problem on All-Optical Networks with k Fibres per Link (LM, JS), pp. 768–779.

CAiSE-2000-BauerD #distributed #performance #workflow

Efficient Distributed Workflow Management Based on Variable Server Assignments (TB, PD), pp. 94–109.

CC-2000-AycockH #generative

Simple Generation of Static Single-Assignment Form (JA, RNH), pp. 110–124.

HPCA-2000-CanalPG #clustering

Dynamic Cluster Assignment Mechanisms (RC, JMP, AG), pp. 133–142.

HPDC-2000-SchroderH #evaluation #policy

Evaluation of Task Assignment Policies for Supercomputing Servers: The Case for Load Unbalancing and Fairness (BS, MHB), pp. 211–220.

LICS-2000-YoshidaH #process

Assigning Types to Processes (NY, MH), pp. 334–345.

DAC-1999-PatraN #automation #power management #synthesis

Automated Phase Assignment for the Synthesis of Low Power Domino Circuits (PP, UN), pp. 379–384.

DATE-1999-Kuchcinski #constraints #finite #graph #scheduling #using

Integrated Resource Assignment and Scheduling of Task Graphs Using Finite Domain Constraints (KK), pp. 772–773.

TACAS-1999-RyuH #algorithm #design #realtime

A Period Assignment Algorithm for Real-Time System Design (MR, SH), pp. 34–43.

PLDI-1999-LeungG

Static Single Assignment Form for machine Code (AL, LG), pp. 204–214.

PLDI-1999-RaoP #embedded #optimisation #performance

Storage Assignment Optimizations to Generate Compact and Efficient Code on Embedded DSPs (AR, SP), pp. 128–138.

SAS-1999-SreedharJGS

Translating Out of Static Single Assignment Form (VCS, RDCJ, DMG, VS), pp. 194–210.

IFM-1999-Mery #automaton #requirements

Requirements for a Temporal B — Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems (DM), pp. 395–414.

SAC-1999-DunningR #estimation #heuristic #optimisation

A Heuristic Cost Estimation Method for Optimizing Assignment of Tasks to Processors (LAD, SR), pp. 358–364.

SAC-1999-VenkataramanaR #automaton #framework #learning

A Learning Automata Based Framework for Task Assignment in Heterogeneous Computing Systems (RDV, NR), pp. 541–547.

DATE-1998-MartinezAQH #problem

A Dynamic Model for the State Assignment Problem (MM, MJA, JMQ, JLH), pp. 835–839.

DATE-1998-ParulkarGB #scheduling

Scheduling and Module Assignment for Reducing Bist Resources (IP, SKG, MAB), pp. 66–73.

ITiCSE-1998-RosenSB #induction #student

An augmented induction for HND computer studies students through an early integrated, inter-disciplinary assignment (CR, DS, JIB), pp. 219–222.

PLDI-1998-HastiH #analysis #pointer #using

Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis (RH, SH), pp. 97–105.

STOC-1998-Zwick

Finding Almost-Satisfying Assignments (UZ), pp. 551–560.

SIGIR-1998-TakakiK #performance

Efficient Search Server Assignment in a Disproportionate System Environment (TT, TK), pp. 375–376.

SAC-1998-Li98a #algorithm #distributed #online #random

Deterministic and randomized algorithms for distributed on-line task assignment and load balancing without load status information (KL), pp. 613–622.

SAC-1998-SandadlidisSR #combinator #evolution

A combinatorial evolution strategy for dynamic channel assignment in cellular radio (HGS, PPS, JRT), pp. 303–307.

LCTES-1998-Balarin #embedded #realtime

Priority Assignment for Embedded Reactive Real-Time Systems (FB), pp. 146–155.

LICS-1998-Yokouchi #quantifier

Completeness of Type Assignment Systems with Intersection, Union, and Type Quantifiers (HY), pp. 368–379.

DAC-1997-ChangC #approach #multi #performance

An Efficient Approach to Multi-Layer Layer Assignment with Application to Via Minimization (CCC, JC), pp. 600–603.

ITiCSE-1997-PriceP #education #empirical #evaluation #feedback #programming

Teaching programming through paperless assignments: an empirical evaluation of instructor feedback (BAP, MP), pp. 94–99.

CIKM-1997-DogduO #execution #realtime #transaction

Real-Time Transactions with Execution Histories: Priority Assignment and Load Control (ED, GÖ), pp. 301–308.

SAC-1997-KhuriC #algorithm #heuristic #problem

Heuristic algorithms for the terminal assignment problem (SK, TC), pp. 247–251.

SAC-1997-LiKI #network

Balanced assignment of cells in PCS networks (JL, HK, HI), pp. 297–301.

SAC-1997-LuL #protocol

A negotiation protocol for batch task assignments in dynamic load distribution (CL, SML), pp. 447–453.

ICLP-1997-KagedalD #approach #array #reuse

A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages (AK, SKD), pp. 18–32.

SAC-1996-HurleyTS #algorithm #comparison #problem

A comparison of local search algorithms for radio link frequency assignment problems (SH, SUT, DHS), pp. 251–257.

CC-1996-ChoiSS #incremental

Incremental Computation of Static Single Assignment Form (JDC, VS, ES), pp. 223–237.

CC-1996-LiK #performance #reuse

Efficient Storage Reuse of Aggregates in Single Assignment Languages (ZL, CCK), pp. 238–252.

DAC-1995-FabbroFCG #modelling #probability #standard #worst-case

An Assigned Probability Technique to Derive Realistic Worst-Case Timing Models of Digital Standard Cells (ADF, BF, LC, CG), pp. 702–706.

DAC-1995-LiuPD #performance #scalability

A Fast State Assignment Procedure for Large FSMs (SL, MP, AMD), pp. 327–332.

PLDI-1995-KnoopRS #power of

The Power of Assignment Motion (JK, OR, BS), pp. 233–245.

PLDI-1995-LiaoDKTW

Storage Assignment to Decrease Code Size (SYL, SD, KK, SWKT, AW), pp. 186–195.

SAS-1995-Colby #concurrent #source code

Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data (CC), pp. 64–81.

DAC-1994-BhattacharyaDB #optimisation #resource management

Clock Period Optimization During Resource Sharing and Assignment (SB, SD, FB), pp. 195–200.

SAC-1994-Li #equivalence #graph #on the

On the equivalence of pull-up transistor assignment in PLA folding and distribution graph (WNL), pp. 374–378.

DAC-1993-ChuML #finite #performance #state machine

An Efficient Critical Race-Free State Assignment Technique for Asynchronous Finite State Machines (TAC, NM, CKCL), pp. 2–6.

DAC-1993-Leveugle #fault tolerance

Optimized State Assignment of single fault Tolerant FSMs Based on SEC Codes (RL), pp. 14–18.

CSM-1993-CimitileFM #concept #re-engineering #reuse #validation

Reuse Reengineering and Validation via Concept Assignment (AC, ARF, PM), pp. 216–225.

POPL-1993-OderskyRH #call-by #λ-calculus

Call by Name, Assignment, and the λ Calculus (MO, DR, PH), pp. 43–56.

POPL-1993-SrinivasanHW #parallel #source code

Static Single Assignment for Explicitely Parallel Programs (HS, JH, MW), pp. 260–272.

POPL-1993-WeeksF #algol #on the #orthogonal

On the Orthogonality of Assignments and Procedures in Algol (SW, MF), pp. 57–70.

SAC-1993-RamakrishnanDN #policy

An Integrated Optimal Task Assignment Policy (SR, LAD, TN), pp. 789–795.

ICSE-1993-BiggerstaffMW #comprehension #concept #problem

The Concept Assignment Problem in Program Understanding (TJB, BGM, DEW), pp. 482–498.

ICLP-1993-CarlssonG #automation #constraints #using

Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques (MC, MG), pp. 647–665.

ICLP-1993-Debray #on the

On Copy Avoidance in Single Assignment Languages (SKD), pp. 393–407.

TLCA-1993-Bakel #term rewriting

Partial Intersection Type Assignment in Applicative Term Rewriting Systems (SvB), pp. 29–44.

TLCA-1993-BarbaneraF #higher-order #term rewriting

Combining First and Higher Order Rewrite Systems with Type Assignment Systems (FB, MF), pp. 60–74.

DAC-1992-GeurtsCM #throughput

Time Constrained Allocation and Assignment Techniques for High Throughput Signal Processing (WG, FC, HDM), pp. 124–127.

DAC-1992-HongHCK #algorithm #named #performance

FARM: An Efficient Feed-Through Pin Assignment Algorithm (XH, JH, CKC, ESK), pp. 530–535.

DAC-1992-LavagnoMBS #graph #problem

Solving the State Assignment Problem for Signal Transition Graphs (LL, CWM, RKB, ALSV), pp. 568–572.

DAC-1992-PomeranzC #using

State Assignment Using Input/Output Functions (IP, KTC), pp. 573–577.

CHI-1992-RussellXW #design #flexibility #human-computer #interface #process

Action Assignable Graphics: A Flexible Human-Computer Interface Design Process (MDR, HX, LW), pp. 71–72.

SIGIR-1992-DumaisN #automation

Automating the Assignment of Submitted Manuscripts to Reviewers (STD, JN), pp. 233–244.

POPL-1992-Cosmo #framework #morphism

Type Isomorphisms in a Type-Assignment Framework (RDC), pp. 200–210.

DAC-1991-CiesielskiSD #approach #automaton #encoding

A Unified Approach to Input-Output Encoding for FSM State Assignment (MJC, JJS, MD), pp. 176–181.

FPCA-1991-SwarupRI

Assignments for Applicative Languages (VS, USR, EI), pp. 192–214.

ML-1991-WeintraubB #fault #generative #knowledge base

Generating Error Candidates for Assigning Blame in a Knowledge Base (MAW, TB), pp. 33–37.

POPL-1991-LeroyW #polymorphism #type inference

Polymorphic Type Inference and Assignment (XL, PW), pp. 291–302.

VLDB-1990-BhargavaB #adaptation #using

Adaptable Recovery Using Dynamic Quorum Assignments (BKB, SB), pp. 231–242.

NACLP-1990-Crammond #implementation #parallel #scheduling

Scheduling and Variable Assignment in the Parallel PARLOG Implementation (JAC), pp. 642–657.

DAC-1989-Devadas89a #composition

General Decomposition of Sequential Machines: Relationships to State Assignment (SD), pp. 314–320.

DAC-1989-SaucierDP #using

State Assignment Using a New Embedding Method Based on an Intersecting Cube Theory (GS, CD, FP), pp. 321–326.

DAC-1989-VillaS #finite #implementation #logic #named #state machine

NOVA: State Assignment of Finite State Machines for Optimal Two-level Logic Implementations (TV, ALSV), pp. 327–332.

SIGMOD-1989-IoannidisS

Conflict Resolution of Rules Assigning Values to Virtual Attributes (YEI, TKS), pp. 205–214.

SEKE-1989-ChenC

Assignment of Objects in a Dual Processor System with Limited Objects (HLC, SKC), pp. 85–92.

POPL-1989-CytronFRWZ #performance

An Efficient Method of Computing Static Single Assignment Form (RC, JF, BKR, MNW, FKZ), pp. 25–35.

DAC-1988-KuoCS #algorithm #performance

Fast Algorithm for Optimal Layer Assignment (YSK, TCC, WKS), pp. 554–559.

DAC-1988-WolfKA #algorithm #kernel #logic #multi

A Kernel-Finding State Assignment Algorithm for Multi-Level Logic (WW, KK, JA), pp. 433–438.

DAC-1988-YaoYL #approach #problem

A New Approach to the Pin Assignment Problem (XY, MY, CLL), pp. 566–572.

LFP-1988-GharachorlooSH #approach #performance

A Simple and Efficient Implmentation Approach for Single Assignment Languages (KG, VS, JLH), pp. 259–268.

POPL-1988-KfouryTU #effectiveness #ml

A Proper Extension of ML with an Effective Type-Assignment (AJK, JT, PU), pp. 58–69.

PODS-1987-WangL #algorithm #concurrent #database #distributed

The Precedence-Assignment Model for Distributed Database Concurrency Control Algorithms (CPW, VOKL), pp. 119–128.

FPCA-1987-GrossS #array

Mapping a single-assignment language onto the Warp systolic array (TRG, AS), pp. 347–363.

POPL-1987-FelleisenF #calculus #higher-order

A Calculus for Assignments in Higher-Order Languages (MF, DPF), pp. 314–325.

DAC-1986-Coppola #heuristic #implementation

An implementation of a state assignment heuristic (AJC), pp. 643–649.

SIGIR-1985-SaltonV #automation

Automatic Assignment of Soft Boolean Operators (GS, EMV), pp. 54–69.

ICSE-1984-MiliD #verification

A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods (AM, JD), pp. 499–509.

DAC-1981-Akers #algorithm #linear #on the

On the use of the linear assignment algorithm in module placement (SBA), pp. 137–144.

DAC-1981-CiesielskiK

An optimum layer assignment for routing in ICs and PCBs (MJC, EK), pp. 733–737.

DAC-1980-LuebbertU

Gate assignment and pack placement: Two approaches compared (FL, MU), pp. 472–482.

DAC-1980-Patel

Computer-aided assignment of manufacturing tolerances (AMP), pp. 129–133.

ICALP-1980-RaihaU #multi #on the

On the Optimal Assignment of Attributes to Passes in Multi-Pass Attribute Evaluators (KJR, EU), pp. 500–511.

SIGMOD-1979-YuLSO #analysis #performance #problem

Performance Analysis of three Related Assignment Problems (CTY, KL, MKS, ZMÖ), pp. 82–92.

VLDB-1979-Schmidt #approach #parallel

Parallel Processing of Relations: A Single-Assignment Approach (JWS), pp. 398–408.

DAC-1978-Mory-Rauch

Pin assignment on a printed circuit board (LMR), pp. 70–73.

DAC-1978-NishiokaKYSO #approach

An approach to gate assignment and module placement for printed wiring boards (IN, TK, SY, IS, HO), pp. 60–69.

ICALP-1977-JanssenB #on the

On the Proper Treatment or Referencing, Dereferencing and Assignment (TMVJ, PvEB), pp. 282–300.

POPL-1977-Lang #call-by #evaluation #semantics

Threshold Evaluation and the Semantics of Call by Value, Assignment and Generic Procedures (BL), pp. 227–237.

DAC-1975-SchmidtD #algorithm

An iterative algorithm for placement and assignment of integrated circuits (DCS, LED), pp. 361–368.

DAC-1974-ThompsonSBP #analysis #fault #simulation #using

Timing analysis for digital fault simulation using assignable delays (EWT, SAS, NB, RP), pp. 266–272.

DAC-1973-Rubin

Assigning wires to layers of a printed circuit board (FR), pp. 22–32.

DAC-1973-So #multi

Pin assignment of circuit cards and the routability of multilayer printed wiring backplanes (HCS), pp. 33–43.

DAC-1972-Koren #automation #design

Pin assignment in automated printed circuit board design (NLK), pp. 72–79.

DAC-1972-MahS

Techniques of gate assignment (LM, LS), pp. 63–71.

ICALP-1972-Claus

Assignment-Programs (VC), pp. 209–214.

DAC-1971-HashimotoS #optimisation #scalability

Wire routing by optimizing channel assignment within large apertures (AH, JGS), pp. 155–169.

DAC-1967-Kenney

Bundling (cable signal assignment) (JLK).