Stem par$ (all stems)

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.