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

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

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

«Semi-commutations et reconnaissabilité» = «Semi-commutations and recognizability»Wacrenier, Pierre-André; Latteux, Michel.1993, 130 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

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

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

Automated program recognition : a feasibility demonstrationWILLS, L. M.Artificial intelligence. 1990, Vol 45, Num 1-2, pp 113-171, issn 0004-3702, 59 p.Article

Predictor VirtualizationBURCEA, Ioana; SOMOGYI, Stephen; MOSHOVOS, Andreas et al.Operating systems review. 2008, Vol 42, Num 2, pp 157-167, issn 0163-5980, 11 p.Conference Paper

Model based diagnosis and contexts in self adaptive softwareROBERTSON, Paul; LADDAGA, Robert.Lecture notes in computer science. 2005, pp 112-127, issn 0302-9743, isbn 3-540-26009-9, 16 p.Conference Paper

Using simulated execution in verifying distributed algorithmsTOH NE WIN; ERNST, Michael D; GARLAND, Stephen J et al.International journal on software tools for technology transfer (Print). 2004, Vol 6, Num 1, pp 67-76, issn 1433-2779, 10 p.Conference Paper

Reuse distance-based cache hint selectionBEYLS, Kristof; D'HOLLANDER, Erik H.Lecture notes in computer science. 2002, pp 265-274, issn 0302-9743, isbn 3-540-44049-6, 10 p.Conference Paper

A new view of intellectual property and softwareDAVIS, R; SAMUELSON, P; KAPOR, M et al.Communications of the ACM. 1996, Vol 39, Num 3, pp 21-30, issn 0001-0782Article