5084 search results - page 773 / 1017 » Proving Possibility Properties |
189
click to vote
ISCA
2006
IEEE
16 years 19 days ago
2006
IEEE
Improvements in semiconductor technology have made it possible to include multiple processor cores on a single die. Chip Multi-Processors (CMP) are an attractive choice for future...
158
click to vote
ISCAS
2006
IEEE
16 years 19 days ago
2006
IEEE
The efficient design of multiplierless implementa- The goal is to find the optimal sub-expressions across all N dot tions of constant matrix multipliers is challenged by the huge p...
165
click to vote
PRDC
2006
IEEE
16 years 19 days ago
2006
IEEE
On-time data management is becoming a key difficulty faced by the information infrastructure of most organizations. In fact, database applications for critical areas are increasing...
202
click to vote
QEST
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
165
click to vote
ACMICEC
2006
ACM
16 years 18 days ago
2006
ACM
We present a browser-extending Semantic Web extraction system that maps HTML documents to tables and, where possible, to rules. First, the basic data extractor ViPER distills and ...