Stem modul$ (all stems)

380 papers:

CASE-2015-HolmOFUHAK #evolution #industrial #integration #performance #process

Engineering method for the integration of modules into fast evolving production systems in the process industry (TH, MO, AF, LU, UH, TA, SK), pp. 1042–1047.

TACAS-2015-ArmandoBCCMMM #framework #mobile #named #security #static analysis #verification

SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform (AA, GB, GC, GC, GDM, RM, AM), pp. 225–230.

ICFP-2015-Rossberg #ml #named

1ML — core and modules united (F-ing first-class modules) (AR), pp. 35–47.

ICEIS-v1-2015-Marques-LucenaA #framework #information management #using

Knowledge Management Framework using Wiki-based Front-end Modules (CML, CA, SK, JS), pp. 79–86.

ICML-2015-LloydGOR #process

Variational Inference for Gaussian Process Modulated Poisson Processes (CML, TG, MAO, SJR), pp. 1814–1822.

SAC-2015-BurityE #approach #recommendation

A quantitative, evidence-based approach for recommending software modules (TB, GEdS), pp. 1449–1456.

HPCA-2015-FarahaniAMK #architecture #memory management #named #standard

NDA: Near-DRAM acceleration architecture leveraging commodity DRAM devices and standard memory modules (AFF, JHA, KM, NSK), pp. 283–295.

ECSA-2014-OzturkSSA #architecture #estimation #refactoring

Effort Estimation for Architectural Refactoring to Introduce Module Isolation (FÖ, ES, HS, BA), pp. 300–307.

ASE-2014-PruijtKWB #architecture #named #set

HUSACCT: architecture compliance checking with rich sets of module and rule types (LJP, CK, JMvdW, SB), pp. 851–854.

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-YangWQZ #clustering #multi #scheduling #tool support

Optimal scheduling of single-arm multi-cluster tools with two-space buffering modules (FY, NW, YQ, MZ), pp. 75–80.

DATE-2014-KufelWHAWM #embedded

Clock-modulation based watermark for protection of embedded processors (JK, PRW, SH, BMAH, PNW, JM), pp. 1–6.

CSEET-2014-Ackerman #learning #re-engineering

An active learning module for an introduction to software engineering course (AFA), pp. 190–191.

GPCE-2014-MalakutiA #behaviour #composition #representation

Emergent gummy modules: modular representation of emergent behavior (SM, MA), pp. 15–24.

HPCA-2014-AgrawalAT #energy #locality #named #process

Mosaic: Exploiting the spatial locality of process variation to reduce refresh energy in on-chip eDRAM modules (AA, AA, JT), pp. 84–95.

ICLP-J-2014-Jackson #domain-specific language

A Module System for Domain-Specific Languages (EKJ), pp. 771–785.

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.

WCRE-2013-SchoenmakersBNVS #complexity

Assessing the complexity of upgrading software modules (BS, NvdB, IN, BV, AS), pp. 433–440.

IFM-2013-TaylorBD #automation #behaviour #erlang

Automatic Inference of Erlang Module Behaviour (RT, KB, JD), pp. 253–267.

DUXU-WM-2013-Iitaka #using

ARS Module of Contents Management System Using Cell Phones (TI), pp. 682–690.

KEOD-2013-SouissiCG #approach #ontology #semantics

A Semantic-based Approach for Ontology Module Extraction (AS, WC, KG), pp. 222–229.

ICSE-2013-Kulkarni #reuse

Systematically selecting a software module during opportunistic reuse (NK), pp. 1405–1406.

CASE-2012-HsiehYCLTC

A new swappable fluidic module for applications of capillary convective polymerase chain reaction (YFH, ASY, CWC, SKL, LYT, PHC), pp. 900–903.

CASE-2012-KimMBS #image

An improved rigidity penalty for deformable registration of head and neck images in intensity-modulated radiation therapy (JK, MM, JB, KS), pp. 377–382.

CASE-2012-WeiM #design #framework #order #process #scheduling

Design of an order acceptance and scheduling module in a unified framework with product and process features (JW, YSM), pp. 968–973.

DAC-2012-LinWYSCP #configuration management

Near-optimal, dynamic module reconfiguration in a photovoltaic system to combat partial shading effects (XL, YW, SY, DS, NC, MP), pp. 516–521.

DAC-2012-UrdahlSWK #abstraction #composition #concurrent #verification

System verification of concurrent RTL modules by compositional path predicate abstraction (JU, DS, MW, WK), pp. 334–343.

DATE-2012-CongHLZZ #replication #source code #streaming

Combining module selection and replication for throughput-driven streaming programs (JC, MH, BL, PZ, YZ), pp. 1018–1023.

DATE-2012-SabrySA #3d #using

Thermal balancing of liquid-cooled 3D-MPSoCs using channel modulation (MMS, AS, DA), pp. 599–604.

DocEng-2012-AcebalBRL #css #implementation #javascript #layout #named

ALMcss: a javascript implementation of the CSS template layout module (CFA, BB, MR, JMCL), pp. 23–32.

KDIR-2012-Zamora-MartinezRPT #empirical #network

Some Empirical Evaluations of a Temperature Forecasting Module based on Artificial Neural Networks for a Domotic Home Environment (FZM, PR, JP, DT), pp. 206–211.

OOPSLA-2012-KangR #javascript #specification

Formal specification of a JavaScript module system (SK, SR), pp. 621–638.

OOPSLA-2012-KastnerOE #variability

A variability-aware module system (CK, KO, SE), pp. 773–792.

ICSE-2012-HataMK #debugging #fine-grained #predict

Bug prediction based on fine-grained module histories (HH, OM, TK), pp. 200–210.

ICLP-J-2012-BabbL #modelling #theorem

Module theorem for the general theory of stable models (JB, JL), pp. 719–735.

DAC-2011-SchmitzLEPA #evaluation #framework #named #performance

TPM-SIM: a framework for performance evaluation of trusted platform modules (JS, JL, JE, DP, NBAG), pp. 236–241.

DAC-2011-ZukoskiYM #logic

Universal logic modules based on double-gate carbon nanotube transistors (AZ, XY, KM), pp. 884–889.

DATE-2011-AlordaTBS #embedded #optimisation #using

Stability optimization of embedded 8T SRAMs using Word-Line Voltage modulation (BA, GT, SAB, JS), pp. 986–991.

DATE-2011-Yakovlev #energy

Energy-modulated computing (AY), pp. 1340–1345.

ICDAR-2011-HaddadHKA #adaptation #network #online #recognition #using

Improvement of On-line Recognition Systems Using a RBF-Neural Network Based Writer Adaptation Module (LH, TMH, MK, AMA), pp. 284–288.

ICDAR-2011-LazzaraLGJMC #analysis #documentation #framework #image

The SCRIBO Module of the Olena Platform: A Free Software Framework for Document Image Analysis (GL, RL, TG, YJ, JM, ACL), pp. 252–258.

ICDAR-2011-YamazakiFZSO

Embedding a Mathematical OCR Module into OCRopus (SY, FF, QZ, KS, MO), pp. 880–884.

PODS-2011-DavidsonKMPR #privacy

Provenance views for module privacy (SBD, SK, TM, DP, SR), pp. 175–186.

ITiCSE-2011-TaylorK #injection #security #student

Security injections: modules to help students remember, understand, and apply secure coding techniques (BT, SK), pp. 3–7.

ICSM-2011-DilshenerW #concept #developer

Relating developers’ concepts and artefact vocabulary in a financial software module (TD, MW), pp. 412–417.

FM-2011-JacobsSP #verification

Verification of Unloadable Modules (BJ, JS, FP), pp. 402–416.

CHI-2011-VeasMFS #memory management #visual notation

Directing attention and influencing memory with visual saliency modulation (EEV, EM, SF, DS), pp. 1471–1480.

KEOD-2011-GoczylaWWZ #analysis #framework

Analysis of Mapping within S-module Framework (KG, AW, WW, TZ), pp. 267–272.

OOPSLA-2011-ImNGP #recursion #type system

A syntactic type system for recursive modules (HI, KN, JG, SP), pp. 993–1012.

SOSP-2011-MaoCZWZK #api #fault #multi

Software fault isolation with API integrity and multi-principal modules (YM, HC, DZ, XW, NZ, MFK), pp. 115–128.

ICST-2011-RubanovS #kernel #linux #runtime #verification

Runtime Verification of Linux Kernel Modules Based on Call Interception (VVR, EAS), pp. 180–189.

CASE-2010-ParkM #evaluation #performance

Performance evaluation of deterministic flow lines: Redundant modules and application to semiconductor manufacturing equipment (KP, JRM), pp. 45–50.

DAC-2010-KahngKKS #design #power management

Recovery-driven design: a power minimization methodology for error-tolerant processor modules (ABK, SK, RK, JS), pp. 825–830.

DATE-2010-ChironiDBCI

A compact digital amplitude modulator in 90nm CMOS (VC, BD, AB, JC, MI), pp. 702–705.

DATE-2010-Mirza-AghatabarBG #algorithm #pipes and filters

Algorithms to maximize yield and enhance yield/area of pipeline circuitry by insertion of switches and redundant modules (MMA, MAB, SKG), pp. 1249–1254.

DATE-2010-RaffelsieperMS #library

Checking and deriving module paths in Verilog cell library descriptions (MR, MRM, CWHS), pp. 1506–1511.

ICSM-2010-ParandeK #analysis #dependence #open source

A longitudinal analysis of the dependency concentration in smaller modules for open-source software products (MAP, GK), pp. 1–5.

CAiSE-2010-Franch #framework

Incorporating Modules into the i* Framework (XF), pp. 439–454.

CAiSE-2010-GrossniklausLSN #adaptation #data transformation #metamodelling

Dynamic Metamodel Extension Modules to Support Adaptive Data Management (MG, SL, AdS, MCN), pp. 363–377.

KEOD-2010-BarrosoAG #encryption #hardware #in the cloud #process

Key Management Process on the Hardware Cryptographic Module in the Cloud Computing (JMDB, LJA, PGG), pp. 493–496.

ECOOP-2010-BrachaABKMM

Modules as Objects in Newspeak (GB, PvdA, VB, YK, WM, EM), pp. 405–428.

SAC-2010-HusemannKRLS #estimation

Proposal of an improved motion estimation module for SVC (RH, RK, VR, JVdL, AAS), pp. 1936–1940.

SAC-2010-MadeoPBDB #implementation #pattern matching #pattern recognition #recognition

A committee machine implementing the pattern recognition module for fingerspelling applications (RCBM, SMP, HHB, DBD, CB), pp. 954–958.

ICSE-2010-WuYR #dependence

Comprehending module dependencies and sharing (YW, RHCY, RR), pp. 89–98.

CGO-2010-LiAH #lightweight #optimisation

Lightweight feedback-directed cross-module optimization (DXL, RA, RH), pp. 53–61.

DATE-2009-KoesterLHP #configuration management #design #optimisation

Design optimizations to improve placeability of partial reconfiguration modules (MK, WL, JH, MP), pp. 976–981.

DATE-2009-VecchieTS #compilation #execution #imperative

Separate compilation and execution of imperative synchronous modules (EV, JPT, KS), pp. 1580–1583.

WRLA-2008-CaballeroMRV09 #debugging #declarative #functional #maude

A Declarative Debugger for Maude Functional Modules (RC, NMO, AR, AV), pp. 63–81.

CSMR-2009-BittencourtG #algorithm #architecture #clustering #comparison #graph

Comparison of Graph Clustering Algorithms for Recovering Software Architecture Module Views (RAB, DDSG), pp. 251–254.

ICSM-2009-FokaefsTCS #clustering #object-oriented #using

Decomposing object-oriented class modules using an agglomerative clustering technique (MF, NT, AC, JS), pp. 93–101.

HCI-AUII-2009-JiK #named #using

CLURD: A New Character-Inputting System Using One 5-Way Key Module (HJ, TK), pp. 39–47.

HCI-NIMT-2009-SunSCC #multimodal

Building a Practical Multimodal System with a Multimodal Fusion Module (YS, Y(S, FC, VC), pp. 93–102.

HCI-VAD-2009-DeickeMP #development #editing #interactive

A Web-Based, Interactive Annotation Editor for the eCampus Development Environment for SCORM Compliant E-Learning Modules (BD, JTM, HMP), pp. 88–93.

HCI-VAD-2009-PohlDM #generative #ide #multi

From Paper to Module — An Integrated Environment for Generating SCORM Compliant Moodle Courses Out of Text and Multimedia Elements (HMP, BD, JTM), pp. 196–203.

KDD-2009-ChuPBMPCZ #analysis #behaviour #case study #exclamation

A case study of behavior-driven conjoint analysis on Yahoo!: front page today module (WC, STP, TB, NM, AP, SC, JZ), pp. 1097–1104.

KEOD-2009-GoczylaWW #approach #knowledge base #named #semantics

S-modules — Approach to Capture Semantics of Modularized DL Knowledge Bases (KG, AW, WW), pp. 117–122.

RecSys-2009-ZhouR #assessment #recommendation

Assessment of conversation co-mentions as a resource for software module recommendation (DXZ, PR), pp. 133–140.

PADL-2009-EastlundF #towards

Toward a Practical Module System for ACL2 (CE, MF), pp. 46–60.

POPL-2009-MontaguR #data type #modelling

Modeling abstract types in modules with open existential types (BM, DR), pp. 354–365.

SAC-2009-EbraertVV #flexibility #reuse

Flexible features: making feature modules more reusable (PE, JV, YV), pp. 1963–1970.

CAV-2009-LahiriQGVW

Intra-module Inference (SKL, SQ, JPG, JWV, TW), pp. 493–508.

DAC-2008-LinL #clustering

Analog placement based on hierarchical module clustering (MPHL, SCL), pp. 50–55.

DATE-2008-HaidZLK #communication

Impact of Leakage Current on Data Retention of RF-powered Devices During Amplitude-Modulation-based Communication (JH, BZ, TL, TK), pp. 784–787.

DATE-2008-MomeniBG #comparison

Comparison of Opamp-Based and Comparator-Based Delta-Sigma Modulation (MM, PBB, MG), pp. 688–693.

DATE-2008-MorgadoRR #configuration management #multi #standard

A Triple-Mode Reconfigurable Sigma-Delta Modulator for Multi-Standard Wireless Applications (AM, RdR, JMdlR), pp. 862–867.

ITiCSE-2008-CorberaGRRT #architecture #development

Development of a new MOODLE module for a basic course on computer architecture (FC, EG, JR, SR, MAT), p. 349.

CSMR-2008-GregersenJ

Module Reload through Dynamic Update — The Case of NetBeans (ARG, BNJ), pp. 23–32.

ICFP-2008-DreyerR #mixin #ml

Mixin’ up the ML module system (DD, AR), pp. 307–320.

ICPR-2008-DingSK #recognition

A new courtesy amount recognition module of a Check Reading System (WD, CYS, AK), pp. 1–4.

ICPR-2008-Gherardi

Confidence-based cost modulation for stereo matching (RG), pp. 1–4.

SEKE-2008-KhoshgoftaarSD #knowledge-based #modelling #on the #quality

On the Rarity of Fault-prone Modules in Knowledge-based Software Quality Modeling (TMK, NS, DJD), pp. 279–284.

SAC-2008-PoulainCY #estimation #similarity

Similarity estimation module for OWSCIS (TP, NC, KY), pp. 2305–2309.

FSE-2008-PinzgerNM #developer #network #predict #question

Can developer-module networks predict failures? (MP, NN, BM), pp. 2–12.

LDTA-2007-KlintKV08 #ide #parametricity

Language Parametric Module Management for IDEs (PK, ATK, JJV), pp. 3–19.

ICST-2008-SeceleanuPH #resource management #scheduling

Scheduling Timed Modules for Correct Resource Sharing (CCS, PP, HH), pp. 102–111.

DAC-2007-AmelifardP #network #power management

Optimal Selection of Voltage Regulator Modules in a Power Delivery Network (BA, MP), pp. 168–173.

DATE-2007-AarajRRJ #analysis #energy #execution #framework

Energy and execution time analysis of a software-based trusted platform module (NA, AR, SR, NKJ), pp. 1128–1133.

DATE-2007-GongW #interactive #optimisation

Interactive presentation: System level power optimization of Sigma-Delta modulator (FG, XW), pp. 297–300.

DATE-2007-HwangCR #interactive #process #scalability

Interactive presentation: Process tolerant beta-ratio modulation for ultra-dynamic voltage scaling (MEH, TC, KR), pp. 1550–1555.

DATE-2007-SunWD #configuration management #design

Flexibility-oriented design methodology for reconfigurable DeltaSigma modulators (PS, YW, AD), pp. 415–420.

DATE-2007-YetikSTD #architecture #interactive #matlab #optimisation

Interactive presentation: A coefficient optimization and architecture selection tool for SigmaDelta modulators in MATLAB (ÖY, OS, ST, GD), pp. 87–92.

ITiCSE-2007-CaronnaSMIHT #predict #using

Prediction of modulators of pyruvate kinase in smiles text using aprori methods (JSC, RS, JDM, VLI, KGH, JHT), p. 348.

FoSSaCS-2007-FerranteM #calculus #μ-calculus

Enriched μ-Calculi Module Checking (AF, AM), pp. 183–197.

CSMR-2007-LunguL #evolution

Exploring Inter-Module Relationships in Evolving Software Systems (ML, ML), pp. 91–102.

MSR-2007-MizunoINK #approach

Spam Filter Based Approach for Finding Fault-Prone Software Modules (OM, SI, SN, TK), p. 4.

LATA-2007-Thorne #bound #finite

Categorial Module Grammars of Bounded Size have Finite Bounded Density (CT), pp. 577–588.

ICFP-2007-Dreyer #recursion #type system

A type system for recursive modules (DD), pp. 289–302.

AGTIVE-2007-RangerGH #graph #interface

Defining Abstract Graph Views as Module Interfaces (UR, KG, MH), pp. 120–135.

DHM-2007-AndreoniRP #simulation

Simulation of Complex Human Movement Through the Modulation of Observed Motor Tasks (GA, MR, AP), pp. 3–12.

HCI-MIE-2007-KimLRHH #analysis #design #network #performance #quality #speech

Performance Analysis of Perceptual Speech Quality and Modules Design for Management over IP Network (JK, HWL, WR, SHH, MH), pp. 84–93.

HIMI-IIE-2007-PohlTM #multi #performance

Efficient Creation of Multi Media eLearning Modules (HMP, PT, JTM), pp. 457–465.

CIKM-2007-DoranTI #ontology #perspective #reuse

Ontology module extraction for ontology reuse: an ontology engineering perspective (PD, VAMT, LI), pp. 61–70.

SEKE-2007-HewettKM #order #predict

Predicting Order of Likelihood of Defective Software Modules (RH, PK, AvdM), pp. 93–98.

SEKE-2007-ZhouKBSC #framework #requirements #specification

A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules (CZ, RK, DB, KS, DDC), pp. 179–184.

OOPSLA-2007-StrniaaSP #design #java #semantics

The java module system: core design and semantic definition (RS, PS, MJP), pp. 499–514.

ESEC-FSE-2007-MizunoK #detection #empirical #fault

Training on errors experiment to detect fault-prone software modules by spam filter (OM, TK), pp. 405–414.

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.

DAC-2006-TanimotoYNH #realtime #using

A real time budgeting method for module-level-pipelined bus based system using bus scenarios (TT, SY, AN, TH), pp. 37–42.

DATE-2006-WeiTD #communication #configuration management #design #multi

Systematic methodology for designing reconfigurable Delta-Sigma modulator topologies for multimode communication systems (YW, HT, AD), pp. 393–398.

DATE-2006-YavariSR06a

Double-sampling single-loop sigma-delta modulator topologies for broadband applications (MY, OS, ÁRV), pp. 399–404.

ICFP-2006-NakataG #programming #recursion

Recursive modules for programming (KN, JG), pp. 74–86.

ICFP-2006-OwensF

From structures and functors to modules and units (SO, MF), pp. 87–98.

CHI-2006-RafflePIL #behaviour #game studies

Beyond record and play: backpacks: tangible modulators for kinetic behavior (HR, AJP, HI, JL), pp. 681–690.

ICPR-v4-2006-LuC06a #3d #analysis #metric #using

Practical 3-D Shape Measurement Using Optimal Intensity-Modulated Projection and Intensity-Phase Analysis Techniques (CL, GC), pp. 870–873.

ICPR-v4-2006-WongN #classification

Blind Phase-Amplitude Modulation Classification with Unknown Phase Offset (MLDW, AKN), pp. 177–180.

ECOOP-2006-LeeC

Parameterized Modules for Classes and Extensible Functions (KL, CC), pp. 353–378.

SAC-2006-ChoiBS #design #implementation #kernel #linux #programming #robust

Design and implementation of a kernel resource protector for robustness of Linux module programming (JC, SB, SYS), pp. 1477–1481.

ICLP-2006-AbreuN #towards

Towards Structured Contexts and Modules (SA, VN), pp. 436–438.

ICLP-2006-HaemmerleF #prolog #revisited

Modules for Prolog Revisited (RH, FF), pp. 41–55.

ICLP-2006-SilvaRL #implementation #linear #prolog

An External Module for Implementing Linear Tabling in Prolog (CS, RR, RL), pp. 429–430.

TestCom-2006-Nyberg #testing

Use of TTCN-3 for Software Module Testing (AJN), pp. 161–176.

DAC-2005-SuC05a #synthesis

Unified high-level synthesis and module placement for defect-tolerant microfluidic biochips (FS, KC), pp. 825–830.

DATE-2005-TangWD #complexity #power management #synthesis

MINLP Based Topology Synthesis for Delta Sigma Modulators Optimized for Signal Path Complexity, Sensitivity and Power Consumption (HT, YW, AD), pp. 264–269.

DATE-2005-WangMDCM #analysis #embedded #energy #process #variability

Systematic Analysis of Energy and Delay Impact of Very Deep Submicron Process Variability Effects in Embedded SRAM Modules (HW, MM, WD, FC, KM), pp. 914–919.

CSEET-2005-Hislop

Course Module: Formal Technical Reviews (GWH), pp. 233–235.

CSEET-2005-McKimE #contract #design

Course Module: Design By Contract (JCM, HJCE), pp. 239–241.

CSMR-2005-PighinM #maintenance

Reducing Corrective Maintenance Effort Considering Module’s History (MP, AM), pp. 232–235.

ICFP-2005-MakholmW #mixin #morphism #type inference

Type inference, principal typings, and let-polymorphism for first-class mixin modules (HM, JBW), pp. 156–167.

ECOOP-2005-Aldrich #composition #reasoning

Open Modules: Modular Reasoning About Advice (JA), pp. 144–168.

DAC-2004-MoB #design

A timing-driven module-based chip design flow (FM, RKB), pp. 67–70.

DATE-DF-2004-Ruiz-AmayaRMFRPR #matlab #synthesis

MATLAB/SIMULINK-Based High-Level Synthesis of Discrete-Time and Continuous-Time [Sigma, Delta] Modulators (JRA, JLdlR, FM, FVF, RdR, MBPV, ÁRV), pp. 150–155.

DATE-v1-2004-AboushadyLBL #automation #simulation #synthesis

Automatic Synthesis and Simulation of Continuous-Time [Sigma-Delta] Modulators (HA, LdL, NB, MML), pp. 674–675.

DATE-v1-2004-BadarogluWPDGM #reduction

Digital Ground Bounce Reduction by Phase Modulation of the Clock (MB, PW, GVdP, SD, GGEG, HDM), pp. 88–93.

DATE-v1-2004-LegerR #first-order

A Digital Test for First-Order [Sigma-Delta] Modulators (GL, AR), pp. 708–709.

CSEET-2004-Hislop #development #re-engineering

Software Engineering Course Module Development Workshop (GWH), pp. 165–166.

ESOP-2004-HirschowitzLW #call-by #mixin #reduction #semantics

Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types (TH, XL, JBW), pp. 64–78.

ICSM-2004-PinzgerFJG #source code

Abstracting Module Views from Source Code (MP, MF, MJ, HG), p. 533.

ICSM-2004-ZageZ #metric #visualisation

Module Metric Signature (MMS) Visualization (DZ, WZ), p. 512.

FLOPS-2004-Hirschowitz #mixin

Rigid Mixin Modules (TH), pp. 214–228.

SEKE-2004-KhoshgoftaarXG #modelling #multi #optimisation

Multi-Objective Optimization by CBR GA-Optimizer for Module-Order Modeling (TMK, YX, KG), pp. 220–225.

ECOOP-2004-Henzinger #interface

Rich Interfaces for Software Modules (TAH), pp. 517–518.

ECOOP-2004-LiuS #communication #interface

Modules with Interfaces for Dynamic Linking and Communication (YDL, SFS), pp. 414–439.

OOPSLA-2004-Fong #verification #virtual machine

Pluggable verification modules: an extensible protection mechanism for the JVM (PWLF), pp. 404–418.

SAC-2004-Logozzo #approximate #constraints #semantics

Approximating module semantics with constraints (FL), pp. 1490–1495.

CGO-2004-MoonLHCLSL #framework #named #scalability

SYZYGY — A Framework for Scalable Cross-Module IPO (SM, XDL, RH, DRC, LAL, US, SML), pp. 65–74.

LICS-2004-NaumannB #imperative #invariant #reasoning #towards

Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State (DAN, MB), pp. 313–323.

ASE-2003-GuoCS #fault #network #predict

Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks (LG, BC, HS), pp. 249–252.

DAC-2003-Heydari

Characterizing the effects of clock jitter due to substrate noise in discrete-time D/S modulators (PH), pp. 532–537.

DAC-2003-LeeCHY #multi #scalability #using

Multilevel floorplanning/placement for large-scale modules using B*-trees (HCL, YWC, JMH, HHY), pp. 812–817.

DATE-2003-Castro-LopezFMR #behaviour #hardware #modelling #simulation #using

Behavioural Modelling and Simulation of SigmaDelta Modulators Using Hardware Description Languages (RCL, FVF, FM, ÁRV), pp. 10168–10175.

DATE-2003-MartensG

A Model of Computation for Continuous-Time ?-? Modulators (EM, GGEG), pp. 10162–10167.

DRR-2003-LuanLD #documentation

General Chinese document capture system with an improved error-rejecting module (DL, CL, XD), pp. 257–265.

CSEET-2003-BudgenT #education #re-engineering

Norm Gibbs and His Contribution to Software Engineering Education Through the SEI Curriculum Modules (DB, JET), p. 3.

TACAS-2003-Tripakis #automation #composition

Automated Module Composition (ST), pp. 347–362.

ICSM-2003-MahdaviHH #approach #clustering #multi

A Multiple Hill Climbing Approach to Software Module Clustering (KM, MH, RMH), pp. 315–324.

ICALP-2003-AnconaFMZ #mixin

Mixin Modules and Computational Effects (DA, SF, EM, EZ), pp. 224–238.

AdaEurope-2003-MeziniO #modelling

Modules for Crosscutting Models (MM, KO), pp. 24–44.

ICEIS-v2-2003-VogiatzisFP #information management #predict

The Protein Structure Prediction Module of the Prot-Grid Information System (DV, DF, GAP), pp. 372–378.

OOPSLA-2003-CorwinBGM #java #named

MJ: a rational module system for Java and its applications (JC, DFB, DG, CM), pp. 241–254.

PPDP-2003-Damiani #rank

Rank 2 intersection types for modules (FD), pp. 67–78.

POPL-2003-DreyerCH #higher-order #type system

A type system for higher-order modules (DD, KC, RH), pp. 236–249.

LDTA-J-2001-DohM #programming language #semantics

Composing programming languages by combining action-semantics modules (KGD, PDM), pp. 3–36.

DAC-2002-ChakrabartiDCB #interface #realtime #specification #verification

Formal verification of module interfaces against real time specifications (AC, PD, PPC, AB), pp. 141–145.

DATE-2002-AbkeB #automaton #implementation

A Direct Mapping System for Datapath Module and FSM Implementation into LUT-Based FPGAs (JA, EB), p. 1085.

DATE-2002-ChuY #design

Non-Rectangular Shaping and Sizing of Soft Modules in Floorplan Design (CCNC, EFYY), p. 1101.

DATE-2002-FranckenVMG #named #simulation

DAISY-CT: A High-Level Simulation Tool for Continuous-Time Delta Sigma Modulators (KF, MV, EM, GGEG), p. 1110.

DATE-2002-LinCC #using

Arbitrary Convex and Concave Rectilinear Module Packing Using TCG (JML, HLC, YWC), pp. 69–75.

VLDB-2002-MahnkeMS

Extending an ORDBMS: The StateMachine Module (WM, CM, HPS), pp. 1079–1082.

ESOP-2002-HirschowitzL #call-by #mixin

Mixin Modules in a Call-by-Value Setting (TH, XL), pp. 6–20.

SEKE-2002-GrutznerAP #approach #information management #learning

A systematic approach to produce small courseware modules for combined learning and knowledge management environements (IG, NA, DP), pp. 533–539.

ECOOP-2002-IchisugiT #difference #independence

Difference-Based Modules: A Class-Independent Module Mechanism (YI, AT), pp. 62–88.

SAC-2002-NyakoeOT #algorithm #multi #search-based #using

Acquisition of modulation pulses for a multi-robot system using genetic algorithm (GNN, MO, ST), pp. 568–573.

CAV-2002-ChakrabartiAHJM #interface

Interface Compatibility Checking for Software Modules (AC, LdA, TAH, MJ, FYCM), pp. 428–441.

ASE-2001-GuptaR #metric

Program Execution-Based Module Cohesion Measurement (NG, PR), p. 144–?.

DATE-2001-DessoukyKLG #case study #design #reuse

Analog design for reuse — case study: very low-voltage sigma-delta modulator (MD, AK, MML, AG), pp. 353–360.

DATE-2001-FeketeKT #constraints #precedence

Optimal FPGA module placement with temporal precedence constraints (SPF, EK, JT), pp. 658–667.

DATE-2001-RioRMPR #design #top-down

Top-down design of a xDSL 14-bit 4MS/s sigma-delta modulator in digital CMOS technology (RdR, JLdlR, FM, MBPV, ÁRV), pp. 348–352.

SAS-2001-RajamaniR #behaviour #π-calculus

A Behavioral Module System for the π-Calculus (SKR, JR), pp. 375–394.

ICFP-2001-Chuang #parametricity #validation

Generic Validation of Structural Content with Parametric Modules (TRC), pp. 98–109.

ICFP-2001-Duggan #type system

Type-Based Hot Swapping of Running Modules (DD), pp. 62–73.

ICFP-2001-Sheard #unification

Generic Unification via Two-Level Types and Parameterized Modules (TS), pp. 86–97.

SIGAda-2001-Santhanam #automation #certification #testing

Automating software module testing for FAA certification (US), pp. 31–38.

ICEIS-v1-2001-OriogunM #assessment #case study #framework #re-engineering #student

Winwin Decision Support Framework: A Case Study on Students’ In-Course Assessment in a Software Engineering Module (PKO, RM), pp. 370–376.

CIKM-2001-FeldmanALASR #independence #information management

A Domain Independent Environment for Creating Information Extraction Modules (RF, YA, YL, KA, YS, BR), pp. 586–588.

ECOOP-2001-AnconaZ #java

True Modules for Java-like Languages (DA, EZ), pp. 354–380.

POPL-2001-Sewell #data type #distributed #version control

Modules, abstract types, and distributed versioning (PS), pp. 236–247.

LDTA-2001-DohM #programming language #semantics

Composing Programming Languages by Combining Action-Semantics Modules (KGD, PDM), pp. 87–109.

DAC-2000-YuKW #representation

The use of carry-save representation in joint module selection and retiming (ZY, KYK, ANWJ), pp. 768–773.

DATE-2000-WeilerMHH #detection #using

Detection of Defective Sensor Elements Using Sigma-Delta-Modulation and a Matched Filter (DW, OM, DH, BJH), pp. 599–603.

CSEET-2000-HislopH #education

Production of Software Curriculum Modules (GWH, TBH), p. 51–?.

ESOP-2000-WellsV #equation #reasoning

Equational Reasoning for Linking with First-Class Primitive Modules (JBW, RV), pp. 412–428.

IWPC-2000-Goldman #interactive #monitoring #named

Smiley — An Interactive Tool for Monitoring Inter-Module Function Calls (NMG), pp. 109–118.

ICFP-2000-HarperP

Advanced module systems: a guide for the perplexed (abstract of invited talk) (RH, BCP), p. 130.

ICPR-v1-2000-LuI #3d #metric

An Absolute Depth Range Measurement of 3-D Objects Based on Modulation Moiré Topography (CL, SI), pp. 1754–1757.

LOPSTR-2000-BuenoBHMPS #analysis #compilation #optimisation

A model for inter-module analysis and optimizing compilation (FB, MJGdlB, MVH, KM, GP, PJS).

LOPSTR-J-2000-BuenoBHMPS #analysis #compilation #optimisation

A Model for Inter-module Analysis and Optimizing Compilation (FB, MJGdlB, MVH, KM, GP, PJS), pp. 86–102.

CL-2000-GrasH #prolog

A New Module System for Prolog (DCG, MVH), pp. 131–148.

CL-2000-MazurJB #analysis #memory management #reuse

A Module Based Analysis for Memory Reuse in Mercury (NM, GJ, MB), pp. 1255–1269.

ASE-1999-FedeleK #automation #proving

Automatic Proofs of Properties of Simple C-- Modules (CF, EK), pp. 283–286.

DAC-1999-BalasaL #layout #representation #using

Module Placement for Analog Layout Using the Sequence-Pair Representation (FB, KL), pp. 274–279.

DATE-1999-MakrisO #behaviour #reachability #synthesis

Channel-Based Behavioral Test Synthesis for Improved Module Reachability (YM, AO), pp. 283–288.

HT-1999-RutledgeHOB #hypermedia

Mix’n’match: Exchangeable Modules of Hypermedia Style (LR, LH, JvO, DCAB), pp. 179–188.

ICSM-1999-MendoncaK #classification #component #comprehension #distributed

Component Module Classification for Distributed Software Understanding (NCM, JK), p. 119–?.

ICSM-1999-ZhouB #ada #source code #using

Extracting Objects of Ada Programs Using Module Features (YZ, BX), p. 23–?.

PLDI-1999-CraryHP #question #recursion #what

What is a Recursive Module? (KC, RH, SP), pp. 50–63.

FM-v2-1999-JimenezO #algebra #framework #higher-order

An Algebraic Framework for Higher-Order Modules (RMJ, FO), pp. 1778–1797.

ICFP-1999-Elsman

Static Interpretation of Modules (ME), pp. 208–219.

ICFP-1999-Shao

Transparent Modules with Fully Syntactic Signatures (ZS), pp. 220–232.

AGTIVE-1999-DrewesKKK #composition #graph transformation

Graph Transformation Modules and Their Composition (FD, PK, HJK, SK), pp. 15–30.

PPDP-1999-AnconaZ #calculus

A Primitive Calculus for Module Systems (DA, EZ), pp. 62–79.

PPDP-1999-Russo #dependent type #ml #standard

Non-dependent Types for Standard ML Modules (CVR), pp. 80–97.

ICSE-1999-WoodmanGMH #programming #smalltalk

OU LearningWorks: A Customized Programming Environment for Smalltalk Modules (MW, RG, MM, SH), pp. 638–641.

ICSE-1999-WoodmanGMHR #programming #smalltalk

Exploiting Smalltalk Modules in a Customizable Programming Environment (MW, RG, MM, SH, HR), pp. 65–74.

TLCA-1999-Abrusci #logic

Modules in Non-communicative Logic (VMA), pp. 14–24.

DATE-1998-ParulkarGB #scheduling

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

DATE-1998-WolfK #automation #generative #optimisation

Automatic Topology Optimization for Analog Module Generators (MW, UK), pp. 961–962.

DATE-1998-YiCPHK #behaviour #multi #synthesis

Multiple Behavior Module Synthesis Based on Selective Groupings (JHY, HC, ICP, SHH, CMK), pp. 384–388.

ITiCSE-1998-CurzonR #programming #question #student #why

Why do students take programming modules? (PC, JR), pp. 59–63.

ITiCSE-1998-Traxler #education #how

How do computer science lecturers create modules? (poster) (JT), p. 308.

WRLA-1998-DuranM #algebra #maude

An extensible module algebra for Maude (FD, JM), pp. 174–195.

CSMR-1998-HongK #empirical #fault #identification

Identifying Fault Prone Modules: An Empirical Study in Telecommunication System (SH, KK), pp. 179–184.

PLDI-1998-AyersJPS #optimisation #scalability

Scalable Cross-Module Optimization (AA, SdJ, JP, RS), pp. 301–312.

PLDI-1998-FlattF #named

Units: Cool Modules for HOT Languages (MF, MF), pp. 236–248.

ICFP-1998-Shao #compilation

Typed Cross-Module Compilation (ZS), pp. 141–152.

TAGT-1998-HeckelHKK

Simple Modules for GRACE (RH, BH, PK, SK), pp. 383–395.

ICPR-1998-LuYI #analysis

Intensity modulated moire and its intensity-phase analysis (CL, AY, SI), pp. 1791–1793.

ICSE-1998-BaniassadM #concept #query #re-engineering

Conceptual Module Querying for Software Reengineering (ELAB, GCM), pp. 64–73.

ICSE-1998-KoikeC #3d #empirical #how #re-engineering #visualisation

How Does 3D Visualization Work in Software Engineering? : Empirical Study of a 3D Version/Module Visualization System (HK, HCC), pp. 516–519.

EDTC-1997-BenabesKK #design

A methodology for designing continuous-time sigma-delta modulators (PB, MK, RK), pp. 46–50.

EDTC-1997-WolfK #generative #independence

Application independent module generation in analog layouts (MW, UK), p. 624.

ICDAR-1997-ChenAS #linear

Piecewise Linear Modulation Model of Handwriting (HC, OEA, CYS), pp. 363–368.

ICDAR-1997-ZhouGS #performance #recognition #verification

A High Performance Hand-printed Numeral Recognition System with Verification Module (JZ, QG, CYS), pp. 293–297.

ITiCSE-1997-JerinicD

OBOA model of explanation module in intelligent tutoring shell (LJ, VD), pp. 133–135.

ITiCSE-1997-Naps97a #interactive #using #visualisation

Using the WWW as the delivery mechanism for interactive, visualization-based instructional modules (panel) (TLN), p. 143.

ITiCSE-WGR-1997-NapsBJMPPT #interactive #using #visualisation

Using the WWW as the delivery mechanism for interactive, visualization-based instructional modules (report of the ITiCSE 1997 working group on visualization) (TLN, JB, RJP, MFM, MPM, VKP, JT), pp. 13–26.

ICSM-1997-GirardK #architecture #component #comprehension #towards

Finding Components in a Hierarchy of Modules: a Step towards Architectural Understanding (JFG, RK), pp. 58–65.

ICSM-1997-SiffR #concept analysis #identification

Identifying modules via concept analysis (MS, TWR), pp. 170–179.

PLDI-1997-DussartHH

Module-Sensitive Program Specialisation (DD, RH, JH), pp. 206–214.

ICFP-1997-BlumeA #approach #higher-order #named #optimisation

λ-Splitting: A Higher-Order Approach to Cross-Module Optimizations (MB, AWA), pp. 112–124.

HCI-SEC-1997-KoikeC #3d #using #version control #visualisation

Integrating Version Control and Module Management Using Three-Dimensional Visualization (HK, HCC), pp. 853–856.

CAV-1997-KupfermanV #revisited

Module Checking Revisited (OK, MYV), pp. 36–47.

TLCA-1997-Courant #calculus #type system

A Module Calculus for Pure Type Systems (JC), pp. 112–128.

DAC-1996-Koch

Module Compaction in FPGA-based Regular Datapaths (AK), pp. 471–476.

ICSM-1996-BurdMW #cobol #reuse #scalability #source code

Analysing Large COBOL Programs: the extraction of reusable modules (EB, MM, CDW), pp. 238–243.

ICSM-1996-KhoshgoftaarAHT #detection #lifecycle

Detection of Fault-Prone Software Modules During a Spiral Life Cycle (TMK, EBA, RH, GPT), pp. 69–76.

WCRE-1996-BurdMW #legacy #reuse

Extracting Reusable Modules from Legacy Code: Considering the Issues of Module Granularity (EB, MM, CDW), p. 189–?.

AFP-1996-Tofte96 #ml #standard

Essentials of Standard ML Modules (MT), pp. 208–238.

ICFP-1996-DugganS #mixin

Mixin Modules (DD, CS), pp. 262–273.

IFL-1996-DoschM #functional

Calculating a Functional Module for Binary Search Trees (WD, BM), pp. 267–284.

CIKM-1996-WarshawM #case study #declarative

A Case Study of Venus and a Declarative Basis for Rule Modules (LW, DPM), pp. 317–325.

ICPR-1996-BoerS #evaluation #named

BESSI: an experimentation system for vision module evaluation (GADB, AWMS), pp. 109–112.

ECOOP-1996-BanavarL #composition #framework #tool support

An Application Framework For Module Composition Tools (GB, GL), pp. 91–113.

PLILP-1996-AponteC #morphism

Type Isomorphisms for Module Signatures (MVA, RDC), pp. 334–346.

CAV-1996-KupfermanV

Module Checking (OK, MYV), pp. 75–86.

LICS-1996-AlurH

Reactive Modules (RA, TAH), pp. 207–218.

RTA-1996-Stuber #integer #proving #theorem proving

Superposition Theorem Proving for Albelian Groups Represented as Integer Modules (JS), pp. 33–47.

ICSM-1995-KhoshgoftaarSV #detection #testing

Detecting program modules with low testability (TMK, RMS, JMV), pp. 242–250.

WCRE-1995-TjandraB #representation #reuse

Formal Representation of Reusable Software Modules (IAT, GB), pp. 198–202.

PEPM-1995-EtalleG

The Replacement Operation for CLP Modules (SE, MG), pp. 168–177.

SEKE-1995-Sliva #synthesis

A G-Net Module Synthesis Method for Software Applications (VPS), pp. 419–426.

POPL-1995-Leroy #higher-order

Applicative Functors and Fully Transparent Higher-Order Modules (XL), pp. 142–153.

DAC-1994-CharbonMPS #optimisation

Simultaneous Placement and Module Optimization of Analog IC’s (EC, EM, DP, ALSV), pp. 31–35.

DAC-1994-JongL #communication #concurrent #design #petri net

A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules (GGdJ, BL), pp. 49–55.

DAC-1994-LanZG #multi #programmable

Placement and Routing for a Field Programmable Multi-Chip Module (SL, AZ, AEG), pp. 295–300.

EDAC-1994-HaberlK #interface #maintenance #standard

Self Testable Boards with Standard IEEE 1149.5 Module Test and Maintenance (MTM) Bus Interface (OFH, TK), pp. 220–225.

EDAC-1994-LinCHH #design

Cell Height Driven Transistor Sizing in a Cell Based Module Design (HRL, CLC, YCH, TH), pp. 425–429.

ICSM-1994-AmmannC #in the large

Inter-Module Renaming and Reorganizing: Examples of Program Manipulation-in-the-Large (MMA, RDC), pp. 354–361.

LFP-1994-DavisPS

Talking About Modules and Delivery (HD, PP, NS), pp. 113–120.

TAGT-1994-EhrigE #aspect-oriented #concept #graph transformation #semantics

Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems (HE, GE), pp. 137–154.

OOPSLA-1994-ChambersL #multi

Typechecking and Modules for Multi-Methods (CC, GTL), pp. 1–15.

LOPSTR-1994-Hill #metaprogramming

A Module System for Meta-Programming (PMH), pp. 395–409.

POPL-1994-HarperL #approach #higher-order

A Type-Theoretic Approach to Higher-Order Modules with Sharing (RH, ML), pp. 123–137.

POPL-1994-Leroy #compilation

Manifest Types, Modules, and Separate Compilation (XL), pp. 109–122.

CAV-1994-AnuchitanukulM #synthesis

Realizability and Synthesis of Reactive Modules (AA, ZM), pp. 156–168.

DAC-1993-Lee #2d #algorithm #bound #design

A Bounded 2D Contour Searching Algorithm for Floorplan Design with Arbitrarily Shaped Rectilinear and Soft Modules (TcL), pp. 525–530.

DAC-1993-Mehendale #design #evaluation #independence #logic #named

MIM: Logic Module Independent Technology Mapping for Design and Evaluation of Antifuse-based FPGAs (MM), pp. 219–223.

DAC-1993-WangDNS #architecture #multi #scalability #synthesis #using

High-Level Synthesis of Scalable Architectures for IIR Filters using Multichip Modules (HW, NDD, AN, KYS), pp. 336–342.

SIGMOD-1993-WangJS #approach #database #towards

Temporal Modules: An Approach Toward Federated Temporal Databases (XSW, SJ, VSS), pp. 227–236.

VLDB-1993-Hong #database #distributed #performance

Performance of Catalog Management Schemes for Running Access Modules in a Locally Distributed Database System (EKH), pp. 194–205.

HCI-SHI-1993-Stelovsky #hypermedia #implementation #parametricity #reuse

Use of Parameters to Facilitate the Implementation of Reusable Hypermedia Modules (JS), pp. 525–530.

SEKE-1993-Antoniou #information management #specification

Engineering Issues for No monotonic Knowledge: Structuring, Specification, Modules (GA), pp. 183–190.

POPL-1993-Aponte #parametricity #type system

Extending Record Typing to Type Parametric Modules with Sharing (MVA), pp. 465–478.

SAC-1993-KaraliPH #prolog

A Versatile Module System for Prolog Mapped to Flat Prolog (IK, EP, CH), pp. 578–585.

ICSE-1993-Lakhotia #approach #rule-based

Rule-Based Approach to Computing Module Cohesion (AL), pp. 35–44.

ICSE-1993-WangP #behaviour #simulation

Simulating the Behaviour of Software Modules by Trace Rewriting (YW, DLP), pp. 14–23.

ILPS-1993-BaldoniGM #logic programming #multimodal

A Multimodal Logic to Define Modules in Logic Programming (MB, LG, AM), pp. 473–487.

ILPS-1993-McDonaldXEF #logic #on the #semantics

On the Denotational and Logical Semantics of CLP-Modules (BM, JX, ME, EF), p. 658.

ISSTA-1993-Woit #specification

Specifying Operational Profiles for Modules (DMW), pp. 2–10.

DAC-1992-CongHK

Net Partitions Yield Better Module Partitions (JC, LWH, ABK), pp. 47–52.

DAC-1992-KimOI #generative #performance

Experiments with a Performance Driven Module Generator (SK, RMO, MJI), pp. 687–690.

DAC-1992-ShihKT #clustering #multi

Performance-Driven System Partitioning on Multi-Chip Modules (MS, ESK, RST), pp. 53–56.

ESOP-1992-Tarlecki #specification

Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft (AT), pp. 451–472.

ECOOP-1992-Szyperski #inheritance #why

Import is Not Inheritance — Why We Need Both: Modules and Classes (CAS), pp. 19–32.

POPL-1992-Tofte #higher-order

Principal Signatures for Higher-Order Program Modules (MT), pp. 189–199.

ICSE-1992-PatelCB

A Measure for Composite Module Cohesion (SP, WCC, RB), pp. 38–48.

POPL-1991-MitchellMM #inheritance #ml #standard #type system

An Extension of Standard ML Modules with Subtyping and Inheritance (JCM, SM, NM), pp. 270–278.

ESEC-1991-DauchyM #algebra #automation #specification #testing

Test Data Selection From Algebraic Specifications: Application to an Automatic Subway Module (PD, BM), pp. 80–100.

ISLP-1991-GiordanoM #logic programming #re-engineering

A Modal Reconstruction of Blocks and Modules in Logic Programming (LG, AM), pp. 239–253.

ISLP-1991-StrooperH #c #prolog #testing

Prolog Testing of C Modules (PAS, DH), pp. 596–608.

PLDI-1990-SanthanamO #bound

Register Allocation Across Procedure and Module Boundaries (VS, DO), pp. 28–39.

LFP-1990-CurtisR

A Module System for Scheme (PC, JR), pp. 13–19.

LFP-1990-SheldonG #dependent type

Static Dependent Types for First Class Modules (MAS, DKG), pp. 20–29.

GG-1990-EhringP #algebra #graph grammar #specification

Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars (HE, FPP), pp. 292–310.

POPL-1990-HarperMM #higher-order

Higher-Order Modules and the Phase Distinction (RH, JCM, EM), pp. 341–354.

ICSE-1990-ChoppyK #development #prototype #specification

Mixing Abstract and Concrete Modules: Specification, Development and Prototyping (CC, SK), pp. 173–184.

DAC-1989-Al-KhaliliZA #generative

A Module Generator for Optimized CMOS Buffers (AJAK, YZ, DAK), pp. 245–250.

DAC-1989-BruceMH #multi

Multi Chip Modules (RHB, WPM, JH), pp. 389–393.

DAC-1989-GabbeS #clustering

A Note on Clustering Modules for Floorplanning (JDG, PAS), pp. 594–597.

DAC-1989-Keutzer #architecture #design #generative #logic #synthesis

Three Competing Design Methodologies for ASIC’s: Architectual Synthesis, Logic Synthesis, Logic Synthesis and Module Generation (KK), pp. 308–313.

DAC-1989-Libeskind-HadasL #network #problem

Solutions to the Module Orientation and Rotation Problems by Neural Computation Networks (RLH, CLL), pp. 400–405.

DAC-1989-VandweerdCRSM #automation #generative #named

REDUSA: Module Generation by Automatic Elimination of Superfluous Blocks in Regular Structures (IV, KC, LR, PS, HDM), pp. 694–697.

ICALP-1989-PnueliR #on the #synthesis

On the Synthesis of an Asynchronous Reactive Module (AP, RR), pp. 652–671.

SEKE-1989-FanH #complexity #metric

A Comprehensive Software Complexity Metric for Primitive Modules (ZF, JMH), pp. 67–72.

OOPSLA-1989-Freeman-Benson #constraints #smalltalk

A Module Mechanism for Constraints in Smalltalk (BNFB), pp. 389–396.

POPL-1989-Mosses #algebra

Unified Algebras and Modules (PDM), pp. 329–343.

POPL-1989-PnueliR #on the #synthesis

On the Synthesis of a Reactive Module (AP, RR), pp. 179–190.

ICSE-1989-OttT #slicing

The Relationship between Slices and Module Cohesion (LMO, JJT), pp. 198–204.

CSL-1989-AntoniouS #on the #verification

On the Verification of Modules (GA, VS), pp. 16–35.

TAV-1989-HoffmanB #generative #testing

Module Test Case Generation (DH, CB), pp. 97–102.

DAC-1988-ChenB #layout

A Module Area Estimator for VLSI Layout (XC, MLB), pp. 54–59.

DAC-1988-JainPP #pipes and filters #synthesis

Module Selection for Pipelined Synthesis (RJ, ACP, NP), pp. 542–547.

DAC-1988-ShiraishiSKTS #generative #logic

A High Packing Density Module Generator for CMOS Logic Cells (YS, JS, MK, AT, TS), pp. 439–444.

LFP-1988-MacQueen #implementation #ml #standard

An Implementation of Standard ML Modules (DBM), pp. 212–223.

CADE-1988-Wang #reasoning

Elements of Z-Module Reasoning (TCW), pp. 21–40.

DAC-1987-ApteK #layout #standard

Strip Layout: A New Layout Methodology for Standard Circuit Modules (JA, GK), pp. 363–369.

DAC-1987-CesearIT #named #synthesis

PAMS: An Expert System for Parameterized Module Synthesis (TC, EI, CT), pp. 666–671.

DAC-1987-HealeyK #generative #logic #network

Abstract Routing of Logic Networks for Custom Module Generation (STH, WJK), pp. 230–236.

HCI-CE-1987-YoshikawaMNUW #flexibility #interface #simulation

Realization of Flexible User-Interface System for Module-Based Simulation System of Nuclear Power Plant (HY, NM, NN, NU, JW), pp. 249–256.

OOPSLA-1987-Thorelli #ll #type checking

Modules and Type Checking in PL/LL (LET), pp. 268–276.

POPL-1987-CheritonW #multi #programming language

Extensions for Multi-Module Records in Conventional Programming Languages (DRC, MEW), pp. 296–306.

ESEC-1987-CollbergK #implementation #multi

A Property-Based Method for Selecting Among Multiple Implementations of Modules (CSC, MGK), pp. 193–201.

ESEC-1987-Selby #design #reuse

Analyzing Software Reuse at the Project and Module Design Levels (RWS), pp. 212–220.

SLP-1987-Chen87 #formal method #higher-order #logic

A Theory of Modules Based on Second-Order Logic (WC), pp. 24–33.

DAC-1986-SixCRM #generative

An intelligent module generator environment (PS, LJMC, JMR, HDM), pp. 730–735.

SLP-1986-Miller86 #formal method #logic programming

A Theory of Modules for Logic Programming (DM), pp. 106–114.

DAC-1985-BarabinoBBM #data access

A module for improving data access and management in an integrated CAD environment (GPB, GSB, GB, MM), pp. 577–583.

DAC-1985-HillFL #effectiveness #generative #grid

Effective use of virtual grid compaction in macro-module generators (DDH, JPF, MDPL), pp. 777–780.

DAC-1985-Tendolkar #analysis #fault #random

Analysis of timing failures due to random AC defects in VLSI modules (NNT), pp. 709–714.

DAC-1984-Freund #design #scalability #testing

Managing a large volume of design/manufacturing/test data in a chip and module factory (VJFJ), pp. 447–451.

DAC-1984-HudsonWP #algorithm

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

DAC-1984-Wilkins #design #verification

Module design verification system (LW), pp. 282–287.

LFP-1984-MacQueen #ml #standard

Modules for Standard ML (DBM), pp. 198–207.

ICSE-1984-Emerson #metric

A Discriminant Metric for Module Cohersion (TJE), pp. 294–303.

ILPC-1984-GoguenM84 #logic programming #similarity

Equality, Types, Modules and Generics for Logic Programming (JAG, JM), pp. 115–125.

DAC-1983-EliasW #compilation #design

The IC Module Compiler, a VLSI system design aid (NJE, AWW), pp. 46–49.

DAC-1983-FukunagaYSK #approach #graph #using

Placement of circuit modules using a graph space approach (KF, SY, HSS, TK), pp. 465–471.

DAC-1983-IosupoviczKB

A module interchange placement machine (AI, CK, MAB), pp. 171–174.

DAC-1983-OgiharaMTKF #bidirectional #design #generative #testing

Test generation for scan design circuits with tri-state modules and bidirectional terminals (TO, SM, YT, KK, HF), pp. 71–78.

DAC-1983-Vida-TorkuR #fault #multi #quality

Quality level and fault coverage for multichip modules (EKVT, CER), pp. 201–206.

DAC-1982-OdawaraIK

Arbitrarily-sized module location technique in the lop system (GO, KI, TK), pp. 718–726.

ICALP-1982-GoguenM #implementation #persistent

Universal Realization, Persistent Interconnection and Implementation of Abstract Modules (JAG, JM), pp. 265–281.

ICSE-1982-WarrenMH #experience #pascal #quality #source code

Experience with a Module Package in Developing Production Quality PASCAL Programs (SW, BEM, CH), pp. 246–253.

ILPC-1982-Skuce82 #automation #development #generative #program transformation

Module Development Based on Program Transformation and Automatic Generation of the Input-output Relation (DRS), pp. 116–122.

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

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

DAC-1981-LeiveT #logic #synthesis

A technology relative Logic Synthesis and Module Selection system (GWL, DET), pp. 479–485.

DAC-1981-OdawaraIIK #automation #named

PAS-LOP: An automatic module location system for PWB (GO, KI, NI, TK), pp. 153–159.

PS-1981-Steensgaard-Madsen #specification

Program Specification by Module Trees (JSM), pp. 294–321.

ICSE-1981-BrittonPP #design #interface

A Procedure for Designing Abstract Interfaces for Device Interface Modules (KHB, RAP, DLP), pp. 195–206.

SCC-1979-HoltW #implementation

A model for implementing Euclid modules and type templates (RCH, DBW), pp. 8–12.

ICSE-1979-BerryP #design #specification

The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology (DMB, MH(P), pp. 294–307.

ICSE-1979-Lasker #evolution #product line #realtime

Module Structure in an Evolving Family of Real Time Systems (DML), pp. 22–28.

ICSE-1979-Tichy #development

Software Development Based on Module Interconnection (WFT), pp. 29–41.

DAC-1978-LekkosP #how #logic #pseudo #refinement #using

How to develop module logic using pseudo-code and stepwise refinement (AAL, CMP), pp. 366–370.

DAC-1978-NishiokaKYSO #approach

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

DAC-1978-TokoroSITIO #simulation

A module level simulation technique for systems composed of LSI’s and MSI’s (MT, MS, MI, ET, TI, HO), pp. 418–427.

ICSE-1976-Fabry #design #how #on the fly

How to Design a System in Which Modules Can Be Changed on the Fly (RSF), pp. 470–476.

DAC-1975-ThompsonB #interface #specification

A module interface specification language (EWT, RFB), pp. 42–49.

VLDB-1975-Omahen #memory management #multi

Estimating Response Time for Auxiliary Memory Configuartions with Multiple Movable-Head Disk Modules (KO), pp. 473–495.

DAC-1973-Rader #evolution

Evolution of the philosophy and capability for the CAD of digital modules (JAR), pp. 282–288.

POPL-1973-FischerF

Mode Modules as Representations of Domains (AEF, MJF), pp. 139–143.