783 search results - page 9 / 157 » A Framework for Exploring Optimization Properties |
170
Voted
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
One of the most challenging problems in high-level synthesis is how to quickly explore a wide range of design options to achieve high-quality designs. This paper presents an Integ...
127
Voted
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
130
Voted
ICANN
2007
Springer
15 years 9 months ago
2007
Springer
This paper proposes a novel approach for directly tuning the gaussian kernel matrix for one class learning. The popular gaussian kernel includes a free parameter, σ, that requires...
102
Voted
DCOSS
2005
Springer
15 years 9 months ago
2005
Springer
We consider a scenario in which anonymous, finite-state sensing devices are deployed in an ad-hoc communication network of arbitrary size and unknown topology, and explore what p...
151
Voted
CGO
2008
IEEE
15 years 10 months ago
2008
IEEE
Modern compilers implement a large number of optimizations which all interact in complex ways, and which all have a different impact on code quality, compilation time, code size,...