Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
A memory model for a shared memory, multiprocessor commonly and often implicitly assumed by programmers is that of sequential consistency. This model guarantees that all memory ac...
Integrating several legacy software systems together is commonly performed with multiple applications of the Adapter Design Pattern in oo languages such as Java. The integration i...
This paper presents a recurrent fuzzy-neural filter for adaptive noise cancellation. The cancellation task is transformed to a system-identification problem, which is tackled by u...
Paris A. Mastorocostas, Dimitris N. Varsamis, Cons...