output
20122024
most citedThe Pipeline for the Continuous Development of Artificial Intelligence Models -- Current State of Research and Practice

120 citations

researchers with a paper here
collaborating institutions
Showing cs.DBShow all

1 paper · 1 filter

cs.DB2017★ 2 cited

Serialisable Multi-Level Transaction Control: A Specification and Verification

Egon Börger, Klaus-Dieter Schewe, Qing Wang

We define a programming language independent controller TaCtl for multi-level transactions and an operator , which when applied to concurrent programs with multi-level shared l…