1529 search results - page 133 / 306 » On Timing Analysis of Combinational Circuits |
149
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
170
click to vote
NN
2010
Springer
15 years 2 months ago
2010
Springer
This study shows that a mixture of RNN experts model can acquire the ability to generate sequences that are combination of multiple primitive patterns by means of self-organizing ...
152
click to vote
Publication
Abstract—In the analysis of spatially-referenced timedependent
data, gaining an understanding of the spatiotemporal
distributions and relationships among the attributes
in the...
153
click to vote
EUROPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Hyperspectral imagery is a new type of high-dimensional image data which is now used in many Earth-based and planetary exploration applications. Many efforts have been d...
173
click to vote
PRDC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents the performance analysis of several well-known partitioning scheduling algorithms in real-time and fault-tolerant multiprocessor systems. Both static and dynam...