57 search results - page 4 / 12 » Using Controller-Synthesis Techniques to Build Property-Enfo... |
ICSE
2001
IEEE-ACM
13 years 10 months ago
2001
IEEE-ACM
Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and unde...
BMCBI
2007
13 years 5 months ago
2007
Background: Combinatorial complexity is a challenging problem in detailed and mechanistic mathematical modeling of signal transduction. This subject has been discussed intensively...
VEE
2012
ACM
12 years 1 months ago
2012
ACM
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...
PEWASUN
2006
ACM
13 years 11 months ago
2006
ACM
In wireless network planning, much effort is spent on the improvement of the network and transport layer – especially for Mobile Ad Hoc Networks. Although in principle realworl...
NN
2008
Springer
13 years 5 months ago
2008
Springer
Reservoir Computing (RC) techniques use a fixed (usually randomly created) recurrent neural network, or more generally any dynamic system, which operates at the edge of stability,...