Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

30

ACSD
2001
IEEE

favoriteEmaildiscussreport

118views Hardware» more ACSD 2001»

Correct Performance of Transaction Capabilities

14 years 2 months ago

Correct Performance of Transaction Capabilities

Download ftp.inrialpes.fr

The correctness of an optimisation of the Transport Capabilities Application Part of the Signalling System No. 7 is formalised as a branching bisimulation which is relaxed to allow certain actions to be executed in any order. It is demonstrated how this correctness can be checked by a combination of an automated test of branching bisimulation and a manual test of commutation. Using this approach, two bugs in the design were found and eliminated.

Thomas Arts, Izak van Langevelde

Real-time Traffic

ACSD 2001 | Branching Bisimulation | Capabilities Application Part | Correctness | Hardware |

claim paper

Related Content

» Error Correction with the Implicit Encoding Capability of Random Network Coding

» MixedMembership Stochastic BlockModels for Transactional Networks

» Temporally Faithful Execution of Business Transactions

» Availability Analysis of Transaction Processing Systems based on UserPerceived Performance

» Auction System Design Using Open Multithreaded Transactions

» Improving the Performance of ReadOnly Transactions Through Speculation

» Understanding transactional memory performance

» Tolerating Concurrency Bugs Using Transactions as Lifeguards

» Transactional file systems can be fast

Post Info
More Details (n/a)

Added	23 Aug 2010
Updated	23 Aug 2010
Type	Conference
Year	2001
Where	ACSD
Authors	Thomas Arts, Izak van Langevelde

Comments (0)