4480 search results - page 666 / 896 » Prototyping Completion with Constraints Using Computational ... |
169
click to vote
OSDI
2006
ACM
16 years 6 months ago
2006
ACM
This paper presents three policies for effectively utilizing TCP offload network interfaces that support connection handoff. These policies allow connection handoff to reduce the ...
295
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
178
click to vote
RTSS
1997
IEEE
15 years 10 months ago
1997
IEEE
Resource allocation for high-performance real-time applications is challenging due to the applications' data-dependent nature, dynamic changes in their external environment, ...
143
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
Block-level continuous data protection (CDP) logs every disk block update so that disk updates within a time window are undoable. Standard file servers and DBMS servers can enjoy...
181
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents a video-based motion modeling technique for generating physically realistic human motion from monocular video sequences. We formulate the video-based motion mo...