1140 search results - page 155 / 228 » Generating compilers for generated datapaths |
117
click to vote
CACM
2008
15 years 1 months ago
2008
During the last decade, multidimensional databases have become common in the business and scientific worlds. Analysis places significant demands on the interfaces to these databas...
171
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
PVLDB
2010
15 years 1 months ago
2010
We demonstrate an efficient LINQ to SQL provider and its significant impact on the runtime performance of LINQ programs that process large data volumes. This alternative provider...
135
click to vote
WCRE
2010
IEEE
15 years 1 months ago
2010
IEEE
To date, most clone detection techniques have concentrated on various forms of source code analysis, often by analyzing token streams. In this paper, we introduce a complementary ...
117
click to vote
MEMOCODE
2010
IEEE
15 years 1 months ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...