888 search results - page 40 / 178 » The Power of Temporal Proofs |
121
click to vote
IWMM
2010
Springer
15 years 6 months ago
2010
Springer
Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C. Existing schemes t...
116
click to vote
SIGCOMM
2009
ACM
15 years 8 months ago
2009
ACM
The analysis of social and technological networks has attracted a lot of attention as social networking applications and mobile sensing devices have given us a wealth of real data...
142
click to vote
CCR
2010
15 years 2 months ago
2010
The analysis of social and technological networks has attracted a lot of attention as social networking applications and mobile sensing devices have given us a wealth of real data...
105
click to vote
ISLPED
1997
ACM
15 years 6 months ago
1997
ACM
In this paper we present a methodology and techniques for generating cycle-accurate macro-models for RTlevel power analysis. The proposed macro-model predicts not only...
122
click to vote
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
— In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot...