Sciweavers

1799 search results - page 253 / 360
» The Logic of Correctness in Software Engineering
Sort
View
ECLIPSE
2007
ACM
15 years 10 months ago
Informing Eclipse API production and consumption
Application programming interfaces (APIs) inform application developers as to the functionality provided by a library and how to interact with it. APIs are a double-edged sword: i...
Reid Holmes, Robert J. Walker
FASE
2009
Springer
15 years 10 months ago
Mining API Error-Handling Specifications from Source Code
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging...
Mithun Acharya, Tao Xie
AUIC
2004
IEEE
15 years 10 months ago
Rapidly Prototyping Single Display Groupware through the SDGToolkit
Researchers in Single Display Groupware (SDG) explore how multiple users share a single display such as a computer monitor, a large wall display, or an electronic tabletop display...
Edward Tse, Saul Greenberg
CGO
2004
IEEE
15 years 10 months ago
Probabilistic Predicate-Aware Modulo Scheduling
Predicated execution enables the removal of branches by converting segments of branching code into sequences of conditional operations. An important side effect of this transforma...
Mikhail Smelyanskiy, Scott A. Mahlke, Edward S. Da...
ASWSD
2006
Springer
15 years 10 months ago
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...
Madhukar Anand, Sebastian Fischmeister, Jesung Kim...