20655 search results - page 152 / 4131 » Exploring Software Systems |
159
Voted
PADL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
144
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Regression test generation aims at generating a test suite that can detect behavioral differences between the original and the modified versions of a program. Regression test gen...
141
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we present the Daedalus framework, which allows for traversing the path from sequential application specification to a working MP-SoC prototype in FPGA technology ...
122
Voted
IUI
1999
ACM
15 years 9 months ago
1999
ACM
The advent of the Web has brought an unprecedented amount of information together with a large, diverse set of users. Online users are performing a wider variety of tasks than eve...
152
click to vote
HICSS
2012
IEEE
14 years 21 days ago
2012
IEEE
—Security will be critical for the wireless interface offered by soon-to-be-ubiquitous smart meters — since if not secure, this technology will provide an remotely accessible a...