2635 search results - page 227 / 527 » Computing multihomogeneous resultants using straight-line pr... |
204
Voted
ICDE
2000
IEEE
16 years 2 months ago
2000
IEEE
In information-integration systems, sources may have diverse and limited query capabilities. In this paper we show that because sources have restrictions on retrieving their infor...
135
click to vote
ITA
2007
15 years 18 days ago
2007
Abstract. Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, al...
92
Voted
SCAM
2006
IEEE
15 years 6 months ago
2006
IEEE
Traditional program slicing requires two parameters: a program location and a variable, or perhaps a set of variables, of interest. Stop-list slicing adds a third parameter to the...
88
Voted
SAC
2009
ACM
15 years 7 months ago
2009
ACM
We consider distributed real-time systems where concurrency control is managed using software transactional memory. For such a method we propose an algorithm to compute an upper b...
126
click to vote
HPDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Large scale bioinformatics experiments are usually composed by a set of data flows generated by a chain of activities (programs or services) that may be modeled as scientific work...