Sciweavers

581 search results - page 12 / 117
» formats 2006
Sort
View
WCRE
2006
IEEE
14 years 1 months ago
Extracting Output Formats from Executables
We describe the design and implementation of FFE/x86 (File-Format Extractor for x86), an analysis tool that works on stripped executables (i.e., neither source code nor debugging ...
Junghee Lim, Thomas W. Reps, Ben Liblit
MICRO
2006
IEEE
73views Hardware» more  MICRO 2006»
14 years 1 months ago
Merging Head and Tail Duplication for Convergent Hyperblock Formation
VLIW and EDGE (Explicit Data Graph Execution) architectures rely on compilers to form high-quality hyperblocks for good performance. These compilers typically perform hyperblock f...
Bertrand A. Maher, Aaron Smith, Doug Burger, Kathr...
IROS
2006
IEEE
146views Robotics» more  IROS 2006»
14 years 1 months ago
Formation Control of Underactuated Surface Vessels using the Null-Space-Based Behavioral Control
— In this paper the application of a behavior-based control approach, namely the Null-Space-based Behavioral control, to coordinate a fleet of autonomous surface vessels is pres...
Filippo Arrichiello, Stefano Chiaverini, Thor I. F...
AMC
2007
164views more  AMC 2007»
13 years 7 months ago
The method of lines for the numerical solution of a mathematical model for capillary formation: The role of endothelial cells in
In this paper we present the method of lines to obtain the numerical solution of a mathematical model for capillary formation in tumor angiogenesis. This method is an approach to ...
Serdal Pamuk, Arzu Erdem
AUTOMATICA
2006
80views more  AUTOMATICA 2006»
13 years 7 months ago
Pursuit formations of unicycles
In this paper, the stability of equilibrium formations for multiple unicycle systems in cyclic pursuit is studied in detail. The cyclic pursuit setup is particularly simple in tha...
Joshua A. Marshall, Mireille E. Broucke, Bruce A. ...