Sciweavers

1922 search results - page 183 / 385
» Systems biology, models, and concurrency
Sort
View
WOB
2004
102views Bioinformatics» more  WOB 2004»
15 years 2 months ago
An Agent-Based System for Re-annotation of Genomes
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 ...
Leonardo Vianna do Nascimento, Ana L. C. Bazzan
VLSID
2006
IEEE
192views VLSI» more  VLSID 2006»
15 years 7 months ago
Beyond RTL: Advanced Digital System Design
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...
Shiv Tasker, Rishiyur S. Nikhil
DAC
2007
ACM
16 years 2 months ago
Global Critical Path: A Tool for System-Level Timing Analysis
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...
ENTCS
2008
118views more  ENTCS 2008»
15 years 1 months ago
The STSLib Project: Towards a Formal Component Model Based on STS
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...
Fabrício Fernandes, Jean-Claude Royer
MTA
2006
104views more  MTA 2006»
15 years 1 months ago
Comparison of in-network versus Staggered Multicast video distribution models
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 ...
Huaqun Guo, Lek Heng Ngoh, Wai-Choong Wong, Joo Ge...