1975 search results - page 220 / 395 » Property analysis and design understanding |
164
click to vote
IJCNN
2006
IEEE
16 years 19 days ago
2006
IEEE
— The semantics of neural networks can be analyzed mathematically as a distributed system of knowledge and as systems of possible worlds expressed in the knowledge. Learning in a...
192
click to vote
EUROPAR
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
167
click to vote
ICCS
2005
Springer
16 years 3 days ago
2005
Springer
A key phenomenon in the dynamics of genetic networks is the cell cycle. In the study of this phenomenon, an important task is to understand how many processes, acting on different...
183
click to vote
PASTE
2004
ACM
16 years 21 hour ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
144
click to vote
SIGDOC
2004
ACM
16 years 19 hour ago
2004
ACM
The signal to noise ratio is a common concept in radio communications and electronic communication in general. For a radio, the static is the noise. Too much static and the storm ...