3814 search results - page 550 / 763 » YAPI: application modeling for signal processing systems |
189
click to vote
SIGMETRICS
2006
ACM
16 years 14 days ago
2006
ACM
Network calculus is a min-plus system theory which facilitates the efficient derivation of performance bounds for networks of queues. It has successfully been applied to provide e...
228
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
223
click to vote
EEMMAS
2007
Springer
16 years 21 days ago
2007
Springer
Complexity of near future and even nowadays applications is exponentially increasing. In order to tackle the design of such complex systems, being able to engineer self-organising ...
209
click to vote
ISEMANTICS
2010
15 years 5 months ago
2010
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...
142
click to vote
IJCNLP
2004
Springer
15 years 12 months ago
2004
Springer
Transliterating words and names from one language to another is a frequent and highly productive phenomenon. Transliteration is information loosing since important distinctions ar...