Sciweavers

3678 search results - page 519 / 736
» On the Stable Paths Problem
Sort
View
SEFM
2008
IEEE
15 years 11 months ago
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets
We present an approach to find upper bounds of heap space for Java Card applets. Our method first transforms an input bytecode stream into a control flow graph (CFG), and then ...
Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truon...
105
Voted
BIBE
2007
IEEE
110views Bioinformatics» more  BIBE 2007»
15 years 11 months ago
Toward Petascale Simulation of Cellular Microphysiology
Abstract-MCell is a Monte Carlo simulator of cell microphysiology, and the scalable variant can be used to study challenging problems of interest to the biological community. MCell...
Scott B. Baden, Terrence J. Sejnowski, Thomas M. B...
CISS
2007
IEEE
15 years 11 months ago
Detecting Information Flows: Improving Chaff Tolerance by Joint Detection
— The problem of detecting encrypted information flows using timing information is considered. An information flow consists of both information-carrying packets and irrelevant ...
Ting He, Lang Tong
FUZZIEEE
2007
IEEE
15 years 11 months ago
A Fuzzy Action Selection Method for Virtual Agent Navigation in Unknown Virtual Environments
This paper presents an action selection method using fuzzy logic. The objective is to solve behaviour conflict in behaviour-based architectures for virtual agent navigation in un...
Jafreezal Jaafar, Eric McKenzie, Alan Smaill
ICRA
2007
IEEE
134views Robotics» more  ICRA 2007»
15 years 11 months ago
A Strategy for Vision-Based Controlled Pushing of Microparticles
— In this paper, a strategy for controlled pushing is presented for microassembly of 4.5 μm polystyrene particles on a flat glass substrate using an atomic force microscope prob...
Nicholas A. Lynch, Cagdas D. Onal, Eugenio Schuste...