 |
|
 Real-Time Systems: Scheduling, Analysis, and Verification
This text is based on two rich sources: (1) materials in lecture notes I taught to senior
and graduate-level computer science and electrical engineering students at Rice University
and at the University of Houston, and (2) my research in the area of timing
analysis and verification of real-time systems since the late 1980s,... |  |  |  |  |
|
 Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings
This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 submissions. Topics covered... |  |  A Nonlinear Dynamics Perspective of Wolfram's New Kind of Science
Volume IV continues the author's odyssey on l-D cellular automata as chronicled in Volumes I, II and III, by uncovering a novel quasi-ergodicity phenomenon involving orbits meandering among omega-limit orbits of complex (group 5) and hyper (group 6) Bernoulli rules. This discovery is embellished with analytical formulas characterizing the... |  |  |
|
|
|
Result Page: 10 9 8 7 6 5 4 3 2 1 |