12438 search results - page 278 / 2488 » The Magic of a Number System |
209
click to vote
ECRTS
2006
IEEE
16 years 1 months ago
2006
IEEE
In this article we provide a model for the dynamic behavior of media processing chains of tasks communicating via bounded buffers. The aim is to find the overall behavior of a cha...
192
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
195
click to vote
SOSE
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
181
click to vote
ICMCS
2005
IEEE
16 years 1 months ago
2005
IEEE
We describe MutualCast, a serverless peer-to-peer (P2P) multiparty real-time audio conferencing system. In MutualCast, the peers form a fully connected clique. During the conferen...
165
click to vote
ISCAS
2005
IEEE
16 years 1 months ago
2005
IEEE
—In this paper, we describe an automated and formalized methodology for partitioning computational intensive applications between reconfigurable hardware blocks of different gran...