1356 search results - page 144 / 272 » The ideal of verified software |
148
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
: Given a continuous-time controller and a Lyapunov function that shows global asymptotic stability for the closed loop system, we provide several results for modification of the c...
229
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
—Federation of geo-distributed cloud services is a trend in cloud computing which, by spanning multiple data centers at different geographical locations, can provide a cloud plat...
160
click to vote
IOLTS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Robust circuit design has become a major concern for nanoscale technologies. As a consequence, for design validation, not only the functionality of a circuit has to be considere...
198
click to vote
WISE
2006
Springer
16 years 11 days ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
165
click to vote
ASPLOS
2004
ACM
15 years 11 months ago
2004
ACM
We introduce Shear, a user-level software tool that characterizes RAID storage arrays. Shear employs a set of controlled algorithms combined with statistical techniques to automat...