2935 search results - page 462 / 587 » An Integrated Approach to High Integrity Software Verificati... |
183
click to vote
CODES
2011
IEEE
14 years 5 months ago
2011
IEEE
Designing memory controllers for complex real-time and highperformance multi-processor systems-on-chip is challenging, since sufficient capacity and (real-time) performance must b...
304
click to vote
PLDI
2009
ACM
16 years 6 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
155
click to vote
AOSD
2006
ACM
15 years 12 months ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
189
click to vote
WCRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
155
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Most software packages for whole genome association studies are non-graphical, purely text based programs originally designed to run with UNIX-like operating systems. ...