372 search results - page 36 / 75 » Transaction Based Modeling and Verification of Hardware Prot... |
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Longer range, faster speed and stronger link are today’s wireless mandatory characteristics. Tremendous efforts are being deployed to create new and improved wireless ...
INFSOF
2006
14 years 9 months ago
2006
Providing efficient access to XML documents becomes crucial in XML database systems. More and more concurrency control protocols for XML database systems were proposed in the past...
JSW
2007
14 years 9 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
61
Voted
DATE
2000
IEEE
15 years 2 months ago
2000
IEEE
The paper describes the concept and implementation of a telecom emulator that features both recon gurability and high-speed processing. The emulator can be easily transmuted into ...