6020 search results - page 1069 / 1204 » A New Approach to Model Counting |
140
click to vote
WABI
2004
Springer
15 years 11 months ago
2004
Springer
—The problem of reconstructing the duplication history of a set of tandemly repeated sequences was first introduced by Fitch [4]. Many recent studies deal with this problem, show...
179
click to vote
ACSC
2003
IEEE
15 years 11 months ago
2003
IEEE
Today distributed denial of service (DDoS) attacks are causing major problems to conduct online business over the Internet. Recently several schemes have been proposed on how to p...
147
click to vote
ANSS
2003
IEEE
15 years 11 months ago
2003
IEEE
As the average bandwidth capacity is increasing, users around the world demand for shorter service time. While the servers are able to acquire more bandwidth, they can not keep up...
234
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
From the 1990s on, one of the most important challenges facing computer science researchers has been the design and construction of software tools to exploit Internet computing. A...
142
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
Failure analysis (FA) and diagnosis of memory cores plays a key role in system-on-chip (SOC) product development and yield ramp-up. Conventional FA based on bitmaps and the experi...