1179 search results - page 42 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
150
Voted
PODS
2004
ACM
16 years 3 months ago
2004
ACM
Continuous queries in a Data Stream Management System (DSMS) rely on time as a basis for windows on streams and for defining a consistent semantics for multiple streams and updata...
161
click to vote
TNN
2010
14 years 10 months ago
2010
Soft computing (SC) emerged as an integrating framework for a number of techniques that could complement one another quite well (artificial neural networks, fuzzy systems, evolutio...
140
Voted
CASE
2011
14 years 3 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
135
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
While the use of software component models has become popular in the development of desktop applications and distributed information systems, such models have not been widely used...
130
click to vote
LCTRTS
2007
Springer
15 years 9 months ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...