444 search results - page 45 / 89 » Sensitive state-space exploration |
119
click to vote
ECRTS
2009
IEEE
14 years 9 months ago
2009
IEEE
This paper explores timing anomalies in WCET analysis. Timing anomalies add to the complexity of WCET analysis and make it hard to apply divide-and-conquer strategies to simplify ...
109
click to vote
SC
2009
ACM
15 years 6 months ago
2009
ACM
Scientific workflow tools allow users to specify complex computational experiments and provide a good framework for robust science and engineering. Workflows consist of pipelines ...
ICONIP
2007
15 years 1 months ago
2007
It has repeatedly been reported in the medical literature that the EEG signals of Alzheimer’s disease (AD) patients are less synchronous than in age-matched control patients. Thi...
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper explores similarity criteria between non-rigid shapes. Broadly speaking, such criteria are divided into intrinsic and extrinsic, the first referring to the metric struc...
FCCM
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper presents a method that offers a uniform treatment for bit-width optimisation of both fixed-point and floating-point designs. Our work utilises automatic differentiation...