Sciweavers

673 search results - page 125 / 135
» A timing model for synchronous language implementations in s...
Sort
View
PKDD
2009
Springer
149views Data Mining» more  PKDD 2009»
14 years 2 months ago
Learning to Disambiguate Search Queries from Short Sessions
Web searches tend to be short and ambiguous. It is therefore not surprising that Web query disambiguation is an actively researched topic. To provide a personalized experience for ...
Lilyana Mihalkova, Raymond J. Mooney
ATAL
2001
Springer
14 years 4 days ago
Ontological Overhearing
Abstract. The collaboration between two intelligent agents can be greatly enhanced if a third agent, who has some understanding of the communication between the first two, interve...
Marco Aiello, Paolo Busetta, Antonia Donà, ...
CAV
2001
Springer
83views Hardware» more  CAV 2001»
14 years 4 days ago
Iterating Transducers
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
Dennis Dams, Yassine Lakhnech, Martin Steffen
IPPS
1997
IEEE
13 years 12 months ago
DPF: A Data Parallel Fortran Benchmark Suite
We present the Data Parallel Fortran (DPF) benchmark suite, a set of data parallel Fortran codes forevaluatingdata parallel compilers appropriatefor any target parallel architectu...
Y. Charlie Hu, S. Lennart Johnsson, Dimitris Kehag...
ESTIMEDIA
2006
Springer
13 years 11 months ago
Loop Nest Splitting for WCET-Optimization and Predictability Improvement
This paper presents the influence of the loop nest splitting source code optimization on the worst-case execution time (WCET). Loop nest splitting minimizes the number of executed...
Heiko Falk, Martin Schwarzer