45 search results - page 4 / 9 » Completeness and Consistency Analysis of State-Based Require... |
101
Voted
ICCD
2002
IEEE
15 years 6 months ago
2002
IEEE
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
97
Voted
ISMB
1994
14 years 10 months ago
1994
Wepresent the prototype of a software system, cMledGeneQuiz,for large-scale biological sequence analysis. The system was designed to meet the needs that arise in computational seq...
BMCBI
2010
14 years 9 months ago
2010
Background: Genome-wide association studies (GWAS) using Copy Number Variation (CNV) are becoming a central focus of genetic research. CNVs have successfully provided target genom...
EOR
2006
14 years 9 months ago
2006
In this paper, we develop an acyclic network of queues for the design of a dynamic flow shop, where each service station represents a machine. The orders arrive at the input stati...
93
Voted
ASM
2010
ASM
15 years 4 months ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...