Sciweavers

7080 search results - page 923 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
RE
1997
Springer
15 years 10 months ago
SOFL: A Formal Engineering Methodology for Industrial Applications
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
Shaoying Liu
VTS
2008
IEEE
83views Hardware» more  VTS 2008»
16 years 24 days ago
LS-TDF: Low-Switching Transition Delay Fault Pattern Generation
— Higher chip densities and the push for higher performance have continued to drive design needs. Transition delay fault testing has become the preferred method for ensuring thes...
Jeremy Lee, Mohammad Tehranipoor
IROS
2007
IEEE
128views Robotics» more  IROS 2007»
16 years 21 days ago
Dynamometer power output measurements of piezoelectric actuators
— Piezoelectric bending actuators are an attractive option for driving microrobots due to their light weight, scalability, ease of integration and high bandwidth. However, the on...
Erik Steltz, Ronald S. Fearing
153
Voted
ISPAN
2005
IEEE
16 years 5 hour ago
An FPGA-Based Floating-Point Jacobi Iterative Solver
Within the parallel computing domain, field programmable gate arrays (FPGA) are no longer restricted to their traditional role as substitutes for application-specific integrated...
Gerald R. Morris, Viktor K. Prasanna
200
Voted
IPPS
2002
IEEE
15 years 11 months ago
Java Mirrors: Building Blocks for Remote Interaction
Java mirror objects are building blocks for integrating web-based with high performance applications. This paper demonstrates the utility of mirror objects for construction of rem...
Yuan Chen, Karsten Schwan, David W. Rosen