9110 search results - page 506 / 1822 » Formally-Based Design Evaluation |
248
click to vote
PODC
2011
ACM
14 years 9 months ago
2011
ACM
Dynamic memory management is a significant source of complexity in the design and implementation of practical concurrent data structures. We study how hardware transactional memo...
210
click to vote
WIAMIS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this work, we propose a design for a user attention model featuring three core components. Our system components can work in real-time, offering indications of user attention f...
197
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
We investigate temporal resolution of documents, such as determining the date of publication of a story based on its text. We describe and evaluate a model that build histograms e...
197
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
Researchers maintain bibliographies and extensive sets of PDF files of scholarly publications on their desktop. The lack of proper metadata of downloaded PDFs makes this task a t...
171
click to vote
ICCD
2007
IEEE
15 years 10 months ago
2007
IEEE
Transaction-level modeling (TLM) allows a designer to save functional verification effort during the modular refinement of an SoC by reusing the prior implementation of a module a...