2069 search results - page 369 / 414 » Synthesizing |
175
click to vote
ERSHOV
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Debugging virtual machines (VMs) presents unique challenges, especially meta-circular VMs, which are written in the same language they implement. Making sense of runtime ...
159
click to vote
ISVC
2009
Springer
15 years 12 months ago
2009
Springer
While realistic illumination significantly improves the visual quality and perception of rendered images, it is often very expensive to compute. In this paper, we propose a new al...
218
click to vote
SAGA
2009
Springer
15 years 12 months ago
2009
Springer
We propose a generic method for obtaining quickly good upper bounds on the minimal value of a multistage stochastic program. The method is based on the simulation of a feasible dec...
153
click to vote
ASPDAC
2009
ACM
15 years 12 months ago
2009
ACM
Abstract— This paper presents synthesis of Hardware Dependent Software (HdS) for multicore and many-core designs using Embedded System Environment (ESE). ESE is a tool set, devel...
157
click to vote
CASES
2009
ACM
15 years 12 months ago
2009
ACM
Embedded processors have become increasingly complex, resulting in variable execution behavior and reduced timing predictability. On such processors, safe timing specifications e...