Sciweavers

2485 search results - page 353 / 497
» Enabling Simulation Interoperability
Sort
View
TACAS
2004
Springer
132views Algorithms» more  TACAS 2004»
15 years 8 months ago
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
Håkan L. S. Younes, Marta Z. Kwiatkowska, Ge...
CODES
2003
IEEE
15 years 8 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
112
Voted
DATE
2003
IEEE
99views Hardware» more  DATE 2003»
15 years 8 months ago
Fast Computation of Data Correlation Using BDDs
Data correlation is a well-known problem that causes difficulty in VLSI testing. Based on a correlation metric, an efficient heuristic to select BIST registers has been proposed...
Zhihong Zeng, Qiushuang Zhang, Ian G. Harris, Maci...
119
Voted
ICNP
2003
IEEE
15 years 8 months ago
Establishing Pairwise Keys for Secure Communication in Ad Hoc Networks: A Probabilistic Approach
A prerequisite for secure communication between two nodes in an ad hoc network is that the nodes share a key to bootstrap their trust relationship. In this paper, we present a sca...
Sencun Zhu, Shouhuai Xu, Sanjeev Setia, Sushil Jaj...
120
Voted
ICRA
2003
IEEE
159views Robotics» more  ICRA 2003»
15 years 8 months ago
Randomized manipulation planning for a multi-fingered hand by switching contact modes
Abstract— This paper presents a randomized manipulation planner for a multi-fingered hand by switching contact modes. Manipulation planning for such a system should consider cha...
Masahito Yashima, Yoshikazu Shiina, Hideya Yamaguc...