Genome annotation projects may produce wrong results since they may be based on obsolete data or wrong models. This work aims to develop an automatic re-annotation system that use ...
This tutorial focuses on advanced techniques to cope with the complexity of designing modern digital chips which are complete systems often containing multiple processors, complex...
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
Girish Venkataramani, Mihai Budiu, Tiberiu Chelcea...
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
This paper proposes a new video distribution service: Video-In-Network (VIN). In VIN, videos are continuously circulating in an optical network where they can be easily retrieved ...