2957 search results - page 420 / 592 » Code analysis and CS-XML |
110
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Bottom-up evaluation is a central part of query evaluation / program execution in deductive databases. It is used after a source code optimization like magic sets or SLDm...
143
click to vote
WCNC
2010
IEEE
15 years 8 months ago
2010
IEEE
— In this paper, we consider the transmission of a Gaussian source in a multi-relay cooperative network, where limited channel state feedback is combined with separate source and...
144
click to vote
ACMSE
2004
ACM
15 years 8 months ago
2004
ACM
Over the past decade, the need to build secure software has become a dominant goal in software development. Consequently, software researchers and practitioners have identified wa...
172
click to vote
ACSD
2001
IEEE
15 years 8 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
158
click to vote
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...