3828 search results - page 742 / 766 » Proof-Based System Engineering Using a Virtual System Model |
ICCAD
2009
IEEE
13 years 5 months ago
2009
IEEE
Economic incentives have driven the semiconductor industry to separate design from fabrication in recent years. This trend leads to potential vulnerabilities from untrusted circui...
WSCG
2004
13 years 9 months ago
2004
Free form shapes are often used to fulfil both aesthetic and design constraints applied to parametric models currently adopted in CAD environments. Up to now, designers and engine...
ICSE
2001
IEEE-ACM
14 years 5 days ago
2001
IEEE-ACM
Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and unde...
COMPSAC
1998
IEEE
13 years 12 months ago
1998
IEEE
Many world wide web applications require access, transfer, and synchronization of large multimedia data objects (MDOs) (such as, audio, video, and images) across the communication...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
The possibilities currently offered to conduct business at an electronic level are immense. Service providers offer access to their attendances through components placed on the Int...