4666 search results - page 328 / 934 » Equations on Timed Languages |
163
click to vote
TACAS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
153
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
The system of equations that govern kinematically redundant manipulators is commonly solved by nding the singular value decomposition (SVD) of the corresponding Jacobian matrix. T...
174
click to vote
HPCC
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we present performance analysis of two NASA applications using performance tools like Tuning and Analysis Utilities (TAU) and SGI MPInside. MITgcmUV and OVERFLOW ar...
182
click to vote
MCM
2010
15 years 1 months ago
2010
We consider the electromagnetic detection of hidden moving or oscillating conductive targets. The resulting mathematical problem involves computation of a Doppler shift for an ele...
182
click to vote
GPCE
2007
Springer
16 years 28 days ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...