Sciweavers

6348 search results - page 315 / 1270
» Extensible control architectures
Sort
View
APCSAC
2003
IEEE
15 years 10 months ago
Simultaneous MultiStreaming for Complexity-Effective VLIW Architectures
Very Long Instruction Word (VLIW) architectures exploit instruction level parallelism (ILP) with the help of the compiler to achieve higher instruction throughput with minimal hard...
Pradeep Rao, S. K. Nandy, M. N. V. Satya Kiran
FROCOS
2000
Springer
15 years 10 months ago
Combining Equational Theories Sharing Non-Collapse-Free Constructors
In this paper we extend the applicability of our combination method for decision procedures for the word problem to theories sharing non-collapse-free constructors. This extension ...
Franz Baader, Cesare Tinelli
COMSIS
2007
84views more  COMSIS 2007»
15 years 6 months ago
A simple implementation of grammar libraries
This paper presents an extension of the Tatoo compiler compiler that supports separate compilation and dynamic linking of formal grammars. It allows the developer to define reusabl...
Julien Cervelle, Rémi Forax, Gilles Roussel
160
Voted
DC
2007
15 years 6 months ago
Randomized leader election
d bins abstraction and works in two phases. The main novelty of the work is in the first phase where the number of contending processes is reduced in a controlled manner. Probabil...
Murali Krishna Ramanathan, Ronaldo A. Ferreira, Su...
MICRO
2003
IEEE
116views Hardware» more  MICRO 2003»
15 years 12 months ago
Universal Mechanisms for Data-Parallel Architectures
Data-parallel programs are both growing in importance and increasing in diversity, resulting in specialized processors targeted at specific classes of these programs. This paper ...
Karthikeyan Sankaralingam, Stephen W. Keckler, Wil...