Sciweavers

3424 search results - page 393 / 685
» Automated Testing of Classes
Sort
View
DAC
2002
ACM
16 years 7 months ago
Unlocking the design secrets of a 2.29 Gb/s Rijndael processor
This contribution describes the design and performance testing of an Advanced Encryption Standard (AES) compliant encryption chip that delivers 2.29 GB/s of encryption throughput ...
Patrick Schaumont, Henry Kuo, Ingrid Verbauwhede
DAC
2002
ACM
16 years 7 months ago
IP delivery for FPGAs using Applets and JHDL
This paper introduces an FPGA IP evaluation and delivery system that operates within Java applets. The use of such applets allows designers to create, evaluate, test, and obtain F...
Michael J. Wirthlin, Brian McMurtrey
ISBI
2004
IEEE
16 years 7 months ago
A Closed-Form Method for Improving Inter-Subject Coherence in Diffusion Tensor Magnetic Resonance Imaging
A simple method is presented to reduce within-group inter-subject scatter in diffusion tensor magnetic resonance imaging (DT-MRI). By "borrowing strength" across co-regi...
Nicholas Lange, Derek Jones, Carlo Pierpaoli
CADE
2008
Springer
16 years 6 months ago
The Annual SUMO Reasoning Prizes at CASC
Previous CASC competitions have focused on proving difficult problems on small numbers of axioms. However, typical reasoning applications for expert systems rely on knowledge base...
Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven T...
CADE
2008
Springer
16 years 6 months ago
Exploring Model-Based Development for the Verification of Real-Time Java Code
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
Niusha Hakimipour, Paul A. Strooper, Roger Duke