Sciweavers

1399 search results - page 227 / 280
» Verification of Test Suites
Sort
View
CODES
2006
IEEE
14 years 5 months ago
Hardware assisted pre-emptive control flow checking for embedded processors to improve reliability
Reliability in embedded processors can be improved by control flow checking and such checking can be conducted using software or hardware. Proposed software-only approaches suffe...
Roshan G. Ragel, Sri Parameswaran
DATE
2006
IEEE
126views Hardware» more  DATE 2006»
14 years 5 months ago
Analysis and modeling of power grid transmission lines
Power distribution and signal transmission are becoming key limiters for chip performance in nanometer era. These issues can be simultaneously addressed by designing transmission ...
J. Balachandran, Steven Brebels, G. Carchon, T. We...
DSD
2006
IEEE
90views Hardware» more  DSD 2006»
14 years 5 months ago
Global Analysis of Resource Arbitration for MPSoC
Modern day applications require use of multi-processor systems for reasons of scalability and power efficiency. As more and more applications are integrated on a single device, m...
Akash Kumar, Bart Mesman, Henk Corporaal, Jef L. v...
IROS
2006
IEEE
121views Robotics» more  IROS 2006»
14 years 5 months ago
Planning and Acting in Uncertain Environments using Probabilistic Inference
— An important problem in robotics is planning and selecting actions for goal-directed behavior in noisy uncertain environments. The problem is typically addressed within the fra...
Deepak Verma, Rajesh P. N. Rao
WMTE
2006
IEEE
14 years 5 months ago
Entre-pass: Personalising u-learning with Intelligent Agents
Delivering learning materials anytime, anywhere is the goal underpinning the ubiquitous learning (u-learning) paradigm. Personalising u-learning courseware delivers a unique learn...
Brid C. Doherty, P. T. O'Hare, Michael J. O'Grady,...