4520 search results - page 131 / 904 » Algebraic Techniques for Timed Systems |
141
click to vote
ENTCS
2010
15 years 7 months ago
2010
The global states of complex systems often form pospaces, topological spaces equipped with compatible partial orders reflecting causal relationships between the states. The calcul...
164
click to vote
SBACPAD
2004
IEEE
15 years 8 months ago
2004
IEEE
The aim of the paper is to introduce techniques in order to optimize the parallel execution time of sorting on heterogeneous platforms (processors speeds are related by a constant...
179
click to vote
ICECCS
1996
IEEE
15 years 11 months ago
1996
IEEE
Compiler optimization techniques have been applied to facilitate development and performance tuning of non-real-time systems. Unfortunately, regular compiler optimization can comp...
173
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
Mobile and wearable computers present input/output problems due to limited screen space and interaction techniques. When mobile, users typically focus their visual attention on na...
187
click to vote
WSC
2007
15 years 9 months ago
2007
Models of real world systems are being increasingly generated from data that describes the behaviour of systems. Data mining techniques, such as Artificial Neural Networks (ANN),...