Searching for "Calysto scalable and precise extended static checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Calysto: Scalable and Precise Extended Static Checking ∗ ABSTRACT
by Domagoj Babić
…Calysto: Scalable and Precise Extended Static Checking ∗ ABSTRACT Domagoj Babić Department…
Cited by 2 (0 self) – Add To MetaCart

Implicit Sleep Mode Determination in Power Management of Event-driven Deeply Embedded Systems........................................................................................ 37
by Hartmut Ritter, Kirsten Terfloth, Georg Wittenburg, Jochen Schiller (hrsg, Gi/itg Kuvs Fachgespräch, Drahtlose Sensornetze, Freie Universität, Freie Universität Berlin, Drahtlose Sensornetze, R. Sasnauskas, J. Á. Bitsch Link, M. H. Alizai, K. Wehrle, M. Stemick, A. Boah, H. Rohling, M. Baar, H. Will, J. Schiller, A. Dunkels, A. Reinhardt, M. Hollick, R. Steinmetz, Ch. Weyer, S. Unterschütz, V. Turau, M. H. Alizai, K. Wehrle, A. Becher, A. Sieber, K. Walther, R. Karnapke, A. Lagemann, J. Nolte — 2008
… platforms. 7. REFERENCES [1] D. Babic and A. J. Hu. Calysto: scalable and precise extended static checking…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB