Hollander, Yoav, Alan Hu, João Louren{\c c}o, and Ronny Morad. "
Special Session on Debugging."
Hardware and Software: Verification and Testing. Eds. Sharon Barner, Ian Harris, Daniel Kroening, and Orna Raz. Vol. 6504. Lecture Notes in Computer Science, 6504. Springer Berlin / Heidelberg, 2011. 24-28.
AbstractIn software, hardware, and embedded system domains, debugging is the process of locating and correcting faults in a system. Depending on the context, the various characteristics of debugging induce different challenges and solutions. Post-silicon hardware debugging, for example, needs to address issues such as limited visibility and controllability, while debugging software entails other issues, such as the handling of distributed or non-deterministic computation. The challenges that accompany such issues are the focus of many current research efforts. Solutions for debugging range from interactive tools to highly analytic techniques. We have seen great advances in debugging technologies in recent years, but bugs continue to occur, and debugging still encompasses significant portions of the life-cycles of many systems. The session covered state-of-the-art approaches as well as promising new research directions in both the hardware and software domains.
Carvalho, Carlos, Jose Lameiro, Nuno Paulino, and Guilherme Lavareda. "
A Step-up mu-Power Converter for Solar Energy Harvesting Applications, using Hill Climbing Maximum Power Point Tracking."
2011 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS). IEEE International Symposium on Circuits and Systems. IEEE, 2011. 1924-1927.
AbstractThis paper presents a step-up micro-power converter for solar energy harvesting applications. The circuit uses a SC voltage tripler architecture, controlled by an MPPT circuit based on the Hill Climbing algorithm. This circuit was designed in a 0.13 mu m CMOS technology in order to work with an a-Si PV cell. The circuit has a local power supply voltage, created using a scaled down SC voltage tripler, controlled by the same MPPT circuit, to make the circuit robust to load and illumination variations. The SC circuits use a combination of PMOS and NMOS transistors to reduce the occupied area. A charge re-use scheme is used to compensate the large parasitic capacitors associated to the MOS transistors. The simulation results show that the circuit can deliver a power of 1266 mu W to the load using 1712 mu W of power from the PV cell, corresponding to an efficiency as high as 73.91%. The simulations also show that the circuit is capable of starting up with only 19% of the maximum illumination level.
Watson, Aleksandra A., Andrey A. Lebedev, Benjamin A. Hall, Angharad E. Fenton-May, Alexei A. Vagin, Wanwisa Dejnirattisai, James Felce, Juthathip Mongkolsapaya, Angelina S. Palma, Yan Liu, Ten Feizi, Gavin R. Screaton, Garib N. Murshudov, and Christopher A. O'Callaghan. "
Structural Flexibility of the Macrophage Dengue Virus Receptor CLEC5A IMPLICATIONS FOR LIGAND BINDING AND SIGNALING."
Journal of Biological Chemistry. 286 (2011): 24208-24218.
Abstractn/a
Louren{\c c}o, João. "
Understanding Transactional Memory (Extended Abstract)."
Hardware and Software: Verification and Testing. Eds. Sharon Barner, Ian Harris, Daniel Kroening, and Orna Raz. Vol. 6504. Lecture Notes in Computer Science, 6504. Springer Berlin / Heidelberg, 2011. 1-2.
AbstractTransactional Memory [3] (TM) is a new paradigm for concurrency control that brings the concept of transactions, widely known from the Databases community, into the management of data located in main memory. TM delivers a powerful semantics for constraining concurrency and provides the means for the extensive use of the available parallel hardware. TM uses abstractions that promise to ease the development of scalable parallel applications by achieving performances close to fine-grained locking while maintaining the simplicity of coarse-grained locking.