1525 search results - page 199 / 305 » Formal Models for Communication-Based Design |
117
Voted
ENTCS
2006
15 years 24 days ago
2006
Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally...
COMCOM
1998
15 years 14 days ago
1998
Many researchers are devising algorithms for task placement in distributed systems, but few are designing the necessary mechanisms to provide the information required by those alg...
143
Voted
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
124
click to vote
NGITS
1999
Springer
15 years 5 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
115
click to vote
DAC
2007
ACM
16 years 1 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...