Sciweavers

936 search results - page 74 / 188
» Mathematical Models of Endocrine Systems
Sort
View
LICS
2005
IEEE
14 years 3 months ago
Process Algebras for Quantitative Analysis
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
Jane Hillston
NAA
2004
Springer
117views Mathematics» more  NAA 2004»
14 years 3 months ago
Parallel Performance of a 3D Elliptic Solver
It was recently shown that block-circulant preconditioners applied to a conjugate gradient method used to solve structured sparse linear systems arising from 2D or 3D elliptic prob...
Ivan Lirkov
ISSRE
2000
IEEE
14 years 2 months ago
How to Measure the Impact of Specific Development Practices on Fielded Defect Density
This author has mathematically correlated specific developmentpractices to defect density andprobability of on time delivev. Thispaper summarizes the results of this ongoing study...
Ann Marie Neufelder
SIGCSE
1998
ACM
125views Education» more  SIGCSE 1998»
14 years 2 months ago
Providing intellectual focus to CS1/CS2
First-year computer science students need to see clearly that computer science as a discipline has an important intellectual role to play and that it offers deep philosophical que...
Timothy J. Long, Bruce W. Weide, Paolo Bucci, Davi...
INTERSENSE
2006
ACM
14 years 4 months ago
Particle-based methodology for representing mobile ad-hoc networks
—We present a methodology based on physics laws and particles in order to represent, simulate, and architect advanced networking models. We introduce a mathematical formalism wit...
Carlos J. Martinez, Marisa López, Luis C. E...