Sciweavers

1184 search results - page 220 / 237
» A computational architecture for heterogeneous reasoning
Sort
View
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
14 years 10 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
VLSID
2003
IEEE
77views VLSI» more  VLSID 2003»
14 years 10 months ago
A Methodology for Accurate Modeling of Energy Dissipation in Array Structures
There is an increasing need for obtaining a reasonably accurate estimate of energy dissipation in SoC designs. Array structures have a significant contribution to the total system...
Mahesh Mamidipaka, Nikil D. Dutt, Kamal S. Khouri
PERCOM
2005
ACM
14 years 10 months ago
Hybrid Context Model Based on Multilevel Situation Theory and Ontology for Contact Centers
Context awareness and context modeling have raised their call for attention and importance quite recently in the world of contact centers for better customer services and relation...
Anupama Kalyan, Srividya Gopalan, V. Sridhar
ADHOCNOW
2008
Springer
14 years 4 months ago
Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly congu...
Wissam Mallouli, Bachar Wehbi, Ana R. Cavalli
HAPTICS
2006
IEEE
14 years 4 months ago
Control and Performance of the Rotational-to-Linear Cobotic Transmission
We examine the motion control bandwidth and stable impedance range of the Cobotic Hand Controller, a novel, six-degree-offreedom, admittance controlled haptic display. A highly ge...
Eric L. Faulring, J. Edward Colgate, Michael A. Pe...