956 search results - page 114 / 192 » Dimensions in program synthesis |
LCTRTS
2004
Springer
14 years 3 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
NIME
2004
Springer
14 years 3 months ago
2004
Springer
Auracle is a “group instrument,” controlled by the voice, for real-time, interactive, distributed music making over the Internet. It is implemented in the JavaTM programming l...
NIME
2004
Springer
14 years 3 months ago
2004
Springer
In this report, we discuss Tree Music, an interactive computer music installation created using GAIA (Graphical Audio Interface Application), a new open-source interface for contr...
IH
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We have developed the first hardware and software (intellectual property) metering scheme that enables reliable low overhead proofs for the number of manufactured parts a...
ICDCS
1997
IEEE
14 years 2 months ago
1997
IEEE
—This paper describes algorithms for implementing a high-level programming model for synchronous distributed groupware applications. In this model, several application data objec...