71 search results - page 9 / 15 » Symbolic Execution of Virtual Devices |
118
click to vote
PADL
2012
Springer
13 years 6 months ago
2012
Springer
We begin with a functional reactive programming (FRP) model in which every program is viewed as a signal function that converts a stream of input values into a stream of output va...
97
Voted
FUNGAMES
2010
14 years 11 months ago
2010
Recent work in neuroscience suggests that there is a common coding in the brain between perception, imagination and execution of movement. Further, this common coding is considere...
107
click to vote
RTAS
2011
IEEE
14 years 2 months ago
2011
IEEE
This paper describes the scheduling framework for a new operating system called “Quest”. The three main goals of Quest are to ensure safety, predictability and efficiency of ...
103
click to vote
VEE
2012
ACM
13 years 6 months ago
2012
ACM
Code quality and compilation speed are two challenges to JIT compilers, while selective compilation is commonly used to tradeoff these two issues. Meanwhile, with more and more Ja...
102
click to vote
COMPSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
We present DeskPod, a portable system that provides a highly reliable desktop computing environment for mobile users by leveraging rapid improvements in capacity, cost, and size o...