Stem mip$ (all stems)

7 papers:

SAT-2013-DaviesB #power of #satisfiability

Exploiting the Power of mip Solvers in maxsat (JD, FB), pp. 166–181.

ICPC-2012-RajlichW #comprehension #concept

A retrospective view on: The role of concepts in program comprehension: (MIP award) (VR, NW), pp. 12–13.

DAC-2008-PinckneyBDMJNHSP #implementation

A MIPS R2000 implementation (NRP, TB, MD, MM, NJ, CN, DMH, JS, BP), pp. 102–107.

CAV-2004-Arons #algorithm #execution #verification

Verification of an Advanced mips-Type Out-of-Order Execution Algorithm (TA), pp. 414–426.

DATE-2003-PetrotG #api #implementation #lightweight #multi #thread

Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect (FP, PG), pp. 20051–20056.

ASPLOS-1991-CmelikKDK #analysis #benchmark #metric #set #specification

An Analysis of SPARC and MIPS Instruction Set Utilization on the SPEC Benchmarks (RFC, SIK, DRD, EJK), pp. 290–302.

CLP-1990-Taylor90 #compilation #prolog

LIPS on a MIPS: Results from a Prolog Compiler for a RISC (AT), pp. 174–185.