MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Verification of Modules." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

212 documents found, showing 1 through 10. Next 10 →

ATOM

Pluggable Verification Modules: An Extensible Protection Mechanism for the JVM
by Philip W.L. Fong, Philip W. L. Fong — 2003 — In Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA’04
…Pluggable Verification Modules: An Extensible Protection Mechanism for the JVM Philip W. L. Fong…
Cited by 13 (6 self) – Add To MetaCart

Formal Verification of Module Interfaces against Real Time Specifications
by Arindam Chakrabarti, Pallab Dasgupta, P.P. Chakrabarti, Ansuman Banerjee — 2002
…Formal Verification of Module Interfaces against Real Time Specifications Arindam Chakrabarti Dept…
Add To MetaCart

Modular Verification of Global Module Invariants in Object-Oriented Programs
by K. Rustan M. Leino, Peter Müller, K. Rustan, M. Leino — 2004
…Modular verification of global module invariants in object-oriented programs K. Rustan M. Leino…
Cited by 5 (1 self) – Add To MetaCart

FlexBench: Reuse of Verification IP to increase Productivity
by Bernd Sthr Michael, Michael Simmons, Joachim Geishauser — 2002 — in Proc. Design, Automation and Test in Europe Conference and Exposition (DATE ’02
… This paper presents FlexBench, which is a complete framework for SoC verification at the Module and SoC level…
Add To MetaCart

A compact and efficient fingerprint verification system for secure embedded systems
by Shenglin Yang — 2003 — in Proceedings of the 37th Asilomar Conference on Signal Systems, and Computers
…. This paper describes an efficient fingerprint verification module, which is part of an embedded device called…
Cited by 5 (3 self) – Add To MetaCart

Compositional Verification of a Switch Fabric from Nortel Networks
by Hong Peng, Sofiene Tahar, Yassine Mokhtari
… specifications are synthesized into Verilog modules. In case a module under verification is beyond the capability…
Add To MetaCart

A verification engine for SDL specification of communication protocols
by Eleonora Bounimova, Vladimir Levin, Osman Basbugoglu, Kemal Inan, Vladimir Levin (t — 1996
… specification language called S/R. The verification module COSPAN built on S/R is used as a verification engine…
Cited by 2 (1 self) – Add To MetaCart

Detecting HTTP Tunneling Activities
by Daniel J. Pack, William Streilein, Seth Webster, Robert Cunningham — 2002 — in 2002 IEEE, Workshop on Information Assurance,. 2002. United States Military Academy, West Point, NY: IEEE
… PSplice Verification Module Intranet sliding window packet # packet # Verification Module Alert Admin…
Cited by 1 (1 self) – Add To MetaCart

The Role of Formal Methods in Component-Based Software Engineering
by Alencar Cowan Computer, P. S. C. Alencar, D. D. Cowan
… formal models for the specification and verification of Module Interconnection Languages (MILs). Topics…
Add To MetaCart

Visual Ordnance Recognition System Fiscal 1998 Year-End Report: Algorithms and Hardware Design
by Jpl Internal, Clark F. Olson, Todd E. Litwin, Roberto Manduchi, Larry H. Matthies
….1.2 Smoothing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 3.1.3 Verification modules…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB