A reference string sampling method with dynamically changing parametersMINCER-DASZKIEWICZ, J; WEISS, Z.Performance evaluation. 1985, Vol 5, Num 4, pp 257-269, issn 0166-5316Article

Characterizing and reproducing working set sizes dynamicsDUTT, C. R; FERRARI, D.Performance evaluation. 1983, Vol 3, Num 3, pp 197-210, issn 0166-5316Article

The measurement of locality and the behavior of programsBUNT, R. B; MURPHY, J. M.Computer journal (Print). 1984, Vol 27, Num 3, pp 238-245, issn 0010-4620Article

Cheap dynamic instruction countingWEINBERGER, P. J.AT&T Bell Laboratories technical journal. 1984, Vol 63, Num 8, pp 1815-1826, 2Article

Varieties of weakest liberal preconditionsMORRIS, J. M.Information processing letters. 1987, Vol 25, Num 3, pp 207-210, issn 0020-0190Article

Some empirical observations on program behavior with applications to program restructuringPEACHEY, J. B; BUNT, R. B; COLBOURN, C. J et al.IEEE transactions on software engineering. 1985, Vol 11, Num 2, pp 188-193, issn 0098-5589Article

Functional behavior of nondeterministic and concurrent programsMAIN, M. G; BENSON, D. B.Information and control. 1984, Vol 62, Num 2-3, pp 144-189, issn 0019-9958Article

Cascade : C assertion checker and deductive engineSETHI, Nikhil; BARRETT, Clark.Lecture notes in computer science. 2006, pp 166-169, issn 0302-9743, isbn 3-540-37406-X, 1Vol, 4 p.Conference Paper

Performance visualization for parallel programsLUSK, E.Theoretica chimica acta. 1993, Vol 84, Num 4-5, pp 377-384, issn 0040-5744Conference Paper

«Semi-commutations et reconnaissabilité» = «Semi-commutations and recognizability»Wacrenier, Pierre-André; Latteux, Michel.1993, 130 p.Thesis

Notes on nondeterminism in message passing programsKRANZLMÜLLER, Dieter; SCHULZ, Martin.Lecture notes in computer science. 2002, pp 357-367, issn 0302-9743, isbn 3-540-44296-0, 11 p.Conference Paper

Full abstraction for a shared-variable parallel languageBROOKES, S.Information and computation (Print). 1996, Vol 127, Num 2, pp 145-163, issn 0890-5401Conference Paper

Réexécution et analyse de la dynamique des programmes répartis = Tools for reproducing and analyzing dynamical aspects of distributed programsHurfin, Michel; Raynal, Michel.1993, 161 p.Thesis

Dynamic dictionary-based data compression for level-1 cachesKERAMIDAS, Georgios; AISOPOS, Konstantinos; KAXIRAS, Stefanos et al.Lecture notes in computer science. 2006, pp 114-129, issn 0302-9743, isbn 3-540-32765-7, 1Vol, 16 p.Conference Paper

Etude et optimisation du comportement des programmes numériques sur les caches = Study and optimization of numerical codes cache behaviorTemam, Olivier; Jalby, William.1993, 183 p.Thesis

Types and effects for non-interfering program monitorsBAUER, Lujo; LIGATTI, Jarred; WALKER, David et al.Lecture notes in computer science. 2003, pp 154-171, issn 0302-9743, isbn 3-540-00708-3, 18 p.Conference Paper

«Interprétation abstraite en programmation logique avec contraintes» = «Abstract interpretation in constraint logic programming»Lecoutre, Christophe; Delahaye, Jean Paul.1994, 257 p.Thesis

On models for propositional dynamic logicKNIJNENBURG, P. M. W; VAN LEEUWEN, J.Theoretical computer science. 1991, Vol 91, Num 2, pp 181-203, issn 0304-3975Article

An executable language for modeling simple behaviorLEE, S; SLUIZER, S.IEEE transactions on software engineering. 1991, Vol 17, Num 6, pp 527-543, issn 0098-5589Article

Automated verification of behavioural properties of prolog programsLE CHARLIER, B; LECLERE, C; ROSSI, S et al.Lecture notes in computer science. 1997, pp 225-238, issn 0302-9743, isbn 3-540-63875-XConference Paper

Propriétés des programmes parallèles = Parallel programs propertiesBouabdallah, Ahmed; Trehel, Michel.1993, 183 p.Thesis

An automata theoretic decision procedure for the propositional mu-calculusSTREETT, R. S; EMERSON, E. A.Information and computation (Print). 1989, Vol 81, Num 3, pp 249-264, issn 0890-5401Article

Determinism and looping in combinatory PDLGARGOV, G; PASSY, S.Theoretical computer science. 1988, Vol 61, Num 2-3, pp 259-277, issn 0304-3975Article

A proof system for distributed processesSOBEL, A. E. K; SOUNDARARAJAN, N.Acta informatica. 1988, Vol 25, Num 3, pp 305-332, issn 0001-5903Article

Modeling and simulating time-cost behavior of data flow programsQIN, B; AMMAR, R. A; SHOLL, H. A et al.International journal of mini & microcomputers. 1991, Vol 13, Num 1, pp 12-30, issn 0702-0481Article