11374 search results - page 2088 / 2275 » A System Demonstration of ST-TCP |
220
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
299
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
Flexible and efficient runtime design requires an understanding of the dependencies among the components internal to the runtime and those between the application and the runtime...
263
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
Process-level virtualization is increasingly being used to enhance the security of software applications from reverse engineering and unauthorized modification (called software p...
481
click to vote
VR
2012
IEEE
14 years 2 months ago
2012
IEEE
This paper presents Virtual Reality Mechanism Design Studio (VRMDS), an intuitive virtual environment for supporting the interactive design and simulation of mechanisms. The studio...
268
click to vote
WSDM
2012
ACM
14 years 2 months ago
2012
ACM
Recent research has made significant advances in automatically constructing knowledge bases by extracting relational facts (e.g., Bill Clinton-presidentOf-US) from large text cor...