2036 search results - page 69 / 408 » Analysis of the XC6000 Architecture for Embedded System Desi... |
88
Voted
CODES
2006
IEEE
15 years 2 days ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
RTCSA
2005
IEEE
15 years 3 months ago
2005
IEEE
We propose a new architecture for a content protection system that conceals confidential data and algorithms in an FPGA as electrical circuits. This architecture is designed for a...
ICRA
2003
IEEE
15 years 3 months ago
2003
IEEE
— This paper presents an underactuated artificial hand intended for functional replacement of the natural hand in upper limb amputees. The natural hand has three basic functiona...
93
Voted
SEUS
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract. Code generation from models is the ultimate goal of model-based design. For real-time systems the generated code must be analyzable for the worstcase execution time (WCET...
RTAS
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...