|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2938 occurrences of 1600 keywords
|
|
|
Results
Found 5635 publication records. Showing 5601 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
101 | Marc Kekicheff, Forough Kashef, David Brewer |
Open Platform Security. |
Java Card Workshop |
2000 |
DBLP DOI BibTeX RDF |
|
91 | Byungkwan Park, Daesung Moon, Yongwha Chung, Jin-Won Park |
Impact of Embedding Scenarios on the Smart Card-Based Fingerprint Verification. |
WISA |
2006 |
DBLP DOI BibTeX RDF |
Performance Evaluation, Smart Card, Fingerprint Verification |
89 | Tien-Yan Ma, Ting-Wei Hou |
Implementing FISC IC Card Specification and Developing Health Care Application Using Java Card. |
ISMSE |
2000 |
DBLP DOI BibTeX RDF |
financial information system, Smart card, Java card, health information system |
85 | Ian M. Molloy, Jiangtao Li 0001, Ninghui Li |
Dynamic Virtual Credit Card Numbers. |
Financial Cryptography |
2007 |
DBLP DOI BibTeX RDF |
credit card theft, e-commerce |
85 | Peng Li, Steve Zdancewic |
Advanced control flow in Java card programming. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
trampolined style, smart card, continuation, control flow, Java card, CPS |
79 | David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira |
BSmart: A Tool for the Development of Java Card Applications with the B Method. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
79 | Soo-Cheol Oh, Sang-Hwa Chung, Hankook Jang |
Design and Implementation of CC-NUMA Card II for SCI-Based PC Clustering. |
CLUSTER |
2002 |
DBLP DOI BibTeX RDF |
|
77 | Won-Ho Choi, Ha-Yong Jeon, Rhys Rosholt, Gwang Jung, Min-Soo Jung |
A Novel Buffer Cache Scheme Using Java Card Object with High Locality for Efficient Java Card Applications. |
ICHIT |
2006 |
DBLP DOI BibTeX RDF |
Java Card objects, Java, Java Card, Buffer Cache |
72 | Mücahit Mutlugün, Oktay Adalier |
Turkish national electronic identity card. |
SIN |
2009 |
DBLP DOI BibTeX RDF |
national identity card, biometrics, smart card, pki |
71 | Claude Marché, Nicolas Rousset |
Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears. |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
JAVA CARD applets, Card Tears, non-atomic methods, Formal verification, Transactions, JML |
68 | Hugues Martin, Lydie du Bousquet |
Automatic Test Generation for Java-Card Applets. |
Java Card Workshop |
2000 |
DBLP DOI BibTeX RDF |
|
68 | Pieter H. Hartel, Eduard de Jong |
A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations. |
Java Card Workshop |
2000 |
DBLP DOI BibTeX RDF |
|
67 | Michael Osborne, Nalini K. Ratha |
A JC-BioAPI Compliant Smart Card with Biometrics for Secure Access Control. |
AVBPA |
2003 |
DBLP DOI BibTeX RDF |
|
66 | Yi Peng 0001, Gang Kou, Yong Shi 0001, Zhengxin Chen |
Improving Clustering Analysis for Credit Card Accounts Classification. |
International Conference on Computational Science (3) |
2005 |
DBLP DOI BibTeX RDF |
Credit Card Accounts Classification, CLUTO, unsupervised learning method, Clustering analysis |
66 | Bo-Yin Yang, Jiun-Ming Chen, Yen-Hung Chen |
TTS: High-Speed Signatures on a Low-Cost Smart Card. |
CHES |
2004 |
DBLP DOI BibTeX RDF |
8051, smart card, finite field, Multivariate public-key cryptosystem |
66 | JeongJin Kang, HongJun Yoo, SungRok Lee |
Novel Process Methodology of Smart Combi Card (SCC) Manufacturing for RFID/USN. |
ICUCT |
2006 |
DBLP DOI BibTeX RDF |
Smart combi card(SCC), RF card, COB(Chip On Board), RFID/USN |
66 | Jeung-Bo Cho, Min-Soo Jung |
A Very Small Bytecode-Verifier Based on PCC Algorithm for Smart Card. |
Human.Society@Internet 2003 |
2003 |
DBLP DOI BibTeX RDF |
Java Card Virtual Machine, Java, Smart Card, Bytecode, Verifier |
65 | Soon Ae Chun, Yoo Jung An, James Geller, Sunju Park |
Fuzzy Virtual Card Agent for Customizing Divisible Card Payments. |
EC-Web |
2005 |
DBLP DOI BibTeX RDF |
|
62 | Ryutaro Toji, Yoshinori Wada, Shinichi Hirata, Katsuhiko Suzuki |
A Network-Based Platform for Multi-Application Smart Cards. |
EDOC |
2001 |
DBLP DOI BibTeX RDF |
|
62 | Jean-Louis Lanet |
Are Smart Cards the Ideal Domain for Applying Formal Methods? |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
61 | Wojciech Mostowski |
Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
61 | David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira |
Automation of Java Card component development using the B method. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
60 | Patrik Bichsel, Jan Camenisch, Thomas Groß 0001, Victor Shoup |
Anonymous credentials on a standard java card. |
CCS |
2009 |
DBLP DOI BibTeX RDF |
privacy-enhancing systems, smart card, java card, anonymous credential systems |
60 | E. L. Lohse |
Hollerith punched card code. |
Commun. ACM |
1968 |
DBLP DOI BibTeX RDF |
USA standard, card code, hole-patterns, hole-patterns assignment, punched card hole, punched card systems, punched code |
59 | Chi-Leung San, Chiu-sing Choy, Pak-Kee Chan, Cheong-Fat Chan, Kong-Pang Pun |
Realization of card-centric framework: a card-centric computer [smart cards]. |
ISCAS (5) |
2005 |
DBLP DOI BibTeX RDF |
|
59 | Jun Furukawa 0001, Kazue Sako, Satoshi Obana |
IC card-based single sign-on system that remains secure under card analysis. |
Digital Identity Management |
2009 |
DBLP DOI BibTeX RDF |
card analysis, distributed key, single sign-on, authenticated key exchange |
59 | Vasilios Almaliotis, Alexandros Loizidis, Panagiotis Katsaros, Panagiotis Louridas, Diomidis Spinellis |
Static Program Analysis for Java Card Applets. |
CARDIS |
2008 |
DBLP DOI BibTeX RDF |
temporal safety, Java Card, static program analysis |
59 | Idir Bakdi |
Towards a Secure and Practical Multifunctional Smart Card. |
CARDIS |
2006 |
DBLP DOI BibTeX RDF |
Multifunctional smart card, secure hardware token, privacy |
57 | Rajeev Goré, Lan Duy Nguyen |
CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security. |
Java Card Workshop |
2000 |
DBLP DOI BibTeX RDF |
security of multi-application smart cards, applications of logics of knowledge and belief, modal theorem proving, tense logics |
56 | Ksheerabdhi Krishna, Michael Montgomery |
A Simple(r) Interface Distribution Mechanism for Java Card. |
Java Card Workshop |
2000 |
DBLP DOI BibTeX RDF |
|
54 | Eun-Jun Yoon, Kee-Young Yoo |
A New Secure Key Exchange Protocol Between STB and Smart Card in DTV Broadcasting. |
WISI |
2006 |
DBLP DOI BibTeX RDF |
|
54 | Yiannis Tsiounis |
A Security Framework for Card-Based Systems. |
Financial Cryptography |
2001 |
DBLP BibTeX RDF |
|
54 | Aviel D. Rubin, Rebecca N. Wright |
Off-Line Generation of Limited-Use Credit Card Numbers. |
Financial Cryptography |
2001 |
DBLP BibTeX RDF |
|
54 | Alvin T. S. Chan, Florine Tse, Jiannong Cao 0001, Hong Va Leong |
Distributed Object Programming Environment for Smart Card Application Development. |
DOA |
2001 |
DBLP DOI BibTeX RDF |
|
54 | Haeryong Park, Kilsoo Chun, Seungho Ahn |
The Security Requirement for off-line E-cash system based on IC Card. |
ICPADS (2) |
2005 |
DBLP DOI BibTeX RDF |
E-cash system, off-line E-cash system based on IC Card, E-cash protocol, Payment system |
54 | Mark James Burge |
Developing smart card applications using the OpenCard Framework. |
ACM Southeast Regional Conference |
2004 |
DBLP DOI BibTeX RDF |
JCOP, OpenCard Framework, Mobile Computing, pervasive computing, design patterns, Smart Cards, Java Card |
54 | Hoon-Jae Lee 0001, ManKi Ahn, Seongan Lim, Sang-Jae Moon |
A Study on Smart Card Security Evaluation Criteria for Side Channel Attacks. |
ICCSA (1) |
2004 |
DBLP DOI BibTeX RDF |
Protection Profiles, Vulnerability Assessment Activities, SPA/DPA, Smart Card, Side Channel Attacks, Common Criteria |
54 | Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre |
Mastering Test Generation from Smart Card Software Formal Models. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
boundary testing, smart card standard, formal specifications, functional testing, Automated test generation |
54 | Supakorn Kungpisdan, Bala Srinivasan 0002, Phu Dung Le |
Lightweight Mobile Credit-Card Payment Protocol. |
INDOCRYPT |
2003 |
DBLP DOI BibTeX RDF |
Electronic commerce and payment, credit-card payment protocol, mobile commerce |
54 | Marcus Oestreicher |
Transactions in Java Card. |
ACSAC |
1999 |
DBLP DOI BibTeX RDF |
Transactions, Smartcard, Java Card |
54 | Dominique Dieng |
The keys of success of a health card project: the lessons learned from 9 health cards project. |
CBMS |
1997 |
DBLP DOI BibTeX RDF |
health card project, computer based medical system, Canadian health card projects, large scale projects, local projects, computerized medical record, health care, telematics, Europe |
53 | Céline Bigot, Alain Faivre, Christophe Gaston, Julien Simon |
Automatic Test Generation on a (U)SIM Smart Card. |
CARDIS |
2006 |
DBLP DOI BibTeX RDF |
|
53 | Engelbert Hubbers, Erik Poll |
Reasoning about Card Tears and Transactions in Java Card. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Jeung-Bo Cho, Min-Soo Jung, Sung-Ik Jun |
An Efficient Small Sized On-Card Verifier for Java Card. |
ICCSA (2) |
2003 |
DBLP DOI BibTeX RDF |
|
53 | Michael Montgomery, Ksheerabdhi Krishna |
A Flexible Invocation Framework for Java Card. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
53 | Celeste Campo, Andrés Marín López, Arturo García, Ignacio Díaz, Peter T. Breuer, Carlos Delgado Kloos, Carlos García |
JCCM: Flexible Certificates for Smartcards with Java Card. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
52 | Samia Bouzefrane 0001, Julien Cordry, Hervé Meunier, Pierre Paradinas |
Evaluation of Java Card Performance. |
CARDIS |
2008 |
DBLP DOI BibTeX RDF |
Performance, Test, Benchmark, Java Card |
52 | Jaap-Henk Hoepman, Geert Kleinhuis |
Two Worlds, One Smart Card: An Integrated Solution for Physical Access and Logical Security Using PKI on a Single Smart Card. |
EuroPKI |
2007 |
DBLP DOI BibTeX RDF |
reduced sign-on, Access control, smart card, PKI |
50 | Alvin T. S. Chan, Dick K. T. Wan |
Web Services Mobility in a Pocket. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
|
50 | Claude Barral, Jean-Sébastien Coron, David Naccache |
Externalized Fingerprint Matching. |
ICBA |
2004 |
DBLP DOI BibTeX RDF |
|
50 | Henry Beker, Michael Walker 0001 |
Key Management for Secure Electronic Funds Transfer in a Retail Environment. |
CRYPTO |
1984 |
DBLP DOI BibTeX RDF |
|
49 | Bernhard Beckert |
A Dynamic Logic for the Formal Verification of Java Card Programs. |
Java Card Workshop |
2000 |
DBLP DOI BibTeX RDF |
|
49 | Pierre Bieber, Jacques Cazin, A. El Marouani, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon |
The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow. |
Java Card Workshop |
2000 |
DBLP DOI BibTeX RDF |
|
49 | Mark Lanus |
Fault Tolerant Schemes for Hot-Swappable and Non Hot-Swappable Mezzanine Cards. |
ISAS |
2007 |
DBLP DOI BibTeX RDF |
Fault Management Model, Advanced Mezzanine Card, AMC, AMC Carrier, PCI Mezzanine Card, PMC, PMC Carrier, Availability Model |
49 | E. L. Lohse |
Correspondences of 8-bit and Hollerith codes for computer environments - a USASI tutorial. |
Commun. ACM |
1968 |
DBLP DOI BibTeX RDF |
USA standard, card code, hole-patterns, hole-patterns assignment, punched card, punched card code, punched card systems |
48 | Krists Zutis, Jesse Hoey |
Who's Counting? Real-Time Blackjack Monitoring for Card Counting Detection. |
ICVS |
2009 |
DBLP DOI BibTeX RDF |
|
48 | Gerhard de Koning Gans, Jaap-Henk Hoepman, Flavio D. Garcia |
A Practical Attack on the MIFARE Classic. |
CARDIS |
2008 |
DBLP DOI BibTeX RDF |
|
48 | Ramaswamy Chandramouli, Philip Lee |
Infrastructure Standards for Smart ID Card Deployment. |
IEEE Secur. Priv. |
2007 |
DBLP DOI BibTeX RDF |
|
48 | He Ge |
An Anonymous Authentication Scheme for Identification Card. |
ICICS |
2006 |
DBLP DOI BibTeX RDF |
Anonymous Identification, Privacy, Cryptographic Protocol, Identity Management, Group Signature |
48 | King-Keung Mok, Ka-Hung Tsang, Cheong-Fat Chan, Oliver Chiu-sing Choy, Kong-Pang Pun |
Adiabatic Smart Card. |
APCCAS |
2006 |
DBLP DOI BibTeX RDF |
|
48 | Min-Sik Jin, Won-Ho Choi, Yoon-Sim Yang, Min-Soo Jung |
A Study on Fast JCVM with New Transaction Mechanism and Caching-Buffer Based on Java Card Objects with a High Locality. |
EUC Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
48 | Wojciech Mostowski |
Formalisation and Verification of Java Card Security Properties in Dynamic Logic. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
48 | Yingjiu Li, Xinwen Zhang |
A Security-Enhanced One-Time Payment Scheme for Credit Card. |
RIDE |
2004 |
DBLP DOI BibTeX RDF |
|
48 | Tommaso Cucinotta, Marco Di Natale, David Corcoran |
Breaking Down Architectural Gaps in Smart-Card Middleware Design. |
TrustBus |
2004 |
DBLP DOI BibTeX RDF |
|
48 | Won Jay Song, Won Hee Kim, Bo Gwan Kim, Byung-Ha Ahn, Mun Kee Choi, Minho Kang |
Smart Card Terminal Systems Using ISO/IEC 7816-3 Interface and 8051 Microprocessor Based on the System-on-Chip. |
ISCIS |
2003 |
DBLP DOI BibTeX RDF |
|
48 | Youn-Hee Gil, Daesung Moon, Sung Bum Pan, Yongwha Chung |
Fingerprint Verification System Involving Smart Card. |
ICISC |
2002 |
DBLP DOI BibTeX RDF |
|
48 | Neil James Henderson, Neil M. White, Pieter H. Hartel |
iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
48 | Steve Elliot, Claudia Löbbecke |
Smart-Card Based Electronic Commerce: Characteristics and Roles. |
HICSS (4) |
1998 |
DBLP DOI BibTeX RDF |
|
48 | Iman Narasamdya, Michaël Périn |
Certification of smart-card applications in common criteria. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
assertion functions, common criteria certification, smart-card applications, invariants, assertions, specification techniques |
48 | Ren-Chiun Wang, Wen-Shenq Juang, Chin-Laung Lei |
A Simple and Efficient Key Exchange Scheme Against the Smart Card Loss Problem. |
EUC Workshops |
2007 |
DBLP DOI BibTeX RDF |
authentication, smart card, hash function, password, key exchange |
48 | Jiun-Tze Lai, Ting-Wei Hou |
An efficient secure communication between set-top box and smart card in DTV broadcasting. |
AsiaCCS |
2006 |
DBLP DOI BibTeX RDF |
smart card, mutual authentication, set-top-box |
48 | William G. Sirett, John A. MacDonald, Keith Mayes, Constantinos Markantonakis |
Design, Installation and Execution of a Security Agent for Mobile Stations. |
CARDIS |
2006 |
DBLP DOI BibTeX RDF |
Application Deployment, JSR177, MIDP2.0, Smart Card, Security Protocol, GSM, Mobile Station, Security Agent |
48 | Hitoshi Iwai, Atsushi Nakayama, Naoko Itoga, Kotaro Omata |
Cantilever Type Probe Card for At-Speed Memory Test on Wafer. |
VTS |
2005 |
DBLP DOI BibTeX RDF |
Probe Card, On Wafer, Test, Memory, At-Speed |
48 | June Andronick, Boutheina Chetali, Olivier Ly |
Using Coq to Verify Java Card Applet Isolation Properties. |
TPHOLs |
2003 |
DBLP DOI BibTeX RDF |
Security, Theorem Proving, Smart Card |
48 | Wai Han Soo, Azman Samsudin, Alwyn Goh |
Efficient Mental Card Shuffling via Optimised Arbitrary-Sized Benes Permutation Network. |
ISC |
2002 |
DBLP DOI BibTeX RDF |
mental card game, Benes permutation network, Shuffle, mix-net |
48 | Tsang Hin Chung, Kwong-Sak Leung, Kin-Hong Lee |
Design and Analysis of Smart Card Based Remote Authentication Protocol for Internet-Based System. |
WETICE |
2001 |
DBLP DOI BibTeX RDF |
security, java, Authentication, smart card |
46 | Asad M. Ali |
Zero Footprint Secure Internet Authentication Using Network Smart Card. |
CARDIS |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Marc Éluard, Thomas P. Jensen, Ewen Denney |
An Operational Semantics of the Java Card Firewall. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
46 | Denis Caromel, Ludovic Henrio, Bernard P. Serpette |
Context Inference for Static Analysis of Java Card Object Sharing. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
security, static analysis, objects, type inference, Java Card |
45 | Xavier Leroy |
On-Card Bytecode Verification for Java Card. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
44 | Mikhail J. Atallah, Marina Bykova |
Portable and Flexible Document Access Control Mechanisms. |
ESORICS |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Alain Macaire |
An Open and Secure Terminal Infrastructure for Hosting Personal Services. |
TOOLS (33) |
2000 |
DBLP DOI BibTeX RDF |
Architectures & Frameworks, Naming & Directory Services, Lookup Services Access to Distributed Services, Smart Cards and Terminals, User's Mobility, Embedded Systems |
43 | Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux |
Formal Methods in Context: Security and Java Card. |
Java Card Workshop |
2000 |
DBLP DOI BibTeX RDF |
|
43 | Sabine Glesner |
Finite Integer Computations: An Algebraic Foundation for Their Correctness. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Additional Keywords finite integer and residue class arithmetic, changing representation sizes, Java Card bytecode optimization, constant folding, Java and C arithmetic, formal verification, inconsistency, Java Card, Isabelle/HOL |
43 | Michael W. David, Kouichi Sakurai |
Security Issues for Contactless Smart Cards. |
Public Key Cryptography |
1998 |
DBLP DOI BibTeX RDF |
Contactless-card, Standards, Smart-card, Public key, Efficient Implementation |
43 | Tsutomu Matsumoto, Hideki Imai |
Human Identification Through Insecure Channel. |
EUROCRYPT |
1991 |
DBLP DOI BibTeX RDF |
Identification Verification, IC Card, Insecure Channel, Authentication, Access Control, Cryptography, Smart Card, Password, Human Interface, Human Identification, User Identification |
43 | Michael Montgomery, Asad M. Ali, Karen Lu |
Secure Network Card - Implementation of a Standard Network Stack in a Smart Card. |
CARDIS |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Neil A. M. Maiden |
Card Sorts to Acquire Requirements. |
IEEE Softw. |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Biliana Alexandrova-Kabadjova, Edward P. K. Tsang, Andreas Krause 0002 |
Evolutionary Learning of the Optimal Pricing Strategy in an Artificial Payment Card Market. |
Natural Computing in Computational Finance |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet |
A Verifiable Conformance Relationship between Smart Card Applets and B Security Models. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Manabu Hirano, Takeshi Okuda, Suguru Yamaguchi |
Application for a Simple Device Authentication Framework: Device Authentication Middleware Using Novel Smart Card Software. |
SAINT Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Dennis Vermoen, Marc F. Witteman, Georgi Gaydadjiev |
Reverse Engineering Java Card Applets Using Power Analysis. |
WISTP |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Russell Tessier, David Jasinski, Atul Maheshwari, Aiyappan Natarajan, Weifeng Xu, Wayne P. Burleson |
An energy-aware active smart card. |
IEEE Trans. Very Large Scale Integr. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Min-Sik Jin, Won-Ho Choi, Yoon-Sim Yang, Min-Soo Jung |
The Research on How to Reduce the Number of EEPROM Writing to Improve Speed of Java Card. |
ICESS |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Shinyoung Lim, Youjin Song |
Secure Online Internet Reservation of e-Government Service (ORGS) Using Java Card Applications Toolkit (J-CAT). |
EGOV |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Nikolaos F. Matsatsinis |
An intelligent decision support system for credit card assessment based on a machine learning technique. |
Oper. Res. |
2002 |
DBLP DOI BibTeX RDF |
Credit Cards Evaluation, Machine Learning, Decision Support Systems |
42 | Hyun-Wook Jin, Ki-Seok Bang, Chuck Yoo, Jin-Young Choi, Hojung Cha |
Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Do-Woo Kim, Min-Soo Jung |
A Study on the Optimization of Class File for Java Card Platform. |
ICOIN (1) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Rajiv Pandey, Dan Higgins |
probe card-a solution for at-speed, high density, wafer probing. |
ITC |
1998 |
DBLP DOI BibTeX RDF |
|
42 | Francisco Castillo, Jose A. García 0003, Juan Manuel Moreno, Joan Cabestany |
A Coprocessor Card for Fast Neural Network Emulation. |
IWANN |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 5601 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|