4772 search results - page 6 / 955 » An approach to interface synthesis |
CODES
2005
IEEE
14 years 29 days ago
2005
IEEE
The performance of virtual machines (e.g., Java Virtual Machines—JVMs) can be significantly improved when critical code sections (e.g., Java bytecode methods) are migrated from...
ASPDAC
2008
ACM
13 years 9 months ago
2008
ACM
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The quality of a simulator equipped with a haptic interface is given by the dynamical properties of its components: haptic interface, simulator and control system. Some applicatio...
TVCG
2012
11 years 9 months ago
2012
—This paper presents an interactive system for creating painterly animation from video sequences. Previous approaches to painterly animation typically emphasize either purely aut...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...