850 search results - page 12 / 170 » Modeling synchronous systems in BIP |
TOCS
2008
13 years 8 months ago
2008
We introduce external synchrony, a new model for local file I/O that provides the reliability and simplicity of synchronous I/O, yet also closely approximates the performance of a...
ICASSP
2011
IEEE
13 years 4 days ago
2011
IEEE
In this paper, we present for the first time the fingerprint IRCAM system for audio identification in streams. The baseline system relies on a double-nested Short Time Fourier ...
EMSOFT
2006
Springer
14 years 2 days ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
MEMOCODE
2008
IEEE
14 years 2 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper studies the dissipativity properties of full order dynamic models of synchronous generators. It is shown that, under widely accepted assumptions, these models satisf...