3600 search results - page 123 / 720 » The settling-time reducibility ordering |
125
click to vote
CLEF
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper we present the results of BUAP/UPV universities in WebCLEF, a particular task of CLEF 2005. Particularly, we evaluate our information retrieval system at th...
174
click to vote
ICTAC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
168
click to vote
SAMOS
2005
Springer
15 years 12 months ago
2005
Springer
An analytical performance model for out of order issue superscalar micro-processors is presented. This model quantifies the performance impacts of micro-architecture design option...
153
click to vote
PACS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper introduces the concept of context-independent coding using frequency-based mapping schemes in order to reduce off-chip interconnect power consumption. State-of...
147
click to vote
ISMVL
2003
IEEE
15 years 11 months ago
2003
IEEE
Discrete functions are now commonly represented by binary (BDD) and multiple-valued (MDD) decision diagrams. Sifting is an effective heuristic technique which applies adjacent var...