Sciweavers

7340 search results - page 265 / 1468
» The Behavior of Tutoring Systems
Sort
View
DAGSTUHL
2003
15 years 8 months ago
Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity
Individual functional requirements represent fragments of behavior, while a design that satisfies a set of functional requirements represents integrated behavior. This perspective ...
R. Geoff Dromey
ASPDAC
2004
ACM
106views Hardware» more  ASPDAC 2004»
15 years 12 months ago
A novel memory size model for variable-mapping in system level design
— It is predicted that 70% of the chip area will be occupied by memories in future system-onchips. The minimization of on-chip memory hence becomes increasingly important for cos...
Lukai Cai, Haobo Yu, Daniel Gajski
MEMBRANE
2004
Springer
15 years 12 months ago
Inhibiting/De-inhibiting Rules in P Systems
We introduce in the P systems area a mechanism, inspired from neural-cell behavior, which controls computations by inhibiting and de-inhibiting evolution rules. We investigate the ...
Matteo Cavaliere, Mihai Ionescu, Tseren-Onolt Ishd...
SIAMMA
2010
89views more  SIAMMA 2010»
15 years 1 months ago
The Navier-Stokes-Vlasov-Fokker-Planck System near Equilibrium
This paper is concerned with a system that couples the incompressible Navier-Stokes equations to the Vlasov-Fokker-Planck equation. Such a system arises in the modeling of sprays,...
Thierry Goudon, Lingbing He, Ayman Moussa, Ping Zh...
IPPS
2006
IEEE
16 years 17 days ago
Schedulability analysis of AR-TP, a Ravenscar compliant communication protocol for high-integrity distributed systems
A new token-passing algorithm called AR-TP for avoiding the non-determinism of some networking technologies is presented. This protocol allows the schedulability analysis of the n...
Santiago Urueña, Juan Zamorano, Daniel Berj...