10435 search results - page 2047 / 2087 » Computational Biology and Language |
165
click to vote
ISCA
2007
IEEE
16 years 12 days ago
2007
IEEE
Speculative compiler optimizations are effective in improving both single-thread performance and reducing power consumption, but their implementation introduces significant compl...
160
Voted
MICRO
2007
IEEE
16 years 12 days ago
2007
IEEE
The performance of computer systems varies over the course of their execution. A system may perform well during some parts of its execution and poorly during others. To understand...
166
click to vote
TPHOL
2007
IEEE
16 years 12 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
148
click to vote
AMR
2007
Springer
16 years 9 days ago
2007
Springer
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...
180
click to vote
FPGA
2007
ACM
16 years 8 days ago
2007
ACM
Shrinking time-to-market and high demand for productivity has driven traditional hardware designers to use design methodologies that start from high-level languages. However, meet...