6829 search results - page 1042 / 1366 » Quantitative Generalizations of Languages |
172
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this work, we introduce the class of Interrupt Timed Automata (ITA), which are well suited to the description of multi-task systems with interruptions in a single proc...
162
click to vote
GIS
2009
ACM
16 years 1 months ago
2009
ACM
While conventional GIS maps have long been a privileged way for the integration and diffusion of geographical information, novel forms of representation and description of urban ...
198
click to vote
ICFCA
2009
Springer
16 years 1 months ago
2009
Springer
Formal concept analysis (FCA) is increasingly applied to data mining problems, essentially as a formal framework for mining reduced representations (bases) of target pattern famili...
162
click to vote
ICS
2009
Tsinghua U.
16 years 1 months ago
2009
Tsinghua U.
Tiling is a crucial loop transformation for generating high performance code on modern architectures. Efficient generation of multilevel tiled code is essential for maximizing da...
169
Voted
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...