Sciweavers

2223 search results - page 329 / 445
» Hierarchical Morphable Models
Sort
View
COMPASS
1994
14 years 2 months ago
Equations for Describing Dynamic Nets of Communicating Systems
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
Manfred Broy
CLOUDCOM
2009
Springer
14 years 2 months ago
Cost-Minimizing Scheduling of Workflows on a Cloud of Memory Managed Multicore Machines
Workflows are modeled as hierarchically structured directed acyclic graphs in which vertices represent computational tasks, referred to as requests, and edges represent precedent c...
Nicolas G. Grounds, John K. Antonio, Jeffrey T. Mu...
ESOP
2000
Springer
14 years 2 months ago
A Kleene Analysis of Mobile Ambients
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
ISER
2000
Springer
155views Robotics» more  ISER 2000»
14 years 2 months ago
Evidence for Spring Loaded Inverted Pendulum Running in a Hexapod Robot
: This paper presents the first evidence that the Spring Loaded Inverted Pendulum (SLIP) may be "anchored" in our recently designed compliant leg hexapod robot, RHex. Exp...
Richard Altendorfer, Uluc Saranli, Haldun Komsuogl...
VLDB
2000
ACM
248views Database» more  VLDB 2000»
14 years 1 months ago
Multi-Dimensional Database Allocation for Parallel Data Warehouses
Data allocation is a key performance factor for parallel database systems (PDBS). This holds especially for data warehousing environments where huge amounts of data and complex an...
Thomas Stöhr, Holger Märtens, Erhard Rah...