共 50 条
- [32] An early-reply based framework: Reliable concurrency that is verifiable HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2007, : 405 - 406
- [34] An Integrated Framework for Checking Concurrency-related Programming Errors 2009 IEEE 33RD INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOLS 1 AND 2, 2009, : 670 - 673
- [35] An concurrency control framework in real-time cooperative system PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOL 1, 2004, : 303 - 308
- [36] Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21), 2021, : 252 - 267
- [38] eCommerce Platforms Evaluation Framework for Government ELECTRONIC GOVERNMENT, EGOV 2021, 2021, 12850 : 103 - 116