This paper provides a brief overview of semiconductor memory design from the perspective of the impact multiplevalued circuit techniques are making on modern day implementations. ...
The paper provides brief analysis of recent research activities in database area in Russia. Activities of the Moscow ACM SIGMOD Chapter are characterized, emphasizing organization ...
Leonid A. Kalinichenko, Mikhail R. Kogalovsky, Ser...
: Agile Modeling (AM) is a practice-based methodology for effective modeling of software-based systems. Where the Unified Modeling Language (UML) defines a subset of the modeling t...
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...