11 papers:
CSL-2015-BrotherstonV #logic- Sub-classical Boolean Bunched Logics and the Meaning of Par (JB, JV), pp. 325–342.
SAC-PL-J-2013-MaierST14 #design #reliability #scalability #symbolic computation- Reliable scalable symbolic computation: The design of SymGridPar2 (PM, RJS, PWT), pp. 19–35.
SAC-2013-MaierST #design #reliability #scalability #symbolic computation- Reliable scalable symbolic computation: the design of SymGridPar2 (PM, RJS, PWT), pp. 1674–1681.
ICFP-2012-FoltzerKSSJN #composition #scheduling- A meta-scheduler for the par-monad: composable scheduling for the heterogeneous cloud (AF, AK, RS, SS, EJ, RN), pp. 235–246.
FSE-2012-AlbertFG #concurrent #named- MayPar: a may-happen-in-parallel analyzer for concurrent objects (EA, AFM, SG), p. 14.
ICEIS-J-2011-CarvalhoSRP #named- PAR-COM: A New Methodology for Post-processing Association Rules (VOdC, FFdS, SOR, RdP), pp. 66–80.
HCI-IPT-2007-NayaCAC #2d #editing #geometry #interface #named #parametricity #sketching- ParSketch: A Sketch-Based Interface for a 2D Parametric Geometry Editor (FN, MC, NA, PC), pp. 115–124.
VLDB-2006-JoshiDZWFLW #architecture #image #multimodal #named #query #web- PARAgrab: A Comprehensive Architecture for Web Image Management and Multimodal Querying (DJ, RD, ZZ, WPW, MF, JL, JZW), pp. 1163–1166.
SEKE-2005-SouzaVSSGLH #message passing #named #parallel #source code #testing- ValiPar: A Testing Tool for Message-Passing Parallel Programs (SdRSdS, SRV, PSLdS, AdSS, TBG, AdML, ACH), pp. 386–391.
FM-v2-1999-IyodaSS #clustering #named- ParTS: A Partitioning Transformation System (JI, AS, LS), pp. 1400–1419.
SAC-1994-KumarH #concept #fuzzy #logic #reduction #using- Reduction of communications in a MasPar computer using fuzzy logic concepts (AGK, JH), pp. 351–356.