Sciweavers

622 search results - page 68 / 125
» New parameters for tacton design
Sort
View
ISVLSI
2008
IEEE
156views VLSI» more  ISVLSI 2008»
14 years 2 months ago
Characterisation of FPGA Clock Variability
As integrated circuits are scaled down it becomes difficult to maintain uniformity in process parameters across each individual die. The resulting performance variation requires ...
N. Pete Sedcole, Justin S. Wong, Peter Y. K. Cheun...
DATE
2007
IEEE
144views Hardware» more  DATE 2007»
14 years 2 months ago
Adaptive power management in energy harvesting systems
Recently, there has been a substantial interest in the design of systems that receive their energy from regenerative sources such as solar cells. In contrast to approaches that at...
Clemens Moser, Lothar Thiele, Davide Brunelli, Luc...
ICDIM
2007
IEEE
14 years 2 months ago
Optimized contextual discovery of Web Services for Devices
Due to more and more mobile computers moving among smart and communicating devices in our everyday life, we observe the emergence of new constraints in software design. Indeed, de...
Nicolas Bussiere, Daniel Cheung-Foo-Wo, Vincent Ho...
TPHOL
2007
IEEE
14 years 2 months ago
Operational Reasoning for Concurrent Caml Programs and Weak Memory Models
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
Tom Ridge
BIRD
2007
Springer
112views Bioinformatics» more  BIRD 2007»
14 years 2 months ago
Patch Prediction of Protein Interaction Sites: Validation of a Scoring Function for an Online Server
An online protein interaction server has been designed and implemented to make predictions for 256 nonhomologous protein-protein interaction sites using patch analysis. Predictions...
Susan Jones, Yoichi Mukarami