Sciweavers

27913 search results - page 648 / 5583
» Simulation
Sort
View
ICRA
2005
IEEE
106views Robotics» more  ICRA 2005»
16 years 12 days ago
Simulation Study of Fish Swimming Modes for Aquatic Robot System
: In this paper, we show the simulation result to find the suitable fish swimming modes(specially BCF swimming) for fishlike underwater robot system. To find the suitable swimm...
Eunjung Kim, Youngil Youm
ISQED
2005
IEEE
95views Hardware» more  ISQED 2005»
16 years 11 days ago
Simulating and Improving Microelectronic Device Reliability by Scaling Voltage and Temperature
The purpose of this work is to explore how device operation parameters such as switching speed and power dissipation scale with voltage and temperature. We simulated a CMOS ring o...
Xiaojun Li, Joerg D. Walter, Joseph B. Bernstein
RSP
2005
IEEE
16 years 11 days ago
Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...
CAV
2005
Springer
99views Hardware» more  CAV 2005»
16 years 10 days ago
Automated Assume-Guarantee Reasoning for Simulation Conformance
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Pras...
COSIT
2005
Springer
95views GIS» more  COSIT 2005»
16 years 10 days ago
Simulation of Obfuscation and Negotiation for Location Privacy
Abstract. Current mobile computing systems can automatically sense and communicate detailed data about a person’s location. Location privacy is an urgent research issue because c...
Matt Duckham, Lars Kulik