3557 search results - page 274 / 712 » Authoring Presentation for OpenMath |
155
click to vote
IPPS
2007
IEEE
16 years 28 days ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
140
click to vote
IROS
2007
IEEE
16 years 28 days ago
2007
IEEE
— This paper introduces box approximations as a new tool for path planning of closed-loop linkages. Box approximations are finite collections of rectangloids that tightly envelo...
179
click to vote
ISCAS
2007
IEEE
16 years 27 days ago
2007
IEEE
— A method is presented to synthesize wideband linear-phase FIR filters with a piecewise-polynomial-sinusoidal impulse response. The proposed method is based on merging the earl...
187
click to vote
ISORC
2007
IEEE
16 years 27 days ago
2007
IEEE
Modern processors used in embedded systems are becoming increasingly powerful, having features like caches and pipelines to speedup execution. While execution speed of embedded so...
146
click to vote
SAINT
2007
IEEE
16 years 27 days ago
2007
IEEE
In this paper, we present the design of foundation PKI (fPKI), a PKI system constructed on an overlay network for an open source community. fPKI can provide an alternative PKI sys...