4693 search results - page 818 / 939 » Verifying Hybrid Systems |
137
Voted
DAC
2004
ACM
15 years 4 months ago
2004
ACM
This paper presents new technology that accelerates system verification. Traditional methods for verifying functional designs are based on logic simulation, which becomes more tim...
105
Voted
DSD
2004
IEEE
15 years 4 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
98
Voted
CTRSA
2006
Springer
15 years 4 months ago
2006
Springer
RFID-tags are becoming very popular tools for identification of products. As they have a small microchip on board, they offer functionality that can be used for security purposes. ...
105
click to vote
ECOWS
2006
Springer
15 years 4 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
83
Voted
EKAW
2006
Springer
15 years 4 months ago
2006
Springer
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...