3228 search results - page 269 / 646 » Basics of Compiler Design |
157
click to vote
IVS
2002
15 years 6 months ago
2002
In this paper, the authors propose Zoomable User Interfaces as an alternative presentation medium to address several common presentation problems. Zoomable User Interfaces offer n...
169
click to vote
CACM
2008
15 years 5 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...
233
click to vote
ICFEM
2010
Springer
15 years 5 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...
187
click to vote
MEMOCODE
2010
IEEE
15 years 4 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...
183
click to vote
CCR
2010
15 years 4 months ago
2010
This paper presents iNFAnt, a parallel engine for regular expression pattern matching. In contrast with traditional approaches, iNFAnt adopts non-deterministic automata, allowing ...