1541 search results - page 300 / 309 » Tools and Techniques for Model Checking Networked Programs |
125
Voted
DAC
2005
ACM
16 years 1 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
117
click to vote
ICASSP
2010
IEEE
15 years 17 days ago
2010
IEEE
ive CLP® ABSTRACT Ali A. Milani Broadband speech enhancement and active noise control nvironment ABSTRACT Vanishree Gopalakrishna Real-Time Implementation of Signal Processing Str...
148
Voted
PERVASIVE
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Accurate and fine-grained prediction of future user location and geographical profile has interesting and promising applications including targeted content service, adv...
130
Voted
ICDE
2010
IEEE
16 years 3 days ago
2010
IEEE
The proliferation of electronic content has notably lead to the apparition of large corpora of interrelated structured documents (such as HTML and XML Web pages) and semantic annot...
FPGA
2004
ACM
15 years 4 months ago
2004
ACM
Embedded systems combine a processor with dedicated logic to meet design specifications at a reasonable cost. The attempt to amalgamate two distinct design environments introduces...