3792 search results - page 614 / 759 » Techniques for Trusted Software Engineering |
176
click to vote
EMSOFT
2007
Springer
16 years 21 days ago
2007
Springer
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...
162
click to vote
SOCO
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. The ability to debug programs composed using aspect-oriented programming (AOP) techniques is critical to the adoption of AOP. Nevertheless, many AOP systems lack adequate...
200
click to vote
ISSTA
2006
ACM
16 years 14 days ago
2006
ACM
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...
147
click to vote
UIST
2006
ACM
16 years 14 days ago
2006
ACM
Interaction on digital tables has been restricted to a single layer on the table's active work-surface. We extend the design space of digital tables to include multiple layer...
149
click to vote
UIST
2005
ACM
16 years 2 days ago
2005
ACM
Twenty years after the general adoption of overlapping windows and the desktop metaphor, modern window systems differ mainly in minor details such as window decorations or mouse a...