532 search results - page 8 / 107 » Process Algebras for Quantitative Analysis |
ICS
2010
Tsinghua U.
14 years 12 days ago
2010
Tsinghua U.
We explore the intersection between an emerging class of architectures and a prominent workload: GPGPUs (General-Purpose Graphics Processing Units) and regular expression matching...
CANDC
2009
ACM
14 years 2 months ago
2009
ACM
Creativity is an important ingredient in problem solving, and problem solving is an important activity for both individuals and societies. This paper discusses our novel approach ...
ASAP
1997
IEEE
13 years 11 months ago
1997
IEEE
In this paper we present an approach for quantitative analysis of application-specific dataflow architectures. The approach allows the designer to rate design alternatives in a qu...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
IPPS
2005
IEEE
14 years 1 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...