Sciweavers

3383 search results - page 331 / 677
» Distributing the power of OLAP
Sort
View
ICS
2000
Tsinghua U.
15 years 10 months ago
A low-complexity issue logic
One of the main concerns in today's processor design is the issue logic. Instruction-level parallelism is usually favored by an out-of-order issue mechanism where instruction...
Ramon Canal, Antonio González
IPPS
1995
IEEE
15 years 10 months ago
Symbolic range propagation
Abstract. To e ectively parallelize real programs, parallelizing compilers need powerful symbolic analysis techniques 13, 6 . In previous work we have introduced an algorithm calle...
William Blume, Rudolf Eigenmann
REX
1991
15 years 10 months ago
Logics and Models of Real Time: A Survey
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
Rajeev Alur, Thomas A. Henzinger
CCGRID
2008
IEEE
15 years 9 months ago
Fault Tolerance in Cluster Federations with O2P-CF
Fault tolerance is one of the key issues for large scale applications executed on high performance computing systems. In a cluster federation, clusters are gathered to provide hug...
Thomas Ropars, Christine Morin
FMCO
2008
Springer
109views Formal Methods» more  FMCO 2008»
15 years 8 months ago
Session-Based Compilation Framework for Multicore Programming
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...
Nobuko Yoshida, Vasco Thudichum Vasconcelos, Herv&...