2520 search results - page 131 / 504 » Model-checking behavioral programs |
NIPS
1993
15 years 2 months ago
1993
This paper introduces GNARL, an evolutionary program which induces recurrent neural networks that are structurally unconstrained. In contrast to constructive and destructive algor...
99
Voted
AUTOMATICA
2004
15 years 28 days ago
2004
In this paper, we consider a deterministic timed continuous Petri net model where conflicts at places are solved by using stationary routing parameters. We show how to compute the...
105
click to vote
PADL
2004
Springer
15 years 6 months ago
2004
Springer
Message Sequence Charts (MSC) have traditionally been used as a weak form of behavioral requirements in software design; they denote scenarios which may happen. Live Sequence Chart...
131
click to vote
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
— Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in “trusted” software t...
88
Voted
AADEBUG
1993
Springer
15 years 5 months ago
1993
Springer
Program slicing is a program transformation that is useful in program debugging, program maintenance, and other applications that involve understanding program behavior. Given a p...