1331 search results - page 180 / 267 » Description logic reasoning using the PTTP approach |
157
click to vote
TCS
2002
15 years 6 months ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
179
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
182
click to vote
RSP
1998
IEEE
15 years 10 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
141
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
Conventional register transfer level (RTL) debugging is based on overlaying simulation results on structural connectivity information of the Hardware Description Language (HDL) so...
186
click to vote
ISMVL
1997
IEEE
15 years 10 months ago
1997
IEEE
In this paper, the minimization of incompletely specified multi-valued functions using functional decomposition is discussed. From the aspect of machine learning, learning sample...