3307 search results - page 437 / 662 » The meaning of concurrent programs |
190
click to vote
ENDM
2010
15 years 7 months ago
2010
We consider a generalization of the Prize Collecting Steiner Tree Problem on a graph with special redundancy requirements on a subset of the customer nodes suitable to model a rea...
195
click to vote
JUCS
2008
15 years 7 months ago
2008
Abstract: Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equation...
190
click to vote
PC
2006
15 years 7 months ago
2006
Parallel application development is a very difficult task for non-expert programmers, and therefore support tools are needed for all phases of this kind of application development...
169
click to vote
SCL
2008
15 years 7 months ago
2008
Significant progress in control design has been achieved by the use of nonsmooth and semiinfinite mathematical programming techniques. In contrast with LMI or BMI approaches, thes...
146
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
We study xpoints of operators on lattices. To this end we introduce the notion of an approximation of an operator. We order approximations by means of a precision ordering. We sho...