231 search results - page 11 / 47 » A Brief Overview of PVS |
ARITH
2009
IEEE
14 years 2 months ago
2009
IEEE
Late 2008, at SCAN 2008 in El Paso, TX, an effort to standardize interval computations was started by a working group of the IEEE Microprocessor Standards Committee, titled the In...
IWIC
2007
Springer
14 years 1 months ago
2007
Springer
Our research is aimed at a systematic investigation of phenomena in the nexus of culture, technology and learning. The basic premise of our research is that social affordances of t...
ICAC
2006
IEEE
14 years 1 months ago
2006
IEEE
— In this short paper, we give a brief overview a simulation environment, SimEAC, which was designed for testing algorithms with strong autonomic features. SimEAC enables a user ...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents a brief overview of the current technologies and technical approaches that may lead to viable and user-acceptable domestic autostereoscopic multiviewer televis...
FDL
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract. With this paper we intend to present a brief overview of the current means to describe architecture in different standards. We cover AADL as an example of Architecture De...