4747 search results - page 677 / 950 » Shuffle Memory System |
179
click to vote
SAMOS
2005
Springer
16 years 5 days ago
2005
Springer
An analytical performance model for out of order issue superscalar micro-processors is presented. This model quantifies the performance impacts of micro-architecture design option...
159
click to vote
TACAS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized B¨uchi automaton for the negation of the formula ...
148
click to vote
GECCO
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Genetic Programming often uses excessive computational resources because the population size and the maximum number of generations per run are not optimized. We have deve...
172
click to vote
LCPC
2004
Springer
16 years 1 days ago
2004
Springer
Trimaran is an integrated compilation and performance monitoring infrastructure. The architecture space that Trimaran covers is characterized by HPL-PD, a parameterized processor a...
168
click to vote
MICAI
2004
Springer
16 years 1 days ago
2004
Springer
A number of problems in computer science can be solved efficiently with the so called memory based or kernel methods. Among this problems (relevant to the AI community) are multime...