2607 search results - page 464 / 522 » On the Architecture of System Verification Environments |
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
In this paper, we describe two mission critical applications currently deployed by Telecom Italia in the Operations Support System domains. The first one called "Network Neut...
RTAS
2010
IEEE
14 years 8 months ago
2010
IEEE
—Hardware-managed caches introduce large amounts of timing variability, complicating real-time system design. One alternative is a memory system with scratchpad memories which im...
168
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
Over recent years there has been increased level of discussion on utility pricing for software. The focus of these discussions is to create new operating cost models where the unit...
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
3D reconstruction of urban environments is a widely studied subject since several years, as it can lead to many useful applications: virtual navigation, augmented reality, archite...
163
click to vote
GIS
2008
ACM
15 years 10 months ago
2008
ACM
Network data models are widely used to describe the connectivity between spatial features in GIS architectures. Recent applications demand that such models are editable in multius...