15660 search results - page 2986 / 3132 » The Unbalance of Set Systems |
162
click to vote
EMSOFT
2007
Springer
16 years 22 days ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
187
click to vote
FPGA
2007
ACM
16 years 22 days ago
2007
ACM
Shrinking time-to-market and high demand for productivity has driven traditional hardware designers to use design methodologies that start from high-level languages. However, meet...
190
click to vote
GFKL
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The manual acquisition and modeling of tourist information as e.g. addresses of points of interest is time and, therefore, cost intensive. Furthermore, the encoded inform...
196
click to vote
ICCSA
2007
Springer
16 years 22 days ago
2007
Springer
Next generation of GIS software should be able to manipulate and analyse complex situations of real world phenomena. One of the desired components in such software or system is the...
142
click to vote
ICFEM
2007
Springer
16 years 22 days ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...