BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
implement (2)
view (1)
award (1)
order (1)
role (1)

Stem mip$ (all stems)

7 papers:

ICSTSAT-2013-DaviesB #power of #satisfiability
Exploiting the Power of mip Solvers in maxsat (JD, FB), pp. 166–181.
ICPCICPC-2012-RajlichW #comprehension #concept
A retrospective view on: The role of concepts in program comprehension: (MIP award) (VR, NW), pp. 12–13.
DACDAC-2008-PinckneyBDMJNHSP #implementation
A MIPS R2000 implementation (NRP, TB, MD, MM, NJ, CN, DMH, JS, BP), pp. 102–107.
CAVCAV-2004-Arons #algorithm #execution #verification
Verification of an Advanced mips-Type Out-of-Order Execution Algorithm (TA), pp. 414–426.
DATEDATE-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.
ASPLOSASPLOS-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.
ICLPCLP-1990-Taylor90 #compilation #prolog
LIPS on a MIPS: Results from a Prolog Compiler for a RISC (AT), pp. 174–185.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.