Sciweavers

12032 search results - page 547 / 2407
» Simulation of Manufacturing Systems
Sort
View
CEC
2008
IEEE
15 years 9 months ago
Creature Academy: A system for virtual creature evolution
In this paper, we present Creature Academy, a virtual laboratory that allows for the evolution of form and function within simulated physical 3D environments. Creature Academy can ...
Marcin L. Pilat, Christian Jacob
ENTCS
2006
154views more  ENTCS 2006»
15 years 7 months ago
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
Gul A. Agha, José Meseguer, Koushik Sen
TPDS
1998
125views more  TPDS 1998»
15 years 6 months ago
An Efficient Dynamic Scheduling Algorithm For Multiprocessor Real-Time Systems
—Many time-critical applications require predictable performance and tasks in these applications have deadlines to be met. In this paper, we propose an efficient algorithm for no...
G. Manimaran, C. Siva Ram Murthy
ICCS
2005
Springer
16 years 20 days ago
A Dynamic Data Driven Grid System for Intra-operative Image Guided Neurosurgery
Abstract. In the future, advanced biomechanical simulations of brain deformation during surgery will require access to multi-teraflop parallel hardware, supporting operating room i...
Amitava Majumdar, Adam Birnbaum, Dong Ju Choi, Abh...
WSC
2007
15 years 9 months ago
Subset selection and optimization for selecting binomial systems applied to supersaturated design generation
The problem of finding the binomial population with the highest success probability is considered when the number of binomial populations is large. A new rigorous indifference zo...
Ning Zheng, Theodore Allen