2266 search results - page 288 / 454 » Generalizing parametric timing analysis |
BMCBI
2007
13 years 11 months ago
2007
Background: Modelling of time series data should not be an approximation of input data profiles, but rather be able to detect and evaluate dynamical changes in the time series dat...
TCS
2002
13 years 10 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
PODC
2011
ACM
13 years 1 months ago
2011
ACM
We study several variants of coordinated consensus in dynamic networks. We assume a synchronous model, where the communication graph for each round is chosen by a worst-case adver...
WWW
2007
ACM
14 years 11 months ago
2007
ACM
![Finding community structure in mega-scale social networks: [extended abstract]](https://www.sciweavers.org/files/imagecache/thumbnail/default/content.jpg "Finding community structure in mega-scale social networks: [extended abstract]")
[Extended Abstract] Ken Wakita Tokyo Institute of Technology 2-12-1 Ookayama, Meguro-ku Tokyo 152-8552, Japan wakita@is.titech.ac.jp Toshiyuki Tsurumi Tokyo Institute of Technolog...
ASPLOS
2006
ACM
14 years 4 months ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...