231 search results - page 26 / 47 » A Brief Overview of PVS |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
This paper presents a brief overview of several studies concerning the indoor wireless communications at 60 GHz performed by the IETR. The characterization and the modeling of the...
FGCS
2006
13 years 7 months ago
2006
The hypre software library is being developed with the aim of providing scalable solvers for the solution of large, sparse linear systems on massively parallel computers. To this e...
CCR
2007
13 years 7 months ago
2007
This paper gives a brief overview of the Digital Video Broadcasting (DVB) project. Starting in 1993, this project produced standards for digital broadcasting in all media (satelli...
JBI
2006
13 years 7 months ago
2006
Throughout history, philosophers, scientists, and other scholars have named and organized the salient elements of the world. These efforts have led to conceptualizations that diff...
MMS
2008
13 years 7 months ago
2008
CLAM is a C++ framework that offers a complete development and research platform for the audio and music domain. om offering an abstract model for audio systems, it also includes ...