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) . . (0) . . m Tracer's gellary: C. elegans case study (C. elegans moved to Tracer's gellary: C. elegans case study) (current)
- 13:32, 18 October 2010 (diff | hist) . . (+53) . . N C. elegans (C. elegans moved to Tracer's gellary: C. elegans 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: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: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) . . (+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) . . (+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)
- 13:16, 18 October 2010 (diff | hist) . . (+62) . . N File:Tracer-smartphone-mainviewandoverview.PNG (Main view and overview from the Tracer's smartphone case study) (current)
- 13:16, 18 October 2010 (diff | hist) . . (+229) . . Tracer's gellary: smartphone case study
- 12:07, 18 October 2010 (diff | hist) . . (+1,407) . . N Tracer's gellary: smartphone case study (New page: In recent work by Maoz, Metsä, and Katara (MoDELS'09), a modified version of the S2A compiler, which generates AspectC++ code rather than AspectJ code, was used to execute and monitor sce...)
- 11:50, 18 October 2010 (diff | hist) . . (+6) . . Tracer's gallery: PacMan game (current)
- 11:50, 18 October 2010 (diff | hist) . . (+72) . . N File:Eventnormalized.PNG (Event normalized view screen capture from the Tracer's PacMan case study) (current)
- 11:49, 18 October 2010 (diff | hist) . . (+73) . . N File:Completioninfo.PNG (Completion information screen capture from the Tracer's PacMan case study) (current)
- 11:49, 18 October 2010 (diff | hist) . . (+63) . . N File:Comparemainview.PNG (Compare view screen capture from the Tracer's PacMan case study) (current)
- 11:48, 18 October 2010 (diff | hist) . . (+63) . . N File:Multiplicity.PNG (Multiplicity screen capture from the Tracer's PacMan case study) (current)
- 11:48, 18 October 2010 (diff | hist) . . (+58) . . N File:Filters.PNG (Filters screen capture from the Tracer's PacMan case study) (current)
- 11:47, 18 October 2010 (diff | hist) . . (+33) . . Tracer's gallery: PacMan game
- 11:45, 18 October 2010 (diff | hist) . . (+74) . . N File:Mainviewandoverview.PNG (Main view and overview screen capture from the Tracer's PacMan case study.) (current)
- 11:35, 18 October 2010 (diff | hist) . . (+539) . . N Tracer's gallery: PacMan game (New page: The scenario-based execution traces for the examples below were generated for the Tracer using the S2A compiler. The program traced for the examples below is adopted from a public...)
- 11:32, 18 October 2010 (diff | hist) . . (+30) . . Tracer's gallery (current)
- 09:29, 18 October 2010 (diff | hist) . . (0) . . Live sequence charts
- 21:04, 17 October 2010 (diff | hist) . . (+526) . . N PacMan game (New page: The scenario-based execution traces for the examples below were generated for the Tracer using the S2A compiler. The program traced for the examples below is adopted from a public...) (current)
- 20:58, 17 October 2010 (diff | hist) . . (+242) . . N Tracer's gallery (New page: This page provides links to screen captures of the Tracer, from several case study applications: * PacMan game * Smartphone, scenario-based testing of a Nokia smartphone * [[R...)
- 20:52, 17 October 2010 (diff | hist) . . (+36) . . The Tracer
- 20:51, 17 October 2010 (diff | hist) . . (+4) . . The Tracer
- 20:50, 17 October 2010 (diff | hist) . . (+1,846) . . The Tracer
- 20:34, 17 October 2010 (diff | hist) . . (-38) . . PlayGo
- 20:32, 17 October 2010 (diff | hist) . . (+1,586) . . Live sequence charts
- 20:17, 17 October 2010 (diff | hist) . . (+75) . . Live sequence charts
- 20:15, 17 October 2010 (diff | hist) . . (+1,177) . . N Live sequence charts (New page: Live sequence charts (LSC) constitute a visual formalism for inter-object scenario-based speci�cation and programming, which extends the partial-order semantics of classical message sequ...)
- 20:06, 17 October 2010 (diff | hist) . . (+377) . . The LSC Compiler (→References)
- 19:57, 17 October 2010 (diff | hist) . . (0) . . The LSC Compiler
- 02:54, 5 September 2010 (diff | hist) . . (0) . . The LSC Compiler (→References)
- 02:54, 5 September 2010 (diff | hist) . . (+92) . . The LSC Compiler
- 20:21, 4 September 2010 (diff | hist) . . (+6) . . PlayGo (→Related Tools)
- 20:20, 4 September 2010 (diff | hist) . . (+184) . . The LSC Compiler (→References)
- 20:15, 4 September 2010 (diff | hist) . . (+3) . . The Tracer (→References)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
