4480 search results - page 183 / 896 » Prototyping Completion with Constraints Using Computational ... |
147
click to vote
NSDI
2007
15 years 8 months ago
2007
Determining the physical location of Internet hosts is a critical enabler for many new location-aware services. In this paper, we present Octant, a novel, comprehensive framework ...
175
click to vote
OSDI
2002
ACM
16 years 6 months ago
2002
ACM
This paper shows how to quickly move the state of a running computer across a network, including the state in its disks, memory, CPU registers, and I/O devices. We call this state...
174
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
—Embedded computer systems are characterized by the presence of a processor running application-specific dedicated software. A large number of these systems must satisfy real-ti...
162
click to vote
ACL
2010
15 years 4 months ago
2010
This paper proposes a dependency parsing method that uses bilingual constraints to improve the accuracy of parsing bilingual texts (bitexts). In our method, a targetside tree frag...
154
click to vote
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...