Sciweavers

9049 search results - page 10 / 1810
» The New C Standard
Sort
View
CAV
2007
Springer
118views Hardware» more  CAV 2007»
15 years 3 months ago
C32SAT: Checking C Expressions
C32SAT is a tool for checking C expressions. It can check whether a given C expression can be satisfied, is tautological, or always defined according to the ISO C99 standard. C32...
Robert Brummayer, Armin Biere
63
Voted
ISCAS
2005
IEEE
175views Hardware» more  ISCAS 2005»
15 years 3 months ago
New curvature-compensation technique for CMOS bandgap reference with sub-1-V operation
—A new sub-1-V curvature-compensated CMOS bandgap reference, which utilizes the temperature-dependent currents generated from the parasitic n-p-n and p-n-p bipolar junction trans...
Ming-Dou Ker, Jung-Sheng Chen, Ching-Yun Chu
MEDINFO
2007
193views Healthcare» more  MEDINFO 2007»
14 years 11 months ago
Another HISA - The New Standard: Health Informatics - Service Architecture
In addition to the meaning as Health Informatics Society of Australia, HISA is the acronym used for the new European Standard: Health Informatics – Service Architecture. This EN...
Gunnar O. Klein, Pier Angelo Sottile, Frederik End...
FCCM
2008
IEEE
118views VLSI» more  FCCM 2008»
15 years 4 months ago
A New Powerful Scalable Generic Multi-Standard LDPC Decoder Architecture
We propose a new powerful scalable generic parallel and modular architecture well suited to LDPC code decoding. This architecture template has been instantiated in the case of the...
François Charot, Christophe Wolinski, Nicol...
INFORMATICALT
2010
92views more  INFORMATICALT 2010»
14 years 8 months ago
New Fuzzy Identity-Based Encryption in the Standard Model
In a fuzzy identity-based encryption (IBE) scheme, a user with the secret key for an identity ID is able to decrypt a ciphertext encrypted with another identity ID if and only if I...
Yanli Ren, Dawu Gu, Shuozhong Wang, Xinpeng Zhang