3573 search results - page 492 / 715 » Reasoning about Codata |
170
click to vote
ICPP
2002
IEEE
15 years 10 months ago
2002
IEEE
Power aware computing has become popular recently and many techniques have been proposed to manage the energy consumption for traditional real-time applications. We have previousl...
112
click to vote
ICRA
2002
IEEE
15 years 10 months ago
2002
IEEE
Sun-synchronous exploration is accomplished by reasoning about sunlight: where the Sun is in the sky, where and when shadows will fall, and how much power can be obtained through ...
155
Voted
ISESE
2002
IEEE
15 years 10 months ago
2002
IEEE
Recently the awareness of the importance of replicating studies has been growing in the empirical software engineering community. The results of any one study cannot simply be ext...
146
click to vote
ISSRE
2002
IEEE
15 years 10 months ago
2002
IEEE
Software Fault Tree Analysis (SFTA) provides a structured way to reason about the safety or reliability of a software system. As such, SFTA is widely used in missioncritical appli...
172
click to vote
IWPC
2002
IEEE
15 years 10 months ago
2002
IEEE
Studying how a software system has evolved over time is difficult, time consuming, and costly; existing techniques are often limited in their applicability, are hard to extend, a...