7202 search results - page 1120 / 1441 » Software System Engineering: A Tutorial |
187
click to vote
FASE
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
189
click to vote
IUI
2004
ACM
16 years 3 days ago
2004
ACM
While sketches are commonly and effectively used in the early stages of design, some information is far more easily conveyed verbally than by sketching. In response, we have combi...
170
click to vote
IUI
2004
ACM
16 years 3 days ago
2004
ACM
Today the availability of large digital content archives (video, ebook, audio) creates many problems in terms of user interaction and data manipulation (browsing, searching). Many...
212
click to vote
IUI
2004
ACM
16 years 3 days ago
2004
ACM
People are performing increasingly complicated actions on the web, such as automated purchases involving multiple sites. Things often go wrong, however, and it can be difficult to...
141
click to vote
CISIS
2010
IEEE
16 years 7 hour ago
2010
IEEE
Abstract—Program performance optimisations, feedbackdirected iterative compilation and auto-tuning systems [1] all assume a fixed estimation of execution time given a fixed inp...