1179 search results - page 65 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
161
Voted
VMCAI
2010
Springer
16 years 29 days ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
128
Voted
TEC
2010
14 years 10 months ago
2010
Estimation of distribution algorithms (EDAs) are widely used in stochastic optimization. Impressive experimental results have been reported in the literature. However, little work ...
134
Voted
WISE
2000
Springer
15 years 8 months ago
2000
Springer
XML (Extensible Markup Language) is a textual markup language designed for the creation of self-describing documents. Such documents contain textual data combined with structural ...
144
Voted
RTAS
2007
IEEE
15 years 10 months ago
2007
IEEE
It is challenging to manage the performance of real-time databases (RTDBs) that are often used in data-intensive real-time applications such as agile manufacturing and target trac...
140
Voted
ET
2007
15 years 3 months ago
2007
This article describes an emulation-based method for locating stuck-at faults in combinational and synchronous sequential circuits. The method is based on automatically designing a...