139 search results - page 15 / 28 » Totally Verified Systems: Linking Verified Software to Verif... |
85
Voted
ICC
2007
IEEE
15 years 3 months ago
2007
IEEE
— In modern wireless networks the functions included into layer II have to deal with complex problems, such as security and access control, that were previously demanded to upper...
ICNSC
2007
IEEE
15 years 3 months ago
2007
IEEE
— This paper addresses the issue of robotic manipulation of multi-DOF inverted pendulums. A control scheme is designed using Lyaponov stability theory for both the robot position...
RECONFIG
2008
IEEE
15 years 3 months ago
2008
IEEE
Platform FPGAs are capable of hosting entire Linuxbased systems including standard peripherals, integrated network interface cards and even disk controllers on a single chip. File...
ECBS
2003
IEEE
15 years 2 months ago
2003
IEEE
Heterogeneous embedded systems, where configurable or application specific hardware devices (FPGAs and ASICs) are used alongside traditional processors, are becoming more and more...
DATE
2002
IEEE
15 years 2 months ago
2002
IEEE
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...