Sciweavers

5722 search results - page 98 / 1145
» Dynamic inference control
Sort
View
CC
2007
Springer
15 years 9 months ago
Correcting the Dynamic Call Graph Using Control-Flow Constraints
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...
Byeongcheol Lee, Kevin Resnick, Michael D. Bond, K...
IJISEC
2007
149views more  IJISEC 2007»
15 years 2 months ago
Dynamic security labels and static information flow control
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
Lantian Zheng, Andrew C. Myers
WCNC
2010
IEEE
15 years 7 months ago
Dynamic Control of Data Ferries under Partial Observations
—Controlled mobile helper nodes called data ferries have recently been proposed to bridge communications between disconnected nodes in a delay-tolerant manner. While existing wor...
Chi Harold Liu, Ting He, Kang-won Lee, Kin K. Leun...
ICRA
2002
IEEE
147views Robotics» more  ICRA 2002»
15 years 8 months ago
Exploiting Physical Dynamics for Concurrent Control of a Mobile Robot
Conventionally, mobile robots are controlled through an action selection mechanism (ASM) that chooses among multiple proposed actions. This choice can be made in a variety of ways...
Brian P. Gerkey, Maja J. Mataric, Gaurav S. Sukhat...
ICRA
2009
IEEE
159views Robotics» more  ICRA 2009»
15 years 9 months ago
State transition, balancing, station keeping, and yaw control for a dynamically stable single spherical wheel mobile robot
— Unlike statically stable wheeled mobile robots, dynamically stable mobile robots can have higher centers of gravity, smaller bases of support and can be tall and thin resemblin...
Umashankar Nagarajan, Anish Mampetta, George Kanto...