2145 search results - page 33 / 429 » Architectural Specifications in CASL |
FDL
2007
IEEE
14 years 18 days ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
DAC
2010
ACM
14 years 1 days ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
WICSA
2008
13 years 10 months ago
2008
Simulation is a mean for verifying the quality of an architectural specification. Some approaches have been proposed in the past. Each approach has its own internal simulation eng...
WCRE
2007
IEEE
14 years 3 months ago
2007
IEEE
The EvoSpaces reverse-engineering tool represents the architecture and metrics of complex software systems as 3D software cities. By navigating and interacting with this world, th...
JCDL
2011
ACM
12 years 11 months ago
2011
ACM
Disk images (bitstreams extracted from physical media) can play an essential role in the acquisition and management of digital collections by serving as containers that support da...