Sciweavers

17983 search results - page 40 / 3597
» Set Types and Applications
Sort
View
BMCBI
2006
87views more  BMCBI 2006»
14 years 11 months ago
XML schemas for common bioinformatic data types and their application in workflow systems
Background: Today, there is a growing need in bioinformatics to combine available software tools into chains, thus building complex applications from existing single-task tools. T...
Philipp N. Seibel, Jan Krüger, Sven Hartmeier...
VLSID
2006
IEEE
170views VLSI» more  VLSID 2006»
15 years 11 months ago
16-Bit Segmented Type Current Steering DAC for Video Applications
In this paper, 16-bit, 50 MHz Current Steering DAC is designed. This DAC is implemented using TSMC 0.35 ?m technology. An optimum segmentation is done of 16-bits into binary and t...
Gaurav Raja, Basabi Bhaumik
GRC
2005
IEEE
15 years 4 months ago
The design and application of structured types in Ptolemy II
Yuhong Xiong, Edward A. Lee, Xiaojun Liu, Yang Zha...
62
Voted
VSTTE
2005
Springer
15 years 4 months ago
Dependent Types, Theorem Proving, and Applications for a Verifying Compiler
Yves Bertot, Laurent Théry