1529 search results - page 133 / 306 » On Timing Analysis of Combinational Circuits |
ICFEM
2010
Springer
13 years 6 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...
NN
2010
Springer
13 years 6 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 ...
Publication
Abstract—In the analysis of spatially-referenced timedependent
data, gaining an understanding of the spatiotemporal
distributions and relationships among the attributes
in the...
EUROPAR
2007
Springer
14 years 2 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...
PRDC
2006
IEEE
14 years 2 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...