Sciweavers

200 search results - page 4 / 40
» On the decidability of phase ordering problem in optimizing ...
Sort
View
MICRO
1996
IEEE
106views Hardware» more  MICRO 1996»
13 years 11 months ago
Optimization of Machine Descriptions for Efficient Use
A machine description facility allows compiler writers to specify machine execution constraints to the optimization and scheduling phases of an instruction-level parallelism (ILP)...
John C. Gyllenhaal, Wen-mei W. Hwu, B. Ramakrishna...
ISCAS
2002
IEEE
86views Hardware» more  ISCAS 2002»
14 years 11 days ago
On the optimal labeling for pseudo-chaotic phase hopping
In this paper we introduce the PCPH (Pseudo-Chaotic Phase Hopping) telecommunication scheme, which is obtained by combining pseudo-chaotic encoding with N-ary phase shift keying. ...
Zbigniew Galias, Gian Mario Maggio
POPL
2009
ACM
14 years 8 months ago
Positive supercompilation for a higher order call-by-value language
Previous deforestation and supercompilation algorithms may introduce accidental termination when applied to call-by-value programs. This hides looping bugs from the programmer, an...
Peter A. Jonsson, Johan Nordlander
DOLAP
2007
ACM
13 years 11 months ago
Deciding the physical implementation of ETL workflows
In this paper, we deal with the problem of determining the best possible physical implementation of an ETL workflow, given its logical-level description and an appropriate cost mo...
Vasiliki Tziovara, Panos Vassiliadis, Alkis Simits...
FORMATS
2006
Springer
13 years 11 months ago
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as...
Gordon J. Pace, Gerardo Schneider