Sciweavers

3605 search results - page 323 / 721
» System and simulation modeling using SysML
Sort
View
ICCD
2005
IEEE
108views Hardware» more  ICCD 2005»
16 years 1 months ago
Methods for Modeling Resource Contention on Simultaneous Multithreading Processors
Simultaneous multithreading (SMT) seeks to improve the computation throughput of a processor core by sharing primary resources such as functional units, issue bandwidth, and cache...
Tipp Moseley, Dirk Grunwald, Joshua L. Kihm, Danie...
CODES
2003
IEEE
15 years 9 months ago
RTOS scheduling in transaction level models
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...
Haobo Yu, Andreas Gerstlauer, Daniel Gajski
QEST
2007
IEEE
15 years 10 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
IJSR
2011
74views more  IJSR 2011»
14 years 11 months ago
Acting Deceptively: Providing Robots with the Capacity for Deception
Deception is utilized by a variety of intelligent systems ranging from insects to human beings. It has been argued that the use of deception is an indicator of theory of mind [2] ...
Alan R. Wagner, Ronald C. Arkin
ICRA
2005
IEEE
158views Robotics» more  ICRA 2005»
15 years 10 months ago
Autonomous Helicopter Landing on a Moving Platform Using a Tether
—In this paper, we address the design of an autopilot for autonomous landing of a helicopter on a rocking ship, due to rough sea. The deck is modeled to have a sinusoidal motion....
So-Ryeok Oh, Kaustubh Pathak, Sunil Kumar Agrawal,...