302 search results - page 14 / 61 » An approach to synthesise safe systems |
106
click to vote
DSD
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper1 addresses the hardware implementation of a dynamic scheduler for non-manifest data dependent periodic loops. Static scheduling techniques which are known to give near ...
120
click to vote
INTERSPEECH
2010
14 years 7 months ago
2010
This paper describes a new approach to pitch marking. Unlike other approaches that use the same combination of features for the whole signal, we take into account the signal prope...
214
Voted
AMW
2011
14 years 4 months ago
2011
The goal of this paper is to permit secure outsourced system evaluation. We propose a method for generating synthetic databases and obfuscating a workload of queries in order to pr...
HOTOS
2003
IEEE
15 years 5 months ago
2003
IEEE
Understanding the performance of distributed systems requires correlation of thousands of interactions between numerous components — a task best left to a computer. Today’s sy...
ENTCS
2010
15 years 13 days ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...