6020 search results - page 474 / 1204 » A New Approach to Model Counting |
180
click to vote
FDL
2005
IEEE
16 years 19 days ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
164
click to vote
DSVIS
2003
Springer
16 years 7 days ago
2003
Springer
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...
218
click to vote
CONCUR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
186
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
This paper presents an approach to simulate complex hierarchical process chains resulting from large logistics networks in OMNeT++, a discrete event simulation environment designe...
147
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
In a paper published by Greenberg in 1998, it was said that in conversational speech, phone deletion rate may go as high as 12% whereas syllable deletion rate is about 1%. The fi...