A. Abrial, J. Bouvier, M. Renaudin, P. Senn, and P. Vivet, A new contactless smart card IC using an on-chip antenna and an asynchronous microcontroller. Solid-State Circuits, IEEE Journal, vol.36, issue.7, pp.1101-1107, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00009607

F. Aeschlimann, E. Allier, L. Fesquet, and M. Renaudin, Asynchronous FIR filters : towards a new digital processing chain. Asynchronous Circuits and Systems, Proceedings. 10th International Symposium on, pp.198-206, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00009570

F. Aeschlimann, E. Allier, L. Fesquet, and M. Renaudin, Etude spectrale de l'échantillonnage par traversée de niveaux, 2005.

E. Allier, G. Sicard, L. Fesquet, and M. Renaudin, A new class of asynchronous A/D converters based on time quantization. Asynchronous Circuits and Systems, Proceedings. Ninth International Symposium on, pp.196-205, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00009583

A. Bachir, D. Barthel, M. Heusse, A. Duda, R. D. et al., Micro-Frame Preamble MAC for Multihop Wireless Sensor Networks, 2006 IEEE International Conference on Communications, 2006.
DOI : 10.1109/ICC.2006.255236

E. Beigné and P. Vivet, Design of On-chip and Off-chip Interfaces for a GALS NoC Architecture, 12th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'06), pp.172-181, 2006.
DOI : 10.1109/ASYNC.2006.16

K. Van and B. , Beware the isochronic fork. Integration, the VLSI journal, pp.103-128, 1992.

K. V. Berkel, M. B. Josephs, and S. M. Nowick, Scanning the technology : Applications of asynchronous circuits, Proc. IEEE, pp.223-233, 1999.

P. Bonnet, J. Gehrke, and P. Seshadri, Querying the physical world, IEEE Personal Communications, vol.7, issue.5, pp.10-15, 2000.
DOI : 10.1109/98.878531

D. Borrione, M. Boubekeur, E. Dumitrescu, M. Renaudin, J. B. Rigaud et al., An approach to the introduction of formal validation in an asynchronous circuit design flow, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the, 2003.
DOI : 10.1109/HICSS.2003.1174811
URL : https://hal.archives-ouvertes.fr/hal-00009578

F. Bouesse, Contribution à la conception de circuits intégrés sécurisés : l'alternative asynchrone, 2005.

F. Bouesse, M. Renaudin, A. Witon, and F. Germain, A clock-less low-voltage aes crypto-processor, 16th European Solid-State Circuits Conference, pp.403-406, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00096996

J. G. Bredeson and P. T. Hulina, Elimination of static and dynamic hazards for multiple input changes in combinational switching circuits, Information and Control, vol.20, issue.2, pp.114-224, 1972.
DOI : 10.1016/S0019-9958(72)90299-9

E. Bruneton, T. Coupaye, and J. B. Stefani, The Fractal Component Model. Specification, 2004.

W. A. Clark, Macromodular computer systems, Proceedings of the April 18-20, 1967, spring joint computer conference on, AFIPS '67 (Spring), 1967.
DOI : 10.1145/1465482.1465536

C. Constantinescu, Trends and challenges in VLSI circuit reliability, IEEE Micro, vol.23, issue.4, pp.14-99, 2003.
DOI : 10.1109/MM.2003.1225959

J. Cortadella, Quasi-static scheduling for concurrent architectures, Third International Conference on Application of Concurrency to System Design, 2003. Proceedings., pp.171-196, 2004.
DOI : 10.1109/CSD.2003.1207697

A. L. Davis, The architecture and system method of DDM-1 : A recursively-structured data driven machine, Fifth Annual Symposium on Computer Architecture, 1978.

R. Denyer, VLSI Signal Processing : A Bit-serial Approach, 1985.

M. G. Di and . Benedetto, Uwb Communication Systems : A Comprehensive Overview, 2006.

A. Dinh-duc, L. Fesquet, and M. Renaudin, Synthesis of QDI asynchronous circuits from DTL-style petri nets, 11th IEEE/ACM International Workshop on Logic and Synthesis, 2002.

A. V. Dinh-duc, Synthèse automatique de circuits asynchrones QDI, 2003.

M. Dohler, D. Barthel, F. Maraninchi, L. Mounier, S. Aubert et al., The ARESA Project : Facilitating Research, Development and Commercialization of WSNs. Sensor, Mesh and Ad Hoc Communications and Networks, SE- CON'07. 4th Annual IEEE Communications Society Conference on, pp.590-599, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00294180

A. Dunkels, B. Gronvall, and T. Voigt, Contiki-a lightweight and flexible operating system for tiny networked sensors Local Computer Networks, Proceedings of the 29th Annual IEEE International Conference onLocal ComputerNetworks, p.462, 2004.

A. Dunkels, O. Schmidt, T. Voigt, and M. Ali, Protothreads, Proceedings of the 4th international conference on Embedded networked sensor systems , SenSys '06, pp.29-42, 2006.
DOI : 10.1145/1182807.1182811

V. Ekanayake, R. Iv-clinton-kelly, and . Manohar, An ultra low-power processor for sensor networks, ACM SIGARCH Computer Architecture News, vol.32, issue.5, pp.27-36, 2004.
DOI : 10.1145/1037947.1024397

V. N. Ekanayake, C. Kelly, I. , and R. Manohar, BitSNAP: Dynamic Significance Compression for a Low-Energy Sensor Network Asynchronous Processor, 11th IEEE International Symposium on Asynchronous Circuits and Systems, pp.144-154, 2005.
DOI : 10.1109/ASYNC.2005.14

J. P. Fassino, J. B. Stefani, J. Lawall, and G. Muller, THINK : A Software Framework for Component-based Operating System Kernels, Proceedings of Usenix Annual Technical Conference, 2002.

B. Folco, Contribution à la synthèse de circuits asynchrones Quasi Insensibles aux Délais, application aux circuits sécurisés, 2007.

D. Gay, P. Levis, R. Von-behren, E. B. Welsh, and D. E. Culler, The nesc language : A holistic approach to networked embedded systems, ACM SIGPLAN Conference on Programming Language Design and Implementation, 2003.

C. Han, R. Kumar, R. Shea, E. Kohler, and M. Srivastava, A dynamic operating system for sensor nodes, Proceedings of the 3rd international conference on Mobile systems, applications, and services , MobiSys '05, pp.163-176, 2005.
DOI : 10.1145/1067170.1067188

R. I. Hartley and P. F. Corbett, A digit-serial silicon compiler, Proceedings of the 25th ACM/IEEE conference on Design automation, pp.646-649, 1988.

S. Hauck, Asynchronous design methodologies: an overview, Proceedings of the IEEE, pp.69-93, 1995.
DOI : 10.1109/5.362752

T. He, B. Krogh, S. Krishnamurthy, J. A. Stankovic, T. Abdelzaher et al., Energy-efficient surveillance system using wireless sensor networks, Proceedings of the 2nd international conference on Mobile systems, applications, and services , MobiSYS '04, pp.270-283, 2004.
DOI : 10.1145/990064.990096

J. Hill, R. Szewczyk, A. Woo, S. Hollar, D. E. Culler et al., System architecture directions for networked sensors, Architectural Support for Programming Languages and Operating Systems, pp.93-104, 2000.

C. A. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585

H. Karl and A. Willig, Protocols and Architectures for Wireless Sensor Networks, 2005.
DOI : 10.1002/0470095121

C. Kelly, I. , V. Ekanayake, and R. Manohar, SNAP : a Sensor-Network Asynchronous Processor. Asynchronous Circuits and Systems, Proceedings. Ninth International Symposium on, pp.24-33, 2003.

C. Koch-hofer, M. Renaudin, V. Thonnart, and P. Vivet, ASC, a SystemC Extension for Modeling Asynchronous Systems, and Its Application to an Asynchronous NoC, First International Symposium on Networks-on-Chip (NOCS'07)
DOI : 10.1109/NOCS.2007.12

E. Labonne, G. Sicard, and M. Renaudin, Dynamic voltage scaling and adaptive body biasing study for asynchronous design, 2004.

K. Lahiri, A. Raghunathan, S. Dey, and D. Panigrahi, Battery-driven system design: a new frontier in low power design, Proceedings of ASP-DAC/VLSI Design 2002. 7th Asia and South Pacific Design Automation Conference and 15h International Conference on VLSI Design, p.7, 2002.
DOI : 10.1109/ASPDAC.2002.994932

K. Langendoen and G. Halkes, Energy-Efficient Medium Access Control. Embedded Systems Handbook, pp.34-35

R. Suet-fei-li, J. M. Sutton, and . Rabaey, Low power operating system for heterogeneous wireless communication systems, PACT 01, 2001.

C. L. Liu and J. W. Layland, Scheduling algorithms for multiprogramming in a hard-real-time environment, Journal of the ACM, vol.20, issue.1, 1973.

B. Lo, S. Thiemjarus, R. King, and G. Yang, Body Sensor Network?A Wireless Sensor Platform for Pervasive Healthcare Monitoring, The 3rd International Conference on Pervasive Computing, 2005.

A. Mainwaring, D. Culler, J. Polastre, R. Szewczyk, and J. Anderson, Wireless sensor networks for habitat monitoring, Proceedings of the 1st ACM international workshop on Wireless sensor networks and applications , WSNA '02, pp.88-97, 2002.
DOI : 10.1145/570738.570751

A. Martin, Compiling communicating processes into delay-insensitive VLSI circuits, Distributed Computing, vol.20, issue.8, pp.226-234, 1986.
DOI : 10.1007/BF01660034

A. Martin, Programming in VLSI : From communicating processes to delay-insensitive circuits. Development in Concurrency and Communication, 1990.

A. J. Martin, The Limitations to Delay-Insensitivity in Asynchronous Circuits, Advanced Research in VLSI, pp.263-278, 1990.
DOI : 10.1007/978-1-4612-4476-9_35

A. Martin, M. Nystrom, K. Papadantonakis, P. Pi-penzes, . Prakash et al., The Lutonium : a sub-nanojoule asynchronous 8051 microcontroller. Asynchronous Circuits and Systems, Proceedings. Ninth International Symposium on, pp.14-23, 2003.

S. M. Martin, K. Flautner, T. Mudge, and D. Blaauw, Combined dynamic voltage scaling and adaptive body biasing for lower power microprocessors under dynamic workloads, Proc. ICCAD, pp.721-725, 2002.

A. J. Massa, Embedded Software Development with eCos, 2002.

R. E. Miller, Sequential Circuits and Machines, volume 2 of Switching Theory, 1965.

P. Pillai and K. G. Shin, Real-time dynamic voltage scaling for low-power embedded operating systems, 18th ACM Symposium on Operating Systems Principles, 2001.

J. Polastre, R. Szewczyk, and D. Culler, Telos: enabling ultra-low power wireless research, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005., pp.364-369, 2005.
DOI : 10.1109/IPSN.2005.1440950

J. Quartana, Design of Asynchronous Network on Chip : application to GALS systems, 2004.
URL : https://hal.archives-ouvertes.fr/tel-00008830

J. Rabaey, J. Mj-ammer, D. Da-silva-jr, S. Patel, and . Roundy, PicoRodio supports ad hoc ultra-low power wireless networking, Computer, vol.33, issue.7, pp.42-48, 2000.
DOI : 10.1109/2.869369

M. Renaudin, Asynchronous circuits and systems : a promising design alternative, Microelectronic Engineering, vol.54, issue.1-2, pp.133-149, 2000.
DOI : 10.1016/S0167-9317(00)80065-9
URL : https://hal.archives-ouvertes.fr/hal-00011193

M. Renaudin and J. Rigaud, Etat de l'art sur la conception des circuits asynchrones : perspectives pour l'intégration des systèmes complexes, 1998.

J. B. Rigaud, Spécification de bibliothèques pour la synthèse de circuits asynchrones, 2002.

D. Rios-arambula, A. Buhrig, G. Sicard, and M. Renaudin, On the use of Feedback Systems to Dynamically Control the Supply Voltage of Low-Power Circuits, Journal of Low Power Electronics, vol.2, issue.1, pp.45-55, 2006.
DOI : 10.1166/jolpe.2006.006

L. Samper, F. Maraninchi, L. Mounier, and L. Mandel, GLONEMO, Proceedings of the first international conference on Integrated internet ad hoc and sensor networks , InterSense '06, 2006.
DOI : 10.1145/1142680.1142684

L. Samper, F. Maraninchi, L. Mounier, E. Jahier, and P. Raymond, On the Importance of Modeling the Environment when Analyzing Sensor Networks, 2006 3rd Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks, p.7, 2006.
DOI : 10.1109/SAHCN.2006.288569

J. T. Udding, A formal model for defining and classifying delay-insensitive circuits and systems, Distributed Computing, vol.30, issue.2, pp.197-204, 1986.
DOI : 10.1007/BF01660032