output
20052011
most citedLarge-scale magnetic topologies of late M dwarfs

466 citations

researchers with a paper here
collaborating institutions
Showing 2010Show all

16 papers · 1 filter

cs.DC2010★ 2 cited

Correlated Resource Models of Internet End Hosts

Eric M. Heien, Derrick Kondo, Anderson David

Understanding and modelling resources of Internet end hosts is essential for the design of desktop software and Internet-distributed applications. In this paper we develop a correl…

cs.SE2010★ 7 cited

Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability

Meriem Ouederni, Gwen Salaün

One of the main open research issues in Service Oriented Computing is to propose automated techniques to analyse service interfaces. A first problem, called compatibility, aims at…

quant-ph2010

Partitioned quantum cellular automata are intrinsically universal

Pablo Arrighi, Jonathan Grattage

There have been several non-axiomatic approaches taken to define Quantum Cellular Automata (QCA). Partitioned QCA (PQCA) are the most canonical of these non-axiomatic definitions.…

cs.SE2010★ 9 cited

Analysis and Verification of Service Interaction Protocols - A Brief Survey

Gwen Salaün

Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and to…

cs.SE2010★ 1 cited

LinBox founding scope allocation, parallel building blocks, and separate compilation

Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet +1

To maximize efficiency in time and space, allocations and deallocations, in the exact linear algebra library \linbox, must always occur in the founding scope. This provides a simpl…

cs.DB2010

On the Count of Trees

Everardo Barcenas, Pierre Geneves, Nabil Layaida +1

Regular tree grammars and regular path expressions constitute core constructs widely used in programming languages and type systems. Nevertheless, there has been little research so…