Transaction level models (TLMs) can be constructed at t levels of abstraction, denoted as untimed (UT), cycle-approximate (CX), and cycle accurate (CA) in this paper. The choice o...
Coreference analysis, also known as record linkage or identity uncertainty, is a difficult and important problem in natural language processing, databases, citation matching and m...
System reliability has become an increasingly important benchmark in measuring service continuity. As part of many service level agreements, system performance is gauged by how lo...
Emotion regulation describes how a subject can use certain strategies to affect emotion response levels. Usually, models for emotion regulation assume mechanisms based on feedback...
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...