2496 search results - page 358 / 500 » Error-detecting properties of languages |
122
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
In Model Integrated Computing, it is often desirable to evaluate different design alternatives as they relate to issues of scalability. A typical approach to address scalability is...
133
click to vote
ASPLOS
2004
ACM
15 years 10 months ago
2004
ACM
We introduce Shear, a user-level software tool that characterizes RAID storage arrays. Shear employs a set of controlled algorithms combined with statistical techniques to automat...
118
click to vote
ASPLOS
2004
ACM
15 years 10 months ago
2004
ACM
Pipeline flushes are becoming increasingly expensive in modern microprocessors with large instruction windows and deep pipelines. Selective re-execution is a technique that can r...
167
click to vote
SWS
2004
ACM
15 years 10 months ago
2004
ACM
Technical advances in networks, operating systems and web based services are enabling new web-based services such as audiovisual surveillance, monitoring and recording of unfoldin...
137
click to vote
WOSP
2004
ACM
15 years 10 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...