908 search results - page 46 / 182 » Temporal Analysis of Time Bounded Digital Systems |
GLVLSI
2006
IEEE
15 years 3 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
168
click to vote
ICDE
2005
IEEE
15 years 11 months ago
2005
IEEE
Online monitoring of data streams poses a challenge in many data-centric applications, such as telecommunications networks, traffic management, trend-related analysis, webclick st...
RTSS
2005
IEEE
15 years 3 months ago
2005
IEEE
Periodic update transaction model has been used to maintain freshness (or temporal validity) of real-time data. Period and deadline assignment has been the main focus in the past ...
IUI
2000
ACM
15 years 2 months ago
2000
ACM
The ability to quickly explore and compare multiple scenarios is an important component of exploratory data analysis. Yet today’s interfaces cannot represent alternative explora...
ISBI
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper we present a new approach for analysis and visualization of the vibration patterns of vocal folds from high-speed digital images of the larynx. This approach is base...