Sciweavers

1469 search results - page 90 / 294
» Design and Implementation of Software Objects in Hardware
Sort
View
IWPC
2003
IEEE
14 years 2 months ago
Design Recovery of a Two Level System
Many applications have one or more important modules that are written in a language other than conventional procedural or object oriented languages. These languages are often tran...
Thomas R. Dean, Yuling Chen
CODES
2009
IEEE
14 years 4 months ago
A variation-tolerant scheduler for better than worst-case behavioral synthesis
– There has been a recent shift in design paradigms, with many turning towards yield-driven approaches to synthesize and design systems. A major cause of this shift is the contin...
Jason Cong, Albert Liu, Bin Liu
AC
2005
Springer
13 years 9 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
HAPTICS
2005
IEEE
14 years 2 months ago
Real-Time Soft-Finger Grasping of Physically Based Quasi-rigid Objects
This paper describes the implementation of a demo that will be shown at the conference site. The demo of “softfinger grasping of physically based quasi-rigid objects” will pr...
Maurizio de Pascale, Gabriele Sarcuni, Domenico Pr...
CCECE
2006
IEEE
14 years 3 months ago
A Software Defined Radio Receiver Architecture for UWB Communications and Positioning
A software defined radio (SDR) receiver architecture is proposed in this paper for ultra-wideband (UWB) applications. Both UWB data communication and positioning functions are imp...
Yanyang Zhao, Ligen Wang, Jean-François Fri...