Stem multiprocess$ (all stems)

27 papers:

SAC-2013-AguiarFMH #communication #design #embedded #multi

Communication support at the OS level to enhance design space exploration in multiprocessed embedded systems (AA, SJF, FGM, FH), pp. 1555–1556.

HPDC-2013-CadambiCLPRSC #middleware #multi #named #performance #reliability

COSMIC: middleware for high performance and reliable multiprocessing on xeon phi coprocessors (SC, GC, CHL, RP, KR, MS, STC), pp. 215–226.

DAC-2012-Jeff #architecture #migration #multi

Big.LITTLE system architecture from ARM: saving power through heterogeneous multiprocessing and task context migration (BJ), pp. 1143–1146.

DATE-2012-RamboHS #consistency #memory management #multi #on the #verification

On ESL verification of memory consistency for system-on-chip multiprocessing (EAR, OPH, LCVdS), pp. 9–14.

CGO-2012-CampanoniJHRWB #automation #named #parallel #source code

HELIX: automatic parallelization of irregular programs for chip multiprocessing (SC, TMJ, GHH, VJR, GYW, DMB), pp. 84–93.

DAC-2011-BuiLLPR #architecture #multi

Temporal isolation on multiprocessing architectures (DNB, EAL, IL, HDP, JR), pp. 274–279.

ASPLOS-2009-DeviettiLCO #memory management #multi #named

DMP: deterministic shared memory multiprocessing (JD, BL, LC, MO), pp. 85–96.

SOSP-2009-NightingaleHMHH #kernel #multi #named

Helios: heterogeneous multiprocessing with satellite kernels (EBN, OH, RM, CH, GCH), pp. 221–234.

HPCA-2006-Stenstrom #multi

Chip-multiprocessing and beyond (PS), p. 109.

DATE-2005-HungBK #multi #programmable #symmetry

Symmetric Multiprocessing on Programmable Chips Made Easy (AH, WDB, AAK), pp. 240–245.

PPoPP-2005-LiHDH #automation #c #multi #source code #thread

Automatic multithreading and multiprocessing of C programs for IXP (LL, BH, JD, LH), pp. 132–141.

DATE-v2-2004-ZhuM #architecture #communication #framework #multi #prototype #specification #using

Using a Communication Architecture Specification in an Application-Driven Retargetable Prototyping Platform for Multiprocessing (XZ, SM), pp. 1244–1249.

DATE-2005-MelloMCM04 #multi #named #network

MultiNoC: A Multiprocessing System Enabled by a Network on Chip (AM, LM, NC, FGM), pp. 234–239.

DAC-2000-YenY #design #multi #verification

Multiprocessing design verification methodology for Motorola MPC74XX PowerPC microprocessor (JTY, QRY), pp. 718–723.

DAC-1998-HilgenstockHONP #multi #video

A Video Signal Processor for MIMD Multiprocessing (JH, KH, JO, DN, PP), pp. 50–55.

HPDC-1996-CrandallSC #clustering #comparison #multi #performance

Performance Comparison of Desktop Multiprocessing and Workstation Cluster Computing (PC, EVS, MJC), pp. 272–281.

PPoPP-1993-MorrisettT #framework #ml #multi #standard

Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey (JGM, APT), pp. 198–207.

TRI-Ada-C-1992-Sielski #ada #implementation #parallel #thread

Implementing Ada Tasking in a Multiprocessing, Multithreaded UNIX Environment (KLS), pp. 512–517.

FPCA-1985-Wise85 #design #multi

Design for a Multiprocessing Heap with On-board Reference Counting (DSW), pp. 289–304.

SLP-1985-LeeG85 #concurrent #multi #prolog

Concurrent Prolog in a Multiprocess Environment (RKSL, RG), pp. 100–109.

ICALP-1983-ReifS #logic #multi #network

A Multiprocess Network Logic with Temporal and Spatial Modalities (JHR, APS), pp. 629–639.

LISP-1980-Keller #multi

Divide and CONCer: Data Structuring in Applicative Multiprocessing Systems (RMK), pp. 196–202.

LISP-1980-McKayS #lisp #multi #named

MULTI — A LISP Based Multiprocessing System (DPM, SCS), pp. 29–37.

LISP-1980-Model #lisp #multi

Multiprocessing via Intercommunicating LISP Systems (MM), pp. 188–195.

LISP-1980-Wand #multi

Continuation-Based Multiprocessing (MW), pp. 19–28.

POPL-1980-ReifP #logic #multi

A Dynamic Logic of Multiprocessing with Incomplete Information (JHR, GLP), pp. 193–202.

SOSP-1967-Lampson68 #multi #scheduling

A scheduling philosophy for multiprocessing systems (BWL), pp. 347–360.