14642 search results - page 277 / 2929 » It's Time for a Change |
149
Voted
ICCAD
1992
IEEE
15 years 10 months ago
1992
IEEE
This paper presents a comprehensive timing model for behavioral-level specifications and algorithms for timing analysis in high-level synthesis. It is based on a timing network wh...
268
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
Existing techniques to mine periodic patterns in time series data are focused on discovering full-cycle periodic patterns from an entire time series. However, many useful partial ...
149
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
We explore the problem of modeling Internet connectivity at the Autonomous System (AS) level and present an economically-principled dynamic model that reproduces key features of t...
162
click to vote
AINTEC
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Emergency networks normally operate under highly unpredictable wireless environment and hence real time performance information holds a great significance that cannot be...
167
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...