1022 search results - page 113 / 205 » Challenges for Constraint Programming in Networking |
214
Voted
POPL
2006
ACM
16 years 29 days ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
DAC
2005
ACM
15 years 2 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
77
Voted
LREC
2010
15 years 2 months ago
2010
The Arabic Treebank (ATB) Project at the Linguistic Data Consortium (LDC) has embarked on a large corpus of Broadcast News (BN) transcriptions, and this has led to a number of new...
126
Voted
PPDP
2010
Springer
14 years 11 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
110
click to vote
LCN
2008
IEEE
15 years 7 months ago
2008
IEEE
—We propose a scheme for routing and placement of mobile data collectors in Underwater Acoustic Sensor Networks (UASNs). The proposed scheme maximizes the lifetime of the network...