3415 search results - page 52 / 683 » Physical Design Refinement: The |
JLP
2006
13 years 10 months ago
2006
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 ...
MEMOCODE
2010
IEEE
13 years 8 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
MM
2006
ACM
14 years 4 months ago
2006
ACM
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...
CONCURRENCY
2010
13 years 11 months ago
2010
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...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
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...