3145 search results - page 129 / 629 » Algebraic Linear Orderings |
130
click to vote
DIMACS
2001
15 years 5 months ago
2001
Let C be a smooth real plane curve. Let c be its degree and g its genus. We assume that C has at least g real branches. Let d be a nonzero natural integer strictly less than c. Let...
157
click to vote
PDSE
1998
15 years 5 months ago
1998
This paper proposes a theoretical framework for verifying and deriving code optimizations for programs written in parallel programming languages. The key idea of this framework is...
149
click to vote
FAC
2000
15 years 4 months ago
2000
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
155
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
According to the theory of Network Calculus based on the (min,+) algebra, analysis and measure of worst-case performance in communication networks can be made easily. In this conte...
126
click to vote
ACL
2010
15 years 2 months ago
2010
As information extraction (IE) becomes more central to enterprise applications, rule-based IE engines have become increasingly important. In this paper, we describe SystemT, a rul...