3009 search results - page 331 / 602 » The Expressive Rate of Constraints |
146
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
Three-dimensional direct numerical simulations are performed of turbulent combustion of initially spherical flame kernels. The chemistry is described by a progress variable which ...
185
click to vote
BIOCOMP
2007
15 years 8 months ago
2007
Background: Genetic regulatory networks (GRN) can be described by differential equations with SUM logic which has been found in many natural systems. Identification of the network...
204
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Time synchronization is an essential service in distributed computing and control systems. It is used to enable tasks such as synchronized data sampling and accurate time-offlight...
211
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The common utilization-based definition of available bandwidth and many of the existing tools to estimate it suffer from several important weaknesses: i) most tools report a point...
153
Voted
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....