Stem produc$ (all stems)

67 papers:

PLDI-2015-SharmaBA #gpu #source code #verification

Verification of producer-consumer synchronization in GPU programs (RS, MB, AA), pp. 88–98.

CHI-2015-IonWB #physics

Skin Drag Displays: Dragging a Physical Tactor across the User’s Skin Produces a Stronger Tactile Stimulus than Vibrotactile (AI, EJW, PB), pp. 2501–2504.

CHI-2015-PalenSAB #evolution

Success & Scale in a Data-Producing Organization: The Socio-Technical Evolution of OpenStreetMap in Response to Humanitarian Events (LP, RS, TJA, MB), pp. 4113–4122.

SAC-2015-BarringtonFD #multi #scalability

A scalable multi-producer multi-consumer wait-free ring buffer (AB, SDF, DD), pp. 1321–1328.

SPLC-2015-SchmidE #ecosystem #named #product line #variability

EASy-Producer: from product lines to variability-rich software ecosystems (KS, HE), pp. 390–391.

CHI-2014-HongA #modelling #performance #predict #recommendation #user interface

Novice use of a predictive human performance modeling tool to produce UI recommendations (KWH, RSA), pp. 2251–2254.

ICEIS-v2-2014-BassoPRF #agile #case study #information management #modelling #web

Study on Combining Model-driven Engineering and Scrum to Produce Web Information Systems (FPB, RMP, FRF, RZF), pp. 137–144.

ITiCSE-2013-Sanchez-Nielsen #learning #multi #student

Producing multimedia pills to stimulate student learning and engagement (ESN), pp. 165–170.

CHI-2013-WaycottVPKOGD

Older adults as digital content producers (JW, FV, SP, LK, EO, AG, JD), pp. 39–48.

ICEIS-v1-2013-DiabatAAAF #framework #optimisation #performance

A Framework for Optimizing the Supply Chain Performance of a Steel Producer (AHD, RAA, MHA, AJA, MNF), pp. 554–562.

POPL-2013-Tate #semantics

The sequential semantics of producer effect systems (RT), pp. 15–26.

ESEC-FSE-2013-InverardiARPT #challenge #integration #research

Producing software by integration: challenges and research directions (keynote) (PI, MA, DDR, PP, MT), pp. 2–12.

DAC-2012-LiANSVZ #design #physics #predict

Guiding a physical design closure system to produce easier-to-route designs with more predictable timing (ZL, CJA, GJN, CCNS, NV, NYZ), pp. 465–470.

ICFP-2012-MyreenO #higher-order #logic #ml #synthesis

Proof-producing synthesis of ML from higher-order logic (MOM, SO), pp. 115–126.

IDGD-2011-LuL #case study

A Study of Producing Ceramic Glaze Utilizing Shihmen Reservoir Silt (CCL, PHL), pp. 201–210.

ESEC-FSE-2011-DriscollBR #consistency

Checking conformance of a producer and a consumer (ED, AB, TWR), pp. 113–123.

DAC-2010-Breuer #bound #hardware

Hardware that produces bounded rather than exact results (MAB), pp. 871–876.

ICEIS-SAIC-2010-WaltherHSS #specification

Locating and Extracting Product Specifications from Producer Websites (MW, LH, DS, AS), pp. 13–22.

SAT-2010-GelderS #design #satisfiability

Zero-One Designs Produce Small Hard SAT Instances (AVG, IS), pp. 388–397.

CSEET-2009-CastilloOFE #approach #developer #education #programming #towards

Toward an Approach to Programming Education to Produce Qualified Software Developers (JFC, CMdO, ESF, PVE), pp. 101–104.

SAC-2009-SchneidewindH #approach #reliability #testing

A consumer/producer approach to risk-driven software reliability and testing (NFS, MH), pp. 537–538.

ASPLOS-2009-MytkowiczDHS #exclamation

Producing wrong data without doing anything obviously wrong! (TM, AD, MH, PFS), pp. 265–276.

CC-2009-MyreenSG #compilation

Extensible Proof-Producing Compilation (MOM, KS, MJCG), pp. 2–16.

ICST-2009-WaliaC #fault #modelling

Evaluating the Effect of the Number of Naturally Occurring Faults on the Estimates Produced by Capture-Recapture Models (GSW, JCC), pp. 210–219.

CSEET-2008-RootRT08a #how

Proposal Based Studio Projects: How to Avoid Producing “Cookie Cutter” Software Engineers (DR, MRL, GT), pp. 145–151.

ITiCSE-2008-Burrell #learning #object-oriented #process #programming #source code #visualisation

Learning object oriented programming: unique visualizations of individuals learning styles, activities and the programs produced (CJB), p. 339.

SAC-2008-PracaAMCRV #multi

A multi-agent system for the support of producer coalition formation in electricity markets (IP, AA, HM, MC, CR, ZAV), pp. 78–79.

ICSE-2008-WaliaCN #fault #modelling

The effect of the number of inspectors on the defect estimates produced by capture-recapture models (GSW, JCC, NN), pp. 331–340.

SPLC-2008-EichelbergerS #named #product line

EASy-Producer — A Product Line Production Environment (HE, KS), p. 357.

CAV-2008-KashyapG #using

Producing Short Counterexamples Using “Crucial Events” (SK, VKG), pp. 491–503.

WICSA-2007-StaffordC #architecture #documentation

Producing Software Architecture Documentation to Suit Your Needs (JAS, PCC), p. 33.

CASE-2007-PanosF #automation

The Benefits of Automatic Data Collection in the Fresh Produce Supply Chain (RP, TF), pp. 1034–1038.

ESOP-2007-LiOS #compilation #higher-order #logic #set

Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic (GL, SO, KS), pp. 205–219.

HCI-MIE-2007-RoibasS #comprehension #how #interactive #mobile

Beyond Mobile TV: Understanding How Mobile Interactive Systems Enable Users to Become Digital Producers (ACR, RS), pp. 801–810.

EDOC-2007-BrottierBTTN #multi #specification

Producing a Global Requirement Model from Multiple Requirement Specifications (EB, BB, YLT, DT, BN), pp. 390–404.

HPCA-2007-ChengCD #adaptation #protocol

An Adaptive Cache Coherence Protocol Optimized for Producer-Consumer Sharing (LC, JBC, DD), pp. 328–339.

SIGMOD-2005-TaoYPMH #named #optimisation #performance

RPJ: Producing Fast Join Results on Streams through Rate-based Optimization (YT, MLY, DP, MH, NM), pp. 371–382.

CADE-2005-McLaughlinH

A Proof-Producing Decision Procedure for Real Arithmetic (SM, JH), pp. 295–314.

RTA-2005-NieuwenhuisO #congruence

Proof-Producing Congruence Closure (RN, AO), pp. 453–468.

ICSM-2004-JanssensMHV #approach #composition #configuration management

A Modular Approach Enforcing Safe Reconfiguration of Producer-Consumer Applications (NJ, SM, TH, PV), pp. 274–283.

PODS-2003-DittrichSTW #on the

On producing join results early (JPD, BS, DST, PW), pp. 134–142.

ITiCSE-2003-KujansuuK #interactive #named #programming

Codewitz: producing interactive elearning material for beginners in programming (EK, MK), p. 266.

TACAS-2003-BerezinGD #linear #online

An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic (SB, VG, DLD), pp. 521–536.

ICEIS-v3-2003-DuarteCCG

Producing DTB From Audio Tapes (CD, LC, TC, NG), pp. 582–585.

ICSE-2003-PrecheltH #architecture #co-evolution #component #experience #scalability

The Co-Evolution of a Hype and a Software Architecture: Experience of Component-Producing Large-Scale EJB Early Adopters (LP, DJH), pp. 553–556.

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.

DATE-2001-FioriM #analysis

Analysis of EME produced by a microcontroller operation (FF, FM), pp. 341–347.

ICSM-2001-MitchellM #algorithm #clustering #metric #similarity #using

Comparing the Decompositions Produced by Software Clustering Algorithms Using Similarity Measurements (BSM, SM), pp. 744–753.

DAC-2000-CaldwellKM #question #recursion

Can recursive bisection alone produce routable placements? (AEC, ABK, ILM), pp. 477–482.

ICSE-2000-Widmaier #maturity #process #question #re-engineering #reliability #state of the art

Producing more reliable software: mature software engineering process vs. state-of-the-art technology? (JCW), pp. 88–93.

IWPC-1998-MancoridisMRCG #automation #clustering #source code #using

Using Automatic Clustering to Produce High-Level System Organizations of Source Code (SM, BSM, CR, YFC, ERG), pp. 45–52.

SIGIR-1998-CarbonellG #documentation #order #ranking #summary

The Use of MMR, Diversity-Based Reranking for Reordering Documents and Producing Summaries (JGC, JG), pp. 335–336.

RE-1997-DanoBB #approach #case study #concept #object-oriented #specification

An Approach Based on the Concept of Use Case to Produce Dynamic Object-Oriented Specifications (BD, HB, FB), pp. 54–64.

HPCA-1997-Abdel-ShafiHAA #communication #evaluation #multi

An Evaluation of Fine-Grain Producer-Initiated Communication in Cache-Coherent Multiprocessors (HAS, JH, SVA, VSA), pp. 204–215.

ICPR-1996-SuriHS #automation #bound #fault

Correction of systematic errors in automatically produced boundaries from low-contrast ventriculograms (JSS, RMH, FHS), pp. 361–365.

ECOOP-1996-Bancilhon #question

Will Europe ever Produce and sell Objects? (FB), p. 2.

HCI-ACS-1993-Sanchez #education

Metalearning and Metaknowledge Strategies to Produce Educational Software (JHS), pp. 368–373.

SAC-1993-Jeffay #paradigm #performance #predict #realtime

The Real-Time Producer/Consumer Paradigm: A Paradigm for the Construction of Efficient, Predictable Real-Time Systems (KJ), pp. 796–804.

ML-1992-EtzioniM #why

Why EBL Produces Overly-Specific Knowledge: A Critique of the PRODIGY Approaches (OE, SM), pp. 137–143.

SIGIR-1992-Grefenstette #retrieval

Use of Syntactic Context to Produce Term Association Lists for Text Retrieval (GG), pp. 89–97.

OOPSLA-1987-CoxS #named

Producer: A Tool for Translating Smalltalk-80 to Objective-C (BJC, KJS), pp. 423–429.

ICSE-1987-Matsumoto #case study #experience #hardware

Ten Years Experiences of a Software/Hardware Producing Environment (YM), p. 291.

LISP-1980-Rowan #compilation #lisp

A LISP Compiler Producing Compact Code (WR), pp. 216–222.

ICSE-1979-BrackettEHT

An Environment for Producing Well-Engineered Microcomputer Software (JWB, RSE, CKH, RT), pp. 386–398.

SOSP-1977-Russell #process

Process Backup in Producer-Consumer Systems (DLR), pp. 151–157.

SOSP-1975-RussellB #fault

Error Resynchronization in Producer-Consumer Systems (DLR, THB), pp. 106–113.

DAC-1970-Quiet #automation #source code

An automated method for producing diagnostic programs (EQ), pp. 132–137.