Sciweavers

2797 search results - page 207 / 560
» Control Structures
Sort
View
IFM
2010
Springer
183views Formal Methods» more  IFM 2010»
15 years 1 months ago
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
Javier de Dios, Manuel Montenegro, Ricardo Pe&ntil...
ICCD
2006
IEEE
312views Hardware» more  ICCD 2006»
16 years 5 days ago
A Design Approach for Fine-grained Run-Time Power Gating using Locally Extracted Sleep Signals
— Leakage power dissipation becomes a dominant component in operation power in nanometer devices. This paper describes a design methodology to implement runtime power gating in a...
Kimiyoshi Usami, Naoaki Ohkubo
DAI
1998
Springer
15 years 7 months ago
Physically Based, Self-Organizing Cellular Automata
A physically based system of interacting polyhedral objects is used to model self-assembly and spontaneous organization of complex structures. The surfaces of the polyhedra in the ...
Alan Dorin
DEXAW
2008
IEEE
98views Database» more  DEXAW 2008»
15 years 9 months ago
Interface for Multidisciplinary Virtual Prototype Components
Computer-based concurrent engineering of products, denoted as Virtual Engineering (VE), is used extensively to meet the requirements of product development. Current research deals...
Stephan Vornholt, Ingolf Geist
ICRA
2005
IEEE
150views Robotics» more  ICRA 2005»
15 years 8 months ago
Detection and Tracking of External Features in an Urban Environment Using an Autonomous Helicopter
— We present the design and implementation of a real-time vision-based approach to detect and track features in a structured environment using an autonomous helicopter. Using vis...
Srikanth Saripalli, Gaurav S. Sukhatme, Luis Mej&i...