Sciweavers

3199 search results - page 48 / 640
» Variability in Automation System Models
Sort
View
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
14 years 23 days ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
CSB
2004
IEEE
136views Bioinformatics» more  CSB 2004»
14 years 19 days ago
AZuRE, a Scalable System for Automated Term Disambiguation of Gene and Protein Names
Researchers, hindered by a lack of standard gene and protein-naming conventions, endure long, sometimes fruitless, literature searches. A system is described which is able to auto...
Raf M. Podowski, John G. Cleary, Nicholas T. Gonch...
DATE
2009
IEEE
129views Hardware» more  DATE 2009»
14 years 3 months ago
An automated flow for integrating hardware IP into the automotive systems engineering process
This contribution shows and discusses the requirements and constraints that an industrial engineering process defines for the integration of hardware IP into the system developmen...
Jan-Hendrik Oetjens, Ralph Görgen, Joachim Ge...
BMCBI
2006
118views more  BMCBI 2006»
13 years 9 months ago
A graphical model approach to automated classification of protein subcellular location patterns in multi-cell images
Background: Knowledge of the subcellular location of a protein is critical to understanding how that protein works in a cell. This location is frequently determined by the interpr...
Shann-Ching Chen, Robert F. Murphy
TASE
2010
IEEE
13 years 3 months ago
Analytic Calculus of Response Time in Networked Automation Systems
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
Boussad Addad, Said Amari, Jean-Jacques Lesage