2044 search results - page 49 / 409 » System theory for numerical analysis |
138
Voted
FROCOS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
103
click to vote
JITECH
2006
15 years 3 months ago
2006
The misalignment of information systems (IS) components with the rest of an organization remains a critical and chronic unsolved problem in today's complex and turbulent worl...
124
click to vote
STTT
2008
15 years 3 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
151
Voted
CADE
1990
Springer
15 years 7 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
111
Voted
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— A fast timing analysis of plane circuits via two-layer CNNbased modeling, which is necessary for the solution of power/signal integrity problems in printed circuit boar...