Sciweavers

1341 search results - page 127 / 269
» Dynamic Testimonial Logic
Sort
View
DATE
2007
IEEE
138views Hardware» more  DATE 2007»
14 years 4 months ago
Low-overhead circuit synthesis for temperature adaptation using dynamic voltage scheduling
—Increasing power density causes die overheating due to limited cooling capacity of the package. Conventional thermal management techniques e.g. logic shutdown, clock gating, fre...
Swaroop Ghosh, Swarup Bhunia, Kaushik Roy
FUZZIEEE
2007
IEEE
14 years 4 months ago
Soft Target Based Obstacle Avoidance for Car-like Mobile Robot in Dynamic Environment
— The real time flexible operation of a car-like mobile robot with nonholonomic constraints in dynamic environment is still a very challenging problem. The difficulty lies in t...
Yougen Chen, Seiji Yasunobu
IEEECIT
2006
IEEE
14 years 3 months ago
Dynamic Replica Location Service Supporting Data Grid Systems
Data grid is a kind of wide-area, distributed storage system. It can provide huge storage capacity. There are millions of files in data grid, distributed on hundreds of geographi...
Qiwei Zhang, Jiangming Yang, Ning Gu, Yuwei Zong, ...
CAISE
2003
Springer
14 years 2 months ago
Sharing Mobile Databases in Dynamically Configurable Environments
We define a Mobile Database Community (MDBC) as a dynamic collection of autonomous mobile databases in which each database user can access databases in the community through a wir...
Angelo Brayner, José de Aguiar Moraes Filho
PLDI
2009
ACM
14 years 2 months ago
Flow-sensitive semantics for dynamic information flow policies
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
Niklas Broberg, David Sands