260 search results - page 22 / 52 » Array SSA Form and Its Use in Parallelization |
EJWCN
2010
13 years 2 months ago
2010
A tactical radio network is a radio network in which a transmitter broadcasts the same information to its receivers. In this paper, dynamic spectrum management is studied for multi...
TCAD
2008
13 years 7 months ago
2008
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
PPOPP
2009
ACM
14 years 8 months ago
2009
ACM
Irregular programs are programs organized around pointer-based data structures such as trees and graphs. Recent investigations by the Galois project have shown that many irregular...
OOPSLA
2010
Springer
13 years 6 months ago
2010
Springer
Many language implementations, particularly for high-level and scripting languages, are based on carefully honed runtime systems that have an internally sequential execution model...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
: This paper presents an improved method for the geometrical calibration of parallel robots for which the structure is based upon some parallelogram mechanisms. Its originality is ...