6020 search results - page 1188 / 1204 » A New Approach to Model Counting |
117
Voted
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
In modern digital ICs, the increasing demand for performance and throughput requires operating frequencies of hundreds of megahertz, and in several cases exceeding the gigahertz r...
102
Voted
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
—One of the most common and important applications of wireless sensor networks is target tracking. We study it in its most basic form, assuming the binary sensing model in which ...
116
click to vote
IEEEPACT
2009
IEEE
15 years 8 months ago
2009
IEEE
Increasing demand for performance and efficiency has driven the computer industry toward multicore systems. These systems have become the industry standard in almost all segments...
151
click to vote
WCRE
2008
IEEE
15 years 8 months ago
2008
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
123
Voted
ANSS
2007
IEEE
15 years 8 months ago
2007
IEEE
During the last few years, continuous progresses in wireless communications have opened new research fields in computer networking, aimed at extending data networks connectivity ...