Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
248
Garp: A MIPS Processor with a Reconfigurable Coprocessor
, 1997
"... Typical reconfigurable machines exhibit shortcomings that make them less than ideal for general-purpose computing. The Garp Architecture combines reconfigurable hardware with a standard MIPS processor on the same die to retain the better features of both. Novel aspects of the architecture are presen ..."
Abstract
-
Cited by 404 (7 self)
- Add to MetaCart
Typical reconfigurable machines exhibit shortcomings that make them less than ideal for general-purpose computing. The Garp Architecture combines reconfigurable hardware with a standard MIPS processor on the same die to retain the better features of both. Novel aspects of the architecture
Hewlett-Packard PA-RISC, or MIPS Technologies MIPS architectures. Designed primarily
"... hen discussing microprocessors, we tend to think of the Intel x86 architecture and its competitors—the IBM/Motorola ..."
Abstract
- Add to MetaCart
hen discussing microprocessors, we tend to think of the Intel x86 architecture and its competitors—the IBM/Motorola
MIPS: analysis and annotation of proteins from whole genomes
- Nucleic Acids Res
, 2004
"... resources related to genome information. Manually curated databases for several reference organisms are maintained. Several of these databases are described elsewhere in this and other recent NAR database issues. In a complementary effort, a comprehensive set of.400 genomes automatically annotated w ..."
Abstract
-
Cited by 206 (14 self)
- Add to MetaCart
comprehensive data structures and database technology, communication and query tools to include a wide range of different types of information enabling the representation of complex information such as functional modules or networks Genome Research Environment System, (ii) the development of databases covering
MIP models for MIP heuristics
, 2006
"... Modern MIP solvers exploit a rich arsenal of tools to attack hard problems, some of which include the solution of LP models to control the branching strategy (strong branching), the cut generation (lift-and-project), the heuristics (reduced costs), etc. As a matter of fact, it is well understood by ..."
Abstract
- Add to MetaCart
to that needed to solve its LP relaxation. In this context, our idea is to use MIP models, instead of just LPs, to guide the MIP solvers in its most crucial steps, thus bringing MIP technology well inside the MIP solver itself. In this talk we will elaborate upon the above idea of “translating into a MIP model
MIPS16: High-density MIPS for the Embedded Market,
- in Proceedings of Real Time Systems'97 (RTS97),
, 1997
"... Origins of MIPS® RISC Technology The invention of RISC, or Reduced Instruction Set Computer technology, has been credited to several people. Certainly a great deal of the credit must go to John Cocke of IBM's Yorktown research labs, where a processor called the 801 (named for the building in w ..."
Abstract
-
Cited by 47 (0 self)
- Add to MetaCart
Origins of MIPS® RISC Technology The invention of RISC, or Reduced Instruction Set Computer technology, has been credited to several people. Certainly a great deal of the credit must go to John Cocke of IBM's Yorktown research labs, where a processor called the 801 (named for the building
Just MIP it!
- ANN. INFO. SYSTEMS
, 2009
"... Modern Mixed-Integer Programming (MIP) solvers exploit a rich arsenal of tools to attack hard problems. It is widely accepted by the OR community that the solution of very hard MIPs can take advantage from the solution of a series of time-consuming auxiliary Linear Programs (LPs) intended to enhance ..."
Abstract
-
Cited by 5 (1 self)
- Add to MetaCart
to that needed to solve the LP relaxations. So, it makes sense to think of a new generation of MIP solvers where auxiliary MIPs (as opposed to LPs) are heuristically solved on the fly, with the aim of bringing the MIP technology under the chest of the MIP solver itself. This leads to the idea of “translating
SUIF: An Infrastructure for Research on Parallelizing and Optimizing Compilers
- ACM SIGPLAN Notices
, 1994
"... Compiler infrastructures that support experimental research are crucial to the advancement of high-performance computing. New compiler technology must be implemented and evaluated in the context of a complete compiler, but developing such an infrastructure requires a huge investment in time and reso ..."
Abstract
-
Cited by 247 (22 self)
- Add to MetaCart
Compiler infrastructures that support experimental research are crucial to the advancement of high-performance computing. New compiler technology must be implemented and evaluated in the context of a complete compiler, but developing such an infrastructure requires a huge investment in time
MIPS32 ® M4K ™ Processor Core Software User’s Manual
, 2008
"... Unpublished rights (if any) reserved under the copyright laws of the United States of America and other countries. This document contains information that is proprietary to MIPS Technologies, Inc. ("MIPS Technologies"). Any copying, reproducing, modifying or use of this information (in who ..."
Abstract
- Add to MetaCart
Unpublished rights (if any) reserved under the copyright laws of the United States of America and other countries. This document contains information that is proprietary to MIPS Technologies, Inc. ("MIPS Technologies"). Any copying, reproducing, modifying or use of this information (in
Exploiting the power of MIP solvers in Maxsat
- In Proc. SAT, volume 7962 of LNCS
, 2013
"... Abstract. maxsat is an optimization version of satisfiability. Since many practical problems involve optimization, there are a wide range of potential applications for effective maxsat solvers. In this paper we present an extensive empirical evaluation of a number of maxsat solvers. In addition to t ..."
Abstract
-
Cited by 7 (1 self)
- Add to MetaCart
to traditional maxsat solvers, we also evaluate the use of a state-of-the-art Mixed Integer Program (mip) solver, cplex, for solving maxsat. mip solvers are the most popular technology for solving opti-mization problems and are also theoretically more powerful than sat solvers. In fact, we show that cplex
Results 1 - 10
of
248
