231 search results - page 1 / 47 » A Brief Overview of PVS |
TPHOL
2008
IEEE
13 years 11 months ago
2008
IEEE
ISMVL
1998
IEEE
13 years 9 months ago
1998
IEEE
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. ...
ADBIS
2000
Springer
13 years 9 months ago
2000
Springer
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 ...
UML
2001
Springer
13 years 9 months ago
2001
Springer
: 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...
TPHOL
2008
IEEE
13 years 11 months ago
2008
IEEE
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...