1354 search results - page 190 / 271 » Generalized real analysis and its applications |
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
Nadir point plays an important role in multi-objective optimization because of its importance in estimating the range of objective values corresponding to desired Pareto-optimal s...
EDOC
2008
IEEE
14 years 11 months ago
2008
IEEE
The service-oriented architectural style is widely perceived today. However, service orientation is a very general concept and its application in real-life situations is somewhat ...
FPGA
2008
ACM
14 years 11 months ago
2008
ACM
We present an in-depth analysis of the Xilinx bitstream format. The information gathered in this paper allows bitstream compilation and decompilation. While not actually compromis...
108
click to vote
TOG
2012
13 years 12 days ago
2012
We present a novel representation of maps between pairs of shapes that allows for efficient inference and manipulation. Key to our approach is a generalization of the notion of m...