195 search results - page 28 / 39 » Process Algebra with Nonstandard Timing |
115
click to vote
ICSM
1999
IEEE
15 years 6 months ago
1999
IEEE
Software architecture is important for large systems in which it is the main means for, among other things, controlling complexity. Current ideas on software architectures were no...
109
click to vote
SSIRI
2010
15 years 27 days ago
2010
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...
134
Voted
TCAD
1998
15 years 2 months ago
1998
— We introduce a transformation, named rephasing, that manipulates the timing parameters in control-data-flow graphs (CDFG’s) during the high-level synthesis of data-pathinten...
124
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
The correct behavior of a service composition depends on the appropriate coordination of its services. According to the idea of channelbased coordination, services exchange message...
156
Voted
SCP
2000
15 years 2 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...