476 search results - page 50 / 96 » Representation dependence testing using program inversion |
LCPC
2009
Springer
14 years 9 days ago
2009
Springer
Abstract. Many parallel programs are written in a single-program, multipledata (SPMD) style, in which synchronization is provided using collective operations that all threads execu...
WCRE
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper we describe interprocedural static single assignment form (ISSA) with optimizations as implemented in the Bauhaus project. We explain our framework which abstract pr...
MHCI
2007
Springer
14 years 1 months ago
2007
Springer
In this demonstration, we present a system that enables users to easily generate quizzes for mobile devices. With our program, they can create multiple choice tests and general qu...
SCAM
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper addresses the question: “How can animated visualisation be used to express interesting properties of static analysis?” The particular focus is upon static dependenc...
BMCBI
2007
13 years 7 months ago
2007
Background: The most popular methods for significance analysis on microarray data are well suited to find genes differentially expressed across predefined categories. However, ide...