1179 search results - page 93 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
162
click to vote
FOSSACS
2011
Springer
14 years 7 months ago
2011
Springer
We give a general framework connecing a branching time relation on nodes of a transition system to a final coalgebra for a suitable endofunctor. Examples of relations treated by o...
171
click to vote
FPGA
2009
ACM
15 years 8 months ago
2009
ACM
This paper presents a new architecture for time-to-digital conversion enabling a time resolution of 17ps over a range of 50ns with a conversion rate of 20MS/s. The proposed archit...
114
click to vote
IEAAIE
2009
Springer
15 years 10 months ago
2009
Springer
A decision support system model is described to advise nature park managers. It applies dynamic modelling techniques to relate abiotic characteristics of a site over time to specie...
155
click to vote
JCIT
2008
15 years 4 months ago
2008
The main objective of design methodology of a controller for forecasting cardiac arrest using fuzzy logic approach is to provide the prediction of period of life time for the pati...
150
click to vote
TSE
2008
15 years 3 months ago
2008
Test adequacy criteria provide the engineer with guidance on how to populate test suites. While adequacy criteria have long been a focus of research, existing testing methods do no...