Coordination models and languagese (Namur, 20-23 April 2005)Jacquet, Jean-Marie; Picco, Gian Pietro.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25630-X, X, 297 p, isbn 3-540-25630-XConference Proceedings

CC 2005 : compiler construction (Edinburgh, 4-8 April 2005)Bodik, Rastislav.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25411-0, XI, 304 p, isbn 3-540-25411-0Conference Proceedings

Programming languages and systems (Edinburgh, 4-8 April 2005)Sagiv, Mooly.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25435-8, XIII, 438 p, isbn 3-540-25435-8Conference Proceedings

Interprocedural herbrand equalitiesMÜLLER-OLM, Markus; SEIDL, Helmut; STEFFEN, Bernhard et al.Lecture notes in computer science. 2005, pp 31-45, issn 0302-9743, isbn 3-540-25435-8, 15 p.Conference Paper

On the expressiveness of absolute-time coordination languagesLINDEN, I; JACQUET, J.-M.Lecture notes in computer science. 2004, pp 232-247, issn 0302-9743, isbn 3-540-21044-X, 16 p.Conference Paper

A rule language for interactionCASTRO, Carlos; MONFROY, Eric; RINGEISSEN, Christophe et al.Lecture notes in computer science. 2004, pp 154-170, issn 0302-9743, isbn 3-540-21834-3, 17 p.Conference Paper

Age-oriented concurrent garbage collectionPAZ, Harel; PETRANK, Erez; BLACKBURN, Stephen M et al.Lecture notes in computer science. 2005, pp 121-136, issn 0302-9743, isbn 3-540-25411-0, 16 p.Conference Paper

Experiences with enumeration of integer projections of parametric polytopesVERDOOLAEGE, Sven; BEYLS, Kristof; BRUYNOOGHE, Maurice et al.Lecture notes in computer science. 2005, pp 91-105, issn 0302-9743, isbn 3-540-25411-0, 15 p.Conference Paper

BI hyperdoctrines and higher-order separation logicBIERING, Bodil; BIRKEDAL, Lars; TORP-SMITH, Noah et al.Lecture notes in computer science. 2005, pp 233-247, issn 0302-9743, isbn 3-540-25435-8, 15 p.Conference Paper

Deciding reachability in mobile ambientsBUSI, Nadia; ZAVATTARO, Gianluigi.Lecture notes in computer science. 2005, pp 248-262, issn 0302-9743, isbn 3-540-25435-8, 15 p.Conference Paper

Generalized index-set splittingBARTON, Christopher; TAL, Arie; BLAINEY, Bob et al.Lecture notes in computer science. 2005, pp 106-120, issn 0302-9743, isbn 3-540-25411-0, 15 p.Conference Paper

Analysis of modular arithmeticMÜLLER-OLM, Markus; SEIDL, Helmut.Lecture notes in computer science. 2005, pp 46-60, issn 0302-9743, isbn 3-540-25435-8, 15 p.Conference Paper

Tiger : An interpreter generation toolCASEY, Kevin; GREGG, David; ERTL, M. Anton et al.Lecture notes in computer science. 2005, pp 246-249, issn 0302-9743, isbn 3-540-25411-0, 4 p.Conference Paper

Trace partitioning in abstract interpretation based static analyzersMAUBORGNE, Laurent; RIVAL, Xavier.Lecture notes in computer science. 2005, pp 5-20, issn 0302-9743, isbn 3-540-25435-8, 16 p.Conference Paper

Coordinating web services using channel based communicationLEMNIOTES, Theophilos; PAPADOPOULOS, George A; ARBAB, Farhad et al.Annual international computer software and applications conference. 2004, isbn 0-7695-2209-2, 2Vol, vol1, 486-491Conference Paper

Reasoning about connector reconfiguration I: Equivalence of constructionsCLARKE, Dave.Report - Software engineering. 2005, Num 06, pp 1-14, issn 1386-369X, 14 p.Article

Boosting the performance of multimedia applications using SIMD instructionsWEIHUA JIANG; CHAO MEI; BO HUANG et al.Lecture notes in computer science. 2005, pp 59-75, issn 0302-9743, isbn 3-540-25411-0, 17 p.Conference Paper

A correct abstract machine for safe ambientsHIRSCHKOFF, Daniel; POUS, Damien; SANGIORGI, Davide et al.Lecture notes in computer science. 2005, pp 17-32, issn 0302-9743, isbn 3-540-25630-X, 16 p.Conference Paper

Organizing a Fishnet StructureSCHATTEN, Markus; ZUGAJ, Miroslav.Information technology interfaces. 2007, pp 81-86, isbn 978-953-7138-09-7, 1Vol, 6 p.Conference Paper

Jazz : A tool for demand-driven structural testingMISURDA, Jonathan; CLAUSE, Jim; REED, Juliya et al.Lecture notes in computer science. 2005, pp 242-245, issn 0302-9743, isbn 3-540-25411-0, 4 p.Conference Paper

Preserving architectural properties in multithreaded code generationBERNARDO, Marco; BONTA, Edoardo.Lecture notes in computer science. 2005, pp 188-203, issn 0302-9743, isbn 3-540-25630-X, 16 p.Conference Paper

A process calculus for QoS-aware applicationsDE NICOLA, Rocco; FERRARI, Gianluigi; MONTANARI, Ugo et al.Lecture notes in computer science. 2005, pp 33-48, issn 0302-9743, isbn 3-540-25630-X, 16 p.Conference Paper

Delegation modeling with paradigmGROENEWEGEN, Luuk; VAN KAMPENHOUT, Niels; DE VINK, Erik et al.Lecture notes in computer science. 2005, pp 94-108, issn 0302-9743, isbn 3-540-25630-X, 15 p.Conference Paper

Subtyping fFirst-class polymorphic componentsSECO, Joao Costa; CAIRES, Luis.Lecture notes in computer science. 2005, pp 342-356, issn 0302-9743, isbn 3-540-25435-8, 15 p.Conference Paper

Time-aware coordination in ReSpecTOMICINI, Andrea; RICCI, Alessandro; VIROLI, Mirko et al.Lecture notes in computer science. 2005, pp 268-282, issn 0302-9743, isbn 3-540-25630-X, 15 p.Conference Paper