3653 search results - page 280 / 731 » On Recognizable Timed Languages |
204
click to vote
ICSE
2011
IEEE-ACM
14 years 10 months ago
2011
IEEE-ACM
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
182
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
We describe a computational system which parses discourses consisting of sequences of simple sentences. These contain a range of temporal constructions, including time adverbials,...
143
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
The Cameron project has developed a language and compiler for mapping image-based applications to field programmable gate arrays (FPGAs). This paper tests this technology on sever...
189
click to vote
CC
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. This paper deals with coalescing in SSA-based register allocation. Current coalescing techniques all require the interference graph to be built. This is generally conside...
207
click to vote
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We consider the problem of query containment for conjunctive queries with safe negation property. A necessary and sufficient condition for two queries to be in containmen...