Sciweavers

3415 search results - page 52 / 683
» Physical Design Refinement: The
Sort
View
JLP
2006
126views more  JLP 2006»
13 years 10 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
MEMOCODE
2010
IEEE
13 years 8 months ago
Compilation of imperative synchronous programs with refined clocks
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
Mike Gemunde, Jens Brandt, Klaus Schneider
MM
2006
ACM
105views Multimedia» more  MM 2006»
14 years 4 months ago
Improving the experience of controlling avatars in camera-based games using physical input
This paper investigates two methods of improving the user experience of camera-based interaction. First, problems that arise when avatars are designed to mimic a user’s physical...
Na Li, Neema Moraveji, Hiroaki Kimura, Eyal Ofek
CONCURRENCY
2010
114views more  CONCURRENCY 2010»
13 years 11 months ago
A step towards refining and translating B control annotations to Handel-C
Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown t...
Wilson Ifill, Steve A. Schneider
CORR
2010
Springer
140views Education» more  CORR 2010»
13 years 10 months ago
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
William Lovas, Frank Pfenning