|
|
|
@3435
|
6 years |
campbell |
Revise section 4.4.
|
|
|
|
@3434
|
6 years |
campbell |
Section 4.3 revised.
|
|
|
|
@3433
|
6 years |
campbell |
Revise sections 4.1, 4.2.
|
|
|
|
@3432
|
6 years |
campbell |
Consistently use ll spelling of labelled/labelling.
|
|
|
|
@3431
|
6 years |
campbell |
Note the specification language in Sec 3.
|
|
|
|
@3430
|
6 years |
campbell |
Revisions up to the end of section 3.
|
|
|
|
@3429
|
6 years |
campbell |
Adjust figure formatting to fit in page without being unreadable.
|
|
|
|
@3428
|
6 years |
campbell |
More minor stuff.
|
|
|
|
@3427
|
6 years |
campbell |
Make example clearer for readers in black and white.
|
|
|
|
@3426
|
6 years |
campbell |
Clarify WCET state-of-the-art citation.
|
|
|
|
@3425
|
6 years |
campbell |
Rearrange section 4
|
|
|
|
@3424
|
6 years |
campbell |
Minor edits to section 4.
|
|
|
|
@3423
|
6 years |
campbell |
Note for appendix.
|
|
|
|
@3422
|
6 years |
campbell |
Basic restructuring of section 2.
|
|
|
|
@3421
|
6 years |
campbell |
Note parametric example for appendix
|
|
|
|
@3420
|
6 years |
campbell |
Parametric example for FOPARA.
|
|
|
|
@3419
|
6 years |
campbell |
Tweak abstract.
|
|
|
|
@3418
|
6 years |
campbell |
Move preproceedings version of FOPARA paper aside.
|
|
|
|
@3417
|
6 years |
campbell |
Many of the minor reviewer comments about FOPARA paper.
|
|
|
|
@3369
|
7 years |
sacerdot |
submitted
|
|
|
|
@3368
|
7 years |
sacerdot |
..
|
|
|
|
@3367
|
7 years |
tranquil |
…
|
|
|
|
@3366
|
7 years |
tranquil |
…
|
|
|
|
@3360
|
7 years |
tranquil |
aggiustate le figure
|
|
|
|
@3359
|
7 years |
tranquil |
recuperato un po' della formalizzazione, ancora in fondo.
|
|
|
|
@3358
|
7 years |
sacerdot |
…
|
|
|
|
@3357
|
7 years |
sacerdot |
…
|
|
|
|
@3356
|
7 years |
sacerdot |
…
|
|
|
|
@3355
|
7 years |
sacerdot |
…
|
|
|
|
@3351
|
7 years |
sacerdot |
…
|
|
|
|
@3350
|
7 years |
sacerdot |
…
|
|
|
|
@3349
|
7 years |
tranquil |
statements
|
|
|
|
@3348
|
7 years |
tranquil |
ipotesi della forward simulation
|
|
|
|
@3347
|
7 years |
tranquil |
andato avanti…
|
|
|
|
@3346
|
7 years |
sacerdot |
…
|
|
|
|
@3345
|
7 years |
sacerdot |
…
|
|
|
|
@3344
|
7 years |
sacerdot |
…
|
|
|
|
@3343
|
7 years |
tranquil |
file parallelo
|
|
|
|
@3340
|
7 years |
sacerdot |
Final version
|
|
|
|
@3339
|
7 years |
tranquil |
passed biblio to bibtex, and some aesthetical changes
|
|
|
|
@3337
|
7 years |
mulligan |
Final changes
|
|
|
|
@3336
|
7 years |
mulligan |
80% done, synch. commit
|
|
|
|
@3335
|
7 years |
amadio |
rob
|
|
|
|
@3334
|
7 years |
mulligan |
About half way through
|
|
|
|
@3333
|
7 years |
Ian Stark |
Edinburgh institution title
|
|
|
|
@3332
|
7 years |
sacerdot |
+Randy
|
|
|
|
@3331
|
7 years |
mulligan |
Some changes to the English in the abstract. e.g. loosing -> losing
|
|
|
|
@3330
|
7 years |
piccolo |
|
|
|
|
@3329
|
7 years |
tranquil |
passed the spell checker
|
|
|
|
@3328
|
7 years |
tranquil |
cut some text, reordered bibliography
|
|
|
|
@3327
|
7 years |
tranquil |
static word wrap
|
|
|
|
@3326
|
7 years |
piccolo |
|
|
|
|
@3325
|
7 years |
piccolo |
|
|
|
|
@3324
|
7 years |
piccolo |
bibliography added
|
|
|
|
@3323
|
7 years |
piccolo |
citazioni
|
|
|
|
@3322
|
7 years |
sacerdot |
Down to 17 pages, ugh.
|
|
|
|
@3321
|
7 years |
sacerdot |
…
|
|
|
|
@3320
|
7 years |
sacerdot |
…
|
|
|
|
@3319
|
7 years |
tranquil |
added some more text describing the output pf the cost plugin
|
|
|
|
@3318
|
7 years |
sacerdot |
…
|
|
|
|
@3317
|
7 years |
tranquil |
moved workflow figure and added a descriptive text
|
|
|
|
@3316
|
7 years |
sacerdot |
Short future works section.
|
|
|
|
@3315
|
7 years |
sacerdot |
…
|
|
|
|
@3314
|
7 years |
sacerdot |
Text shortened.
|
|
|
|
@3313
|
7 years |
tranquil |
redrawn fork flow in tikz, adding the cost plugin
|
|
|
|
@3312
|
7 years |
sacerdot |
…
|
|
|
|
@3311
|
7 years |
sacerdot |
…
|
|
|
|
@3310
|
7 years |
sacerdot |
An example.
|
|
|
|
@3309
|
7 years |
sacerdot |
An abstract.
|
|
|
|
@3308
|
7 years |
sacerdot |
Authors and affiliations
|
|
|
|
@3307
|
7 years |
sacerdot |
Importing text from D1.4.
|
|
|
|
@3306
|
7 years |
tranquil |
altre modifiche e qualche taglio (i risultati per tll e tal)
|
|
|
|
@3305
|
7 years |
tranquil |
messo qualche figura, e molte notazioni
|
|
|
|
@3222
|
7 years |
tranquil |
added pages to included papers. final version.
|
|
|
|
@3213
|
7 years |
tranquil |
summary for D4.4, and other modifications
|
|
|
|
@2637
|
7 years |
sacerdot |
…
|
|
|
|
@2635
|
7 years |
sacerdot |
…
|
|
|
|
@2634
|
7 years |
sacerdot |
…
|
|
|
|
@2633
|
7 years |
sacerdot |
…
|
|
|
|
@2632
|
7 years |
sacerdot |
…
|
|
|
|
@2631
|
7 years |
sacerdot |
…
|
|
|
|
@2630
|
7 years |
sacerdot |
…
|
|
|
|
@2629
|
7 years |
sacerdot |
…
|
|
|
|
@2628
|
7 years |
sacerdot |
…
|
|
|
|
@2627
|
7 years |
sacerdot |
…
|
|
|
|
@2626
|
7 years |
sacerdot |
…
|
|
|
|
@2625
|
7 years |
sacerdot |
…
|
|
|
|
@2622
|
7 years |
sacerdot |
…
|
|
|
|
@2621
|
7 years |
sacerdot |
…
|
|
|
|
@2616
|
7 years |
sacerdot |
…
|
|
|
|
@2615
|
7 years |
sacerdot |
…
|
|
|
|
@2614
|
7 years |
sacerdot |
…
|
|
|
|
@2613
|
7 years |
sacerdot |
…
|
|
|
|
@2612
|
7 years |
sacerdot |
…
|
|
|
|
@2611
|
7 years |
sacerdot |
…
|
|
|
|
@2610
|
7 years |
sacerdot |
…
|
|
|
|
@2609
|
7 years |
sacerdot |
Bibliography in place.
|
|
|
|
@2607
|
7 years |
sacerdot |
authors fixed
|
|
|
|
@2606
|
7 years |
sacerdot |
conclusions
|
|
|
|
@2605
|
7 years |
sacerdot |
A tentative submission to itp-2013.
We will probably not submit the …
|
|
|
|
