4693 search results - page 298 / 939 » Verifying Hybrid Systems |
186
click to vote
JSS
2006
15 years 6 months ago
2006
Dynamic memory management can make up to 60% of total program execution time. Object oriented languages such as C++ can use 20 times more memory than procedural languages like C. ...
178
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We address several challenges for applying statistical dialog managers based on Partially Observable Markov Models to real world problems: to deal with large numbers of concepts, ...
129
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper studies the performance of selected chaos-based communication systems whose spectrum overlaps with that of conventional narrowband systems. Such a scenario may occur in...
173
click to vote
ETFA
2005
IEEE
16 years 9 days ago
2005
IEEE
Data access and software exchange are often achieved over insecure networks such as the public Internet. System designers are therefore forced to be proactive with regard to verif...
188
click to vote
FC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract Two protocols for authentication based on symmetric key cryptography are described, where the verifier can be implemented in software completely, without the need for secu...