2663 search results - page 28 / 533 » How to Choose a Timing Model |
ER
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Understanding a large schema without the assistance of persons already familiar with it (and its associated applications), is a hard and very time consuming task that occ...
TNN
2008
13 years 9 months ago
2008
Abstract--Despite its great importance, there has been no general consensus on how to model the trends in time
TCAD
2008
13 years 9 months ago
2008
At-speed functional testing, delay testing, and n-detection test sets are being used today to detect deep submicrometer defects. However, the resulting test data volumes are too hi...
FUIN
2010
13 years 7 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
SAC
2006
ACM
14 years 3 months ago
2006
ACM
With the growing importance of enterprise architecture the discussion about how to create or choose the right enterprise architecture framework for a specific organization arose q...