4520 search results - page 682 / 904 » Algebraic Techniques for Timed Systems |
188
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
163
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Wirelength estimation techniques typically contain a site density function that enumerates all possible path sites for each wirelength in an architecture and an occupation probabil...
207
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
Recently, there has been growing interest in random sampling from online hidden databases. These databases reside behind form-like web interfaces which allow users to execute sear...
190
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Multi-core processors, with low communication costs and high availability of execution cores, will increase the use of execution and compilation models that use short threads to e...
201
click to vote
DMIN
2006
15 years 8 months ago
2006
In this paper we present the results of applying data mining techniques to identify patterns and anomalies in air traffic control operational errors (OEs). Reducing the OE rate is ...