Sciweavers

5722 search results - page 859 / 1145
» Dynamic inference control
Sort
View
ASWEC
2005
IEEE
16 years 11 days ago
Operational Management Contracts for Adaptive Software Organisation
As modern computing environments become more open, distributed and pervasive, the software we build for those dynamic environments will need to become more adaptable and adaptive....
Alan W. Colman, Jun Han
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
16 years 11 days ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
HAPTICS
2005
IEEE
16 years 11 days ago
The Snaptic Paddle: A Modular Haptic Device
The Haptic Paddle was developed previously as an inexpensive haptic device for educational use, and has been applied to course topics such as dynamic systems and introductory cont...
Christopher E. Wong, Allison M. Okamura
ICAC
2005
IEEE
16 years 11 days ago
Architecture-Based Autonomous Repair Management: Application to J2EE Clusters
This paper presents a component-based architecture for autonomous repair management in distributed systems, and a prototype implementation of this architecture, called JADE, which...
Sara Bouchenak, Fabienne Boyer, Daniel Hagimont, S...
ISCAS
2005
IEEE
167views Hardware» more  ISCAS 2005»
16 years 10 days ago
A 33.2M vertices/sec programmable geometry engine for multimedia embedded systems
—This paper proposes a programmable geometry engine (GE) reducing the expensive internal buffers and register files of the conventional programmable GEs and sharing datapaths of ...
Chang-Hyo Yu, Donghyun Kim, Lee-Sup Kim