309 search results - page 56 / 62 » Termination proofs for systems code |
113
click to vote
POPL
1999
ACM
15 years 4 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
76
Voted
EICS
2009
ACM
15 years 6 months ago
2009
ACM
Usage data logged from user interactions can be extremely valuable for evaluating software usability. However, instrumenting software to collect usage data is a time-intensive tas...
SEMWEB
2007
Springer
15 years 5 months ago
2007
Springer
A lot of functionality is needed when an application, such as a museum cataloguing system, is extended with semantic capabilities, for example ontological indexing functionality or...
SIGSOFT
2008
ACM
16 years 13 days ago
2008
ACM
We observed a general problem of sequential programs, which often results in design and programming errors in industrial software engineering projects, and propose a solution appr...
106
click to vote
APSEC
2008
IEEE
15 years 6 months ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...