2450 search results - page 437 / 490 » On Application of Structural Decomposition for Process Model... |
145
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Translation initiation site (TIS) identification is an important aspect of the gene annotation process, requisite for the accurate delineation of protein sequences fro...
115
Voted
MOVEP
2000
15 years 7 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
164
Voted
MBEES
2008
15 years 5 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
199
Voted
DAC
2003
ACM
15 years 9 months ago
2003
ACM
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...
113
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract-Two dimensional (2D) integration has been the traditional approach for IC integration. Increasing demands for providing electronic devices with superior performance and fu...