4018 search results - page 226 / 804 » Process algebra for performance evaluation |
175
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper provides a framework for designing space-time codes to take advantage of a small number of feedback bits from the receiver. The new codes are based on circulant matri...
159
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
Current GPUs offer specialized graphics hardware in addition to generic floating-point processing units. We propose a method which reuses specialized texture filtering units to ...
115
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
A search engine evaluation model that considers over seventy performance and feature parameters is presented. The design of a web-based system that allows the user to tailor the m...
159
click to vote
ECOOP
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...