Sciweavers

3901 search results - page 356 / 781
» software 2008
Sort
View
BMCBI
2008
83views more  BMCBI 2008»
15 years 6 months ago
A Java-based tool for the design of classification microarrays
Background: Classification microarrays are used for purposes such as identifying strains of bacteria and determining genetic relationships to understand the epidemiology of an inf...
Da Meng, Shira L. Broschat, Douglas R. Call
IEE
2008
115views more  IEE 2008»
15 years 6 months ago
Faithful mapping of model classes to mathematical structures
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
Ádám Darvas, Peter Müller
CLEIEJ
2006
96views more  CLEIEJ 2006»
15 years 6 months ago
A Single-Version Algorithmic Approach to Fault Tolerant Computing Using Static Redundancy
This paper describes a single-version algorithmic approach to design in fault tolerant computing in various computing systems by using static redundancy in order to mask transient...
Goutam Kumar Saha
JCP
2008
97views more  JCP 2008»
15 years 6 months ago
Profiling Tools for FPGA-Based Embedded Systems: Survey and Quantitative Comparison
Profiling tools are computer-aided design (CAD) tools that help in determining the computationally intensive portions in software. Embedded systems consist of hardware and software...
Jason G. Tong, Mohammed A. S. Khalid
CSI
2007
86views more  CSI 2007»
15 years 6 months ago
Using UML to model relational database operations
The Unified Modeling Language (UML) is being used as the de-facto standard in the software industry. With the adoption of UML 2.0, the new enhancements allow this version to desc...
Eunjee Song, Shuxin Yin, Indrakshi Ray