16725 search results - page 12 / 3345 » Engineering Software Correctness |
ICSE
2005
IEEE-ACM
15 years 11 months ago
2005
IEEE-ACM
Recently, several innovative tools have found their way into mainstream use in modern development environments. However, most of these tools have focused on creating and modifying...
74
Voted
CSSE
2008
IEEE
15 years 6 months ago
2008
IEEE
—The skew-correction of scanned document image is a necessary step undergone before some processing. For the purpose of practical, robust, real-time of the algorithm, this paper ...
80
Voted
VLSI
2010
Springer
14 years 10 months ago
2010
Springer
—Latency insensitivity is a promising design paradigm in the nanometer era since it has potential benefits of increased modularity and robustness to variations. Synchronous elas...
188
click to vote
ICFP
2009
ACM
16 years 9 days ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
84
Voted
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
Design defects come from poor design choices and have the effect of degrading the quality of object-oriented designs. Therefore, they present opportunities for improvements. Howev...