49 papers:
DAC-2015-WangH0LL #logic #memory management #named- ProPRAM: exploiting the transparent logic resources in non-volatile memory for near data computing (YW, YH, LZ, HL, XL), p. 6.
SEFM-2015-KringsBL #proving- From Failure to Proof: The ProB Disprover for B and Event-B (SK, JB, ML), pp. 199–214.
- SEFM-2014-DobrikovL #model checking #optimisation #partial order #reduction #using
- Optimising the ProB Model Checker for B Using Partial Order Reduction (ID, ML), pp. 220–234.
CHI-2014-JuhlinEO #video- Long tail TV revisited: from ordinary camera phone use to pro-am video production (OJ, AE, EÖ), pp. 1325–1334.
CSCW-2014-TomasicZSH- Motivating contribution in a participatory sensing system via quid-pro-quo (AT, JZ, AS, YH), pp. 979–988.
SLE-2014-MeyersDLSVW #framework #generative #named- ProMoBox: A Framework for Generating Domain-Specific Property Languages (BM, RD, LL, ES, HV, MW), pp. 1–20.
ISSTA-2014-SchurRZ #mining #modelling #multi #named #web- ProCrawl: mining test models from multi-user web applications (MS, AR, AZ), pp. 413–416.
CBSE-2013-YinQCH #component- Mode switch handling for the ProCom component model (HY, HQ, JC, HH), pp. 13–22.
- CHI-2013-MassungCCJP #community #crowdsourcing #using
- Using crowdsourcing to support pro-environmental community activism (EM, DC, KFC, MJ, CP), pp. 371–380.
FM-2012-PlaggeL #using #validation- Validating B, Z and TLA + Using ProB and Kodkod (DP, ML), pp. 372–386.
IFM-2012-HansenL #validation- Translating TLA + to B for Validation with ProB (DH, ML), pp. 24–38.
CIKM-2012-SouihliS #predict #probability #query #xml- Demonstrating ProApproX 2.0: a predictive query engine for probabilistic XML (AS, PS), pp. 2734–2736.
- CBSE-2011-BordeC #component #embedded #realtime #synthesis #towards
- Towards verified synthesis of ProCom, a component model for real-time embedded systems (EB, JC), pp. 129–138.
SIGMOD-2011-SenellartS #approximate #lightweight #named #probability #query- ProApproX: a lightweight approximation query processor over probabilistic trees (PS, AS), pp. 1295–1298.
- SEFM-2011-SoleimanifardGH #composition #named #safety #verification
- ProMoVer: Modular Verification of Temporal Safety Properties (SS, DG, MH), pp. 366–381.
HCI-MIIE-2011-AoyagiOIS #behaviour #communication- Proposal of a Method for Promotion of Continuous Pro-Environmental Behavior with Easy Communication (SA, TO, HI, HS), pp. 465–473.
- HCI-MIIE-2011-ForutanpourR #collaboration #mobile #named #using
- ProJest: Enabling Higher Levels of Collaboration Using Today’s Mobile Devices (BF, JR), pp. 48–58.
SAC-2011-RahmanHA11a #named #privacy #quantifier #towards- ProQuPri: towards anonymity protection with privacy quantification for context-aware applications (FR, MEH, SIA), pp. 453–454.
- DAC-2010-HePKYALC #energy #named #throughput
- Xetal-Pro: an ultra-low energy and high throughput SIMD processor (YH, YP, RPK, ZY, AAA, SML, HC), pp. 543–548.
- DAC-2010-NalamBMC #design #optimisation #prototype
- Virtual prototyper (ViPro): an early design space exploration and optimization tool for SRAM designers (SN, MB, KM, BHC), pp. 138–143.
SIGIR-2010-AwadallahRW #classification- Language-model-based pro/con classification of political text (RA, MR, GW), pp. 747–748.
ICSE-2009-BianculliBDG #framework #named #web #web service- ReMan: A pro-active reputation management infrastructure for composite Web services (DB, WB, MLD, CG), pp. 623–626.
- DAC-2008-SenNSC #adaptation #named #power management #process
- Pro-VIZOR: process tunable virtually zero margin low power adaptive RF for wireless systems (SS, VN, RS, AC), pp. 492–497.
- SIGMOD-2008-ChandramouliYAYZ #named #scalability
- ProSem: scalable wide-area publish/subscribe (BC, JY, PKA, AY, YZ), pp. 1315–1318.
- SIGMOD-2005-JahangiriS #data analysis #named
- ProDA: a suite of web-services for progressive data analysis (MJ, CS), pp. 894–896.
VLDB-2005-PoessO #database #grid #scalability- Large Scale Data Warehouses on Grid: Oracle Database 10g and HP ProLiant Systems (MP, RON), pp. 1055–1066.
AdaEurope-2005-Ruiz- GNAT Pro for On-board Mission-Critical Space Applications (JFR), pp. 248–259.
HPDC-2005-KonishiOHI #case study #throughput- A case study of instant workbench for InterProScan by Knoppix high throughput computing edition (FK, SO, YH, MI), pp. 301–302.
CSEET-2004-Jenkins #named- PRO-SOFTWARE: A Government-Industry-Academia Partnership that Worked (MJ), pp. 92–97.
DATE-2003-AndritsopoulosCDKMPTPR #case study #verification- Verification of a Complex SoC: The PRO3 Case-Study (FA, CC, GD, FK, YM, FP, IT, SP, DIR), pp. 20224–20231.
ITiCSE-2003-Gegg-HarrisonBGOW03a #correctness- Studying program correctness in ProVIDE (TSGH, GRB, RDG, CMO, JDW), p. 262.
- FME-2003-LeuschelB #model checking #named
- ProB: A Model Checker for B (ML, MJB), pp. 855–874.
CAiSE-2003-XuJ #contract #monitoring- Pro-active Monitoring of Electronic Contracts (LX, MAJ), pp. 584–600.
UML-2003-LohmannSS #development #modelling #named #tool support #web- ProGUM-Web: Tool Support for Model-Based Development of Web Applications (ML, SS, TS), pp. 101–105.
- VLDB-2002-NiermanJ #named #probability #xml
- ProTDB: Probabilistic Data in XML (AN, HVJ), pp. 646–657.
CIAA-2000-Heam #automaton- Automata for Pro-V Topologies (PCH), pp. 135–144.
- SAC-1999-WalbornC #transaction
- Transaction Processing in PRO-MOTION (GDW, PKC), pp. 389–398.
- SAC-1997-WalbornC #mobile #transaction
- PRO-MOTION : Management of Mobile Transactions (GDW, PKC), pp. 101–108.
HPCA-1997-BhandarkarD #performance- Performance Characterization of the Pentium(r) Pro Processor (DB, JJD), pp. 288–299.
PLILP-1996-GehrkeH #execution #named #specification- ProFun — A Language for Executable Specifications (TG, MH), pp. 304–318.
ICRE-1996-Pohl #named #requirements- PRO-ART: Enabling Requirements Pre-Traceability (KP), pp. 76–85.
ECOOP-1995-Amsellem #hypermedia #named #programming- ChyPro: A Hypermedia Programming Environment for Smalltalk-80 (MA), pp. 449–470.
- CHI-1994-Newman94a #analysis #human-computer #research #using
- A Preliminary Analysis of the Products of HCI Research, Using Pro Forma Abstracts (WN), pp. 278–284.
SEKE-1994-Dunin-KepliczJLM #development #named- CAProDel: a system for computer aided program development (BDK, JJ, WL, EMB), pp. 470–477.
- SEKE-1992-WatsonN #analysis #development #named
- ProTest: A Knowledge Analysis Tool for the Development of Expert Systems (IW, MN), pp. 206–212.
- PLILP-1992-LiG #logic #named
- ProQuery: Logical Access to an OODB (CML, PYG), pp. 487–488.
- ICSE-1992-Bjorner #experience
- Trusted Computing Systems: The ProCoS Experience (DB), pp. 15–34.
ESEC-1987-Hruschka- ProMod at the Age of 5 (PH), pp. 288–296.
- DAC-1976-Persky #automation #layout #named #string
- PRO — an automatic string placement program for polycell layout (GP), pp. 417–424.
