Sciweavers

4772 search results - page 16 / 955
» An approach to interface synthesis
Sort
View
ENTCS
2010
99views more  ENTCS 2010»
13 years 7 months ago
Describing Secure Interfaces with Interface Automata
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
Matias Lee, Pedro R. D'Argenio
ASPDAC
1998
ACM
160views Hardware» more  ASPDAC 1998»
13 years 11 months ago
Synthesis of Power Efficient Systems-on-Silicon
We developed a new modular synthesis approach for design of low-power core-based data-intensive application-specific systems on silicon. The power optimization is conducted in th...
Darko Kirovski, Chunho Lee, Miodrag Potkonjak, Wil...
CHI
2002
ACM
14 years 7 months ago
MetaMuse: a novel control metaphor for granular synthesis
Traditional musical instruments have a direct connection between the way they are played or controlled and the properties of the sound produced. This connectedness has, in general...
Ashley Gadd, Sidney Fels
DEDS
2007
111views more  DEDS 2007»
13 years 7 months ago
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of p...
Hugo Flordal, Robi Malik, Martin Fabian, Knut &Ari...