307 search results - page 8 / 62 » Analysis of Hybrid Systems Using HySAT |
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
PLDI
2012
ACM
11 years 10 months ago
2012
ACM
Chimera1 uses a new hybrid program analysis to provide deterministic replay for commodity multiprocessor systems. Chimera leverages the insight that it is easy to provide determin...
TC
2011
13 years 2 months ago
2011
—Single and double scalar multiplications are the most computational intensive operations in elliptic curve based cryptosystems. Improving the performance of these operations is ...
TWC
2010
13 years 2 months ago
2010
Wideband source localization using acoustic sensor networks has been drawing a lot of research interest recently in wireless communication applications, such as cellular handset lo...
HYBRID
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Biological systems involving genetic reactions are large discrete event systems, and often contain certain species that occur in small quantities, and others that occur i...