User contributions
From WeizmannWiki
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 13:42, 18 October 2010 (diff | hist) . . (+22) . . PlayGo
- 13:38, 18 October 2010 (diff | hist) . . (-25) . . The LSC Compiler
- 13:32, 18 October 2010 (diff | hist) . . (+53) . . N C. elegans (C. elegans moved to Tracer's gellary: C. elegans case study) (current)
- 13:32, 18 October 2010 (diff | hist) . . (0) . . m Tracer's gellary: C. elegans case study (C. elegans moved to Tracer's gellary: C. elegans case study) (current)
- 13:31, 18 October 2010 (diff | hist) . . (+58) . . N Tracer's gellary: RSS news ticker case study (Tracer's gellary: RSS news ticker case study moved to Tracer's gallery: RSS news ticker case study) (current)
- 13:31, 18 October 2010 (diff | hist) . . (0) . . m Tracer's gallery: RSS news ticker case study (Tracer's gellary: RSS news ticker case study moved to Tracer's gallery: RSS news ticker case study) (current)
- 13:30, 18 October 2010 (diff | hist) . . (+58) . . N RSS news ticker (RSS news ticker moved to Tracer's gellary: RSS news ticker case study)
- 13:30, 18 October 2010 (diff | hist) . . (0) . . m Tracer's gallery: RSS news ticker case study (RSS news ticker moved to Tracer's gellary: RSS news ticker case study)
- 13:30, 18 October 2010 (diff | hist) . . (+53) . . N Smartphone (Smartphone moved to Tracer's gellary: smartphone case study) (current)
- 13:30, 18 October 2010 (diff | hist) . . (0) . . m Tracer's gellary: smartphone case study (Smartphone moved to Tracer's gellary: smartphone case study) (current)
- 13:28, 18 October 2010 (diff | hist) . . (+1) . . Tracer's gellary: C. elegans case study
- 13:28, 18 October 2010 (diff | hist) . . (-3) . . Tracer's gellary: C. elegans case study
- 13:27, 18 October 2010 (diff | hist) . . (+64) . . N File:Tracer-celegans-comparingtraces.PNG (Trace comparison in the Tracer showing the c. elegans case study) (current)
- 13:27, 18 October 2010 (diff | hist) . . (+70) . . N File:Tracer-celegans-mainviewandoverview.PNG (Main view and overview of the Tracer showing the c. elegans case study) (current)
- 13:26, 18 October 2010 (diff | hist) . . (+1,940) . . N Tracer's gellary: C. elegans case study (New page: We have used the Tracer to visualize and explore different execution traces of the biological system model described in Kam, N., Harel, D., Kugler, H., Marelly, R., Pnueli, A., Hubbard...)
- 13:23, 18 October 2010 (diff | hist) . . (+84) . . N File:Tracer-newsticker-verticalfiltersandmetrics.PNG (Vertical filters and metrics view from the Tracer showing the News Ticker case study) (current)
- 13:22, 18 October 2010 (diff | hist) . . (+60) . . N File:Tracer-newsticker-mainview.PNG (Main view from the Tracer showing the News Ticker case study) (current)
- 13:22, 18 October 2010 (diff | hist) . . (+1,777) . . N Tracer's gallery: RSS news ticker case study (New page: We have used the Tracer to visualize some execution traces of an RSS News Ticker application, previously developed as an example case study for scenario-based execution using the [[S2A...)
- 13:18, 18 October 2010 (diff | hist) . . (+77) . . N File:Tracer-smartphone-comparingglobalcuts.PNG (Global cuts comparison screen capture from the Tracer's smartphone case study) (current)
- 13:17, 18 October 2010 (diff | hist) . . (+71) . . N File:Tracer-smartphone-verticalfilters.PNG (Vertical filters screen capture from the Tracer's smartphone case study) (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)