Sciweavers

2102 search results - page 330 / 421
» A Relational Model for Object-Oriented Designs
Sort
View
ASPDAC
2007
ACM
82views Hardware» more  ASPDAC 2007»
15 years 3 months ago
Efficient BMC for Multi-Clock Systems with Clocked Specifications
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...
Malay K. Ganai, Aarti Gupta
BIBE
2004
IEEE
149views Bioinformatics» more  BIBE 2004»
15 years 3 months ago
Interactive 3D Protein Structure Visualization Using Virtual Reality
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
Elke Moritz, Jörg Meyer
FC
1997
Springer
107views Cryptology» more  FC 1997»
15 years 3 months ago
An Efficient Micropayment System Based on Probabilistic Polling
Existing software proposals for electronic payments can be divided into "on-line" schemes that require participation of a trusted party (the bank) in every transaction an...
Stanislaw Jarecki, Andrew M. Odlyzko
WSC
2008
15 years 2 months ago
Skart: A skewness- and autoregression-adjusted batch-means procedure for simulation analysis
We discuss Skart, an automated batch-means procedure for constructing a skewness- and autoregression-adjusted confidence interval for the steady-state mean of a simulation output ...
Ali Tafazzoli, James R. Wilson, Emily K. Lada, Nat...
VVG
2003
205views Computer Vision» more  VVG 2003»
15 years 1 months ago
Digitisation to Presentation -  Building Virtual Museum Exhibitions
We describe an innovative system designed for museums to create, manage and present multimedia based representations of museum artefacts in virtual exhibitions both inside and out...
Manjula Patel, Martin White, Krzysztof Walczak, Pa...