1154 search results - page 188 / 231 » Mathematizing C concurrency |
TSMC
2010
13 years 3 months ago
2010
There exists a widely recognized need to better understand and manage complex "systems of systems," ranging from biology, ecology, and medicine to network-centric technol...
SIAMAM
2011
13 years 3 months ago
2011
The coupling between cardiac mechanics and electric signaling is addressed in a nonstandard framework in which the electrical potential dictates the active strain (not stress) of t...
IPSN
2011
Springer
13 years 13 days ago
2011
Springer
This paper presents results from experiments, mathematical analysis, and simulations of a network of static and mobile sensors for detecting threats on city streets and in open ar...
JOTA
2011
12 years 12 months ago
2011
Given an algorithm A for solving some mathematical problem based on the iterative solution of simpler subproblems, an Outer Trust-Region (OTR) modification of A is the result of ...
SIAMMAX
2011
12 years 12 months ago
2011
A sufficient condition for the convexity of a finite product of positive definite quadratic forms is given in terms of the condition numbers of the underlying matrices. When only...