Sciweavers

843 search results - page 133 / 169
» Codes and Projective Multisets
Sort
View
CDC
2009
IEEE
122views Control Systems» more  CDC 2009»
15 years 2 months ago
Air traffic management with target windows: An approach using reachability
Abstract-- We present the applications of reachability methods and computational tools based on game theory to a problem in air traffic management. The use of such methods in air t...
Kostas Margellos, John Lygeros
SC
1995
ACM
15 years 1 months ago
A Parallel Incompressible Flow Solver Package with a Parallel Multigrid Elliptic Kernel
A parallel time-dependent incompressible flow solver and a parallel multigrid elliptic kernel are described. The flow solver is based on a second-order projection method applied...
John Z. Lou, Robert D. Ferraro
ACMACE
2008
ACM
15 years 2 days ago
BeatBender: subsumption architecture for autonomous rhythm generation
BeatBender is a computer music project that explores a new method for generating emergent rhythmic drum patterns using the subsumption architecture. Rather than explicitly coding ...
Aaron Levisohn, Philippe Pasquier
ASM
2008
ASM
15 years 2 days ago
Using EventB to Create a Virtual Machine Instruction Set Architecture
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
Stephen Wright
ESEM
2008
ACM
14 years 12 months ago
Phase distribution of software development effort
Effort distribution by phase or activity is an important but often overlooked aspect compared to other steps in the cost estimation process. Poor effort allocation is among the ma...
Ye Yang, Mei He, Mingshu Li, Qing Wang, Barry W. B...