Author of the publication

PVCoherence: Designing Flat Coherence Protocols for Scalable Verification.

, , , and . IEEE Micro, 35 (3): 84-91 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Alternative means to implement ERP: Internal and ASP., , , and . Ind. Manag. Data Syst., 105 (2): 184-192 (2005)Design Science Research on Systems Analysis and Design: The Case of UML., , and . AMCIS, page 351. Association for Information Systems, (2007)Unified Modeling Language: Theoretical and Practical Complexity., and . AMCIS, page 164. Association for Information Systems, (2003)Toward Practical Measures of Complexity in Real Time Modeling Methods., and . AMCIS, page 505. Association for Information Systems, (2005)Service Oriented Architecture., and . Innovations in Information Systems Modeling, IGI Global, (2009)Can UML Be Simplified? Practitioner Use of UML in Separate Domains., and . EMMSAD, volume 365 of CEUR Workshop Proceedings, page 81-90. CEUR-WS.org, (2007)Natural Language Processing for Open Ended Questions in Mathematics within Intelligent Tutoring Systems.. EDM, International Educational Data Mining Society, (2020)Unified Modeling Language: The Teen Years and Growing Pains., and . HCI (13), volume 8016 of Lecture Notes in Computer Science, page 295-304. Springer, (2013)Efficient Tracing of Cold Code via Bias-Free Sampling., , , , and . USENIX Annual Technical Conference, page 243-254. USENIX Association, (2014)Agile Modeling, Agile Software Development, and Extreme Programming: The State of Research., , and . J. Database Manag., 16 (4): 88-99 (2005)