4426 articles – 2353 Notices  [english version]
.:. Consultation > Liste par type de document > Articles dans des revues avec comité de lecture .:.
1178 documents classés par :
Première Page Page Précédente 1 - 2 - 3 - 4 - 5 - 6 - 7 ... Page Suivante Page Finale
Building Actions From Classification Rules
Trépos R., Salleb-Aouissi A., Cordier M.-O., Masson V., Gascuel-Odoux C.
Knowledge and Information Systems (KAIS) journal 34, 2 (2013) 267-298 [hal-00649388 - version 1]
Évaluation de politiques d'adaptation au risque de collisions dans un consensus de type " Fast Paxos "
Moise I., Hurfin M., Le Narzul J.-P., Majorczyk F.
Technique et Science Informatiques (TSI) 31, 8-9-10 (2012) 1301-1325 [hal-00765487 - version 1]
FAMILIAR: A Domain-Specific Language for Large Scale Management of Feature Models
Acher M., Collet P., Lahire P., France R.
Science of Computer Programming (2012) [hal-00767175 - version 1]
Évaluation de la précision en virgule fixe dans le cas des structures conditionnelles
Jean Charles N., Menard D., Sentieys O.
Techniques et Sciences Informatiques (2012) [hal-00743415 - version 1]
A Discrete Model for Correlation Between Quantization Noises
Jean Charles N., Menard D., Caffarena G., Sentieys O.
IEEE Transactions on Circuits and Systems. Part II, Express Briefs (2012) [hal-00743413 - version 1]
Location-Aware Routing for Service-Oriented Opportunistic Computing
Le Sommer N., Mahéo Y.
International Journal on Advances in Network and Services 5, 3&4 (2012) - [hal-00766330 - version 1]
Spatial and Spectral Morphological Template Matching
Weber J., Lefèvre S.
Image and Vision Computing 30, 12 (2012) 934-945 [hal-00761281 - version 1]
Optimal preventive and corrective maintenance for equipments with Erlangian life-time distribution
Marie R. A.
International Journal of Logistics Systems and Management (2012) [hal-00756903 - version 1]
Correspond​ence map-aided neighbor embedding for image intra prediction
Cherigui S., Guillemot C., Thoreau D., Guillotel P., Perez P.
IEEE Transaction on Image Processing, 2012 (2012) [hal-00755762 - version 1]
fulltext accessible on an other server CyanoLyase: a database of phycobilin lyase sequences, motifs and functions.
Bretaudeau A., Coste F., Humily F., Garczarek L., Le Corguillé G., Six C., Ratin M., Collin O., Schluchter W. M., Partensky F.
Nucleic Acids Research (2012) epub ahead of print [hal-00760946 - version 1]
fulltext access Enhancing audiovisual experience with haptic feedback: a survey on HAV
Danieau F., Lécuyer A., Guillotel P., Fleureau J., Mollet N., Christie M.
Transactions on Haptics (2012) [hal-00766259 - version 1]
An efficient Framework for Power Aware Design of Heterogeneous MPSoC
Ben Atitallah R., Senn E., Chillet D., Lanoe M., Blouin D.
IEEE Transation on Industrial Informatics (2012) [hal-00741613 - version 1]
fulltext access Well-posedness of the permutation problem in sparse filter estimation with lp minimization
Benichoux A., Sudhakar P., Bimbot F., Gribonval R.
Applied and Computational Harmonic Analysis (2012) 20 [hal-00767139 - version 1]
Cellular-based Machine-to-Machine (M2M): Overload Control
Ksentini A., Hadjadj-Aoul Y., Taleb T.
IEEE Network (2012) [hal-00756977 - version 1]
fulltext accessible on an other server Genome scans reveal candidate regions involved in the adaptation to host plant in the pea aphid complex.
Jaquiéry J., Stoeckel S., Nouhaud P., Mieuzet L., Mahéo F., Legeai F., Bernard N., Bonvoisin A., Vitalis R., Simon J.-C.
Molecular Ecology 21, 21 (2012) 5251-64 [hal-00753439 - version 1]
fulltext access Optimal DALI protein structure alignment
Wohlers I., Andonov R., Klau G. W.
IEEE/ACM Transactions on Computational Biology and Bioinformatics (2012) 20 [hal-00685824 - version 2]
fulltext access Kompren: Modeling and Generating Model Slicers
Blouin A., Combemale B., Baudry B., Beaudoux O.
Software and Systems Modeling (2012) [hal-00746566 - version 2]
When Self-Stabilization Meets Real Platforms: an Experimental Study of a Peer-to-Peer Service Discovery System
Caron E., Chuffart F., Tedeschi C.
Future Generation Computer Systems (2012) [hal-00762693 - version 1]
fulltext access Petri Net Reachability Graphs: Decidability Status of First Order Properties
Darondeau P., Demri S., Meyer R., Morvan C.
Logical Methods in Computer Science 8, 4:9 (2012) 1-28 [hal-00743935 - version 1]
fulltext access Bridging the Chasm Between MDE and the World of Compilation
Jézéquel J.-M., Combemale B., Derrien S., Guy C., Rajopadhye S.
Journal of Software and Systems Modeling (SoSyM) 11, 4 (2012) 581-597 [hal-00717219 - version 1]