3381 search results - page 582 / 677 » Extending Dependencies with Conditions |
184
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Researchers increasingly use electronic communication data to construct and study large social networks, effectively inferring unobserved ties (e.g. i is connected to j) from obs...
218
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
153
click to vote
DSD
2009
IEEE
16 years 1 months ago
2009
IEEE
—The scalability and performance of the Internet depends critically on the performance of its packet switches. Current packet switches are based on single-hop crossbar fabrics, w...
191
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper considers the problem of scalable distributed coding of correlated sources that are communicated to a central unit. The general setting is typically encountered in sens...
172
click to vote
ISSTA
2009
ACM
16 years 27 days ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...