1120 search results - page 183 / 224 » Making computer science minority-friendly |
113
click to vote
DAC
2003
ACM
16 years 24 days ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
ICSE
2008
IEEE-ACM
16 years 19 days ago
2008
IEEE-ACM
The design and implementation of the reconstruction system in medical X-ray imaging is a challenging issue due to its immense computational demands. In order to ensure an efficien...
107
click to vote
WWW
2009
ACM
16 years 15 days ago
2009
ACM
Ad auctions in sponsored search support"broad match"that allows an advertiser to target a large number of queries while bidding only on a limited number. While giving mo...
124
click to vote
PODC
2009
ACM
16 years 11 days ago
2009
ACM
We analyze the performance of protocols for load balancing in distributed systems based on no-regret algorithms from online learning theory. These protocols treat load balancing a...
106
Voted
MOBIHOC
2009
ACM
16 years 11 days ago
2009
ACM
The study in mobile ad-hoc networks (MANET) is facing challenges brought by recent discovery of non-exponential behavior of the inter-contact time distribution of mobile nodes. In...