1446 search results - page 86 / 290 » Formal analysis of hardware requirements |
ISCA
1997
IEEE
14 years 1 months ago
1997
IEEE
The effectiveness of texture mapping in enhancing the realism of computer generated imagery has made support for real-time texture mapping a critical part of graphics pipelines. D...
CL
2007
Springer
13 years 9 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
DATE
1999
IEEE
14 years 1 months ago
1999
IEEE
Modern IC design requires accurate analysis and modeling of chip-level interconnect, the substrate and package parasitics. Traditional approaches for such analyses are computation...
CPE
1997
Springer
14 years 1 months ago
1997
Springer
Predicting the performance of a system before it is built is a highly desirable goal, but one that is rarely achieved. This paper examines performance problems and issues within in...
FMICS
2006
Springer
14 years 29 days ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...