Sciweavers

1975 search results - page 163 / 395
» Property analysis and design understanding
Sort
View
DAC
2009
ACM
16 years 7 months ago
Analysis and mitigation of process variation impacts on Power-Attack Tolerance
Embedded cryptosystems show increased vulnerabilities to implementation attacks such as power analysis. CMOS technology trends are causing increased process variations which impac...
Lang Lin, Wayne P. Burleson
SIGSOFT
2009
ACM
16 years 7 months ago
Automatic steering of behavioral model inference
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
David Lo, Leonardo Mariani, Mauro Pezzè
ICANN
1997
Springer
15 years 11 months ago
Spatio-Temporal Pattern Recognition with Neural Networks: Application to Speech
The processing or the recognition of non stationary process with neural networks is a challenging and yet unsolved issue. The paper discuss the general pattern recognition framewor...
Jean Rouat
PLSA
1994
15 years 10 months ago
Languages and Interactive Software Development
Abstract. Most software is developed using interactive computing systems and substantial compute-power. Considerable assistance can be given to the developer by providing language-...
Susan L. Graham
ECAL
2005
Springer
16 years 7 days ago
The Genetic Coding Style of Digital Organisms
Recently, all the human genes were identified. But understanding the functions coded in the genes is of course a much harder problem. We are used to view DNA as some sort of a comp...
Philip Gerlee, Torbjörn Lundh