192 search results - page 11 / 39 » Internal consistency for embedding complexity |
APN
2003
Springer
14 years 17 days ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
TIT
2002
13 years 7 months ago
2002
Abstract--The use of multicast inference on end-to-end measurement has recently been proposed as a means to infer network internal characteristics such as packet link loss rate and...
SMC
2007
IEEE
14 years 1 months ago
2007
IEEE
— The growing Recurrent Self-Organizing Map (GRSOM) is embedded into a standard Self-Organizing Map (SOM) hierarchy. To do so, the KDD benchmark dataset from the International Kn...
ENTCS
2008
13 years 7 months ago
2008
Traditional programming languages are algorithmic: they are best suited to writing programs that acquire all their inputs before executing and only produce a result on termination...
ICCD
2008
IEEE
14 years 4 months ago
2008
IEEE
— The amount of time and resources that have to be spent on debugging of embedded cores continuously increases. Approaches valid 10 years ago can no longer be used due to the var...