Conference , Workshops Proceedings

Equisolvability of Series vs. Controller's ...

Yevtushenko, N., Villa, T., Petrenko, A. and Sangiovanni-Vincentelli, A. "Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations" in Proceedings of the IEEE/ACM 11th International Workshop on Logic & Synthesis (IWLS'02), pp. 45-50. LA, New Orleans, USA
[Full text]

  • LLNL Computation RT @Livermore_Comp: 7th Annual ESGF Conference participants, including several familiar faces from @Livermore_Comp Congras on their recent…
  • LLNL Computation RT @Livermore_Comp: The annual #ESGF conference highlights important work from LLNL’s international collaborators, like the Computer Resear…