6978 search results - page 1057 / 1396 » On Proofs in System P |
137
click to vote
SAMOS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper presents some interesting concepts of static dataflow machines that can be used by reconfigurable computing architectures. We introduce some data-driven reconf...
163
click to vote
SAMOS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Loop unrolling plays an important role in compilation for Reconfigurable Processing Units (RPUs) as it exposes operator parallelism and enables other transformations (e.g...
186
click to vote
VLDB
2004
ACM
16 years 5 days ago
2004
ACM
Information retrieval over semantic metadata has recently received a great amount of interest in both industry and academia. In particular, discovering complex and meaningful rela...
212
Voted
CLUSTER
2003
IEEE
16 years 4 days ago
2003
IEEE
Moldable job scheduling has been proved to be effective compared to traditionaljob scheduling policies. It is based on the observation that most jobs submitted to a spaceshared pa...
188
click to vote
DATE
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper proposes a novel methodology tailored to design embedded systems, taking into account the emerging market needs, such as hw/sw partitioning, object-oriented specificati...