1501 search results - page 121 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
125
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
The scaling of CMOS technology into the nanometer era enables the fabrication of highly integrated systems, which increasingly contain analog and/or RF parts. However, scaling into...
124
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper proposes a blind audio watermark extraction technique that allows performing watermark decoding while installing data synchronization. The proposed decoding algorithm e...
121
click to vote
AGI
2008
15 years 5 months ago
2008
Rich computer simulations or quantitative models can enable an agent to realistically predict real-world behavior with precision and performance that is difficult to emulate in log...
113
click to vote
JUCS
2007
15 years 4 months ago
2007
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
150
click to vote
FMCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...