|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 33830 occurrences of 11165 keywords
|
|
|
Results
Found 43425 publication records. Showing 43422 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Bryan C. Waltrip, Bo Gong, Thomas L. Nelson, Yicheng Wang, Charles J. Burroughs Jr., Alain Rüfenacht, Samuel P. Benz, Paul D. Dresselhaus |
AC Power Standard Using a Programmable Josephson Voltage Standard. |
IEEE Trans. Instrum. Meas. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Andrew Woolf |
Building the Sensor Web - Standard by Standard. |
ERCIM News |
2009 |
DBLP BibTeX RDF |
|
15 | Nik Ruzni Nik Idris, Chris Robertson |
The Effects of Imputing the Missing Standard Deviations on the Standard Error of Meta Analysis Estimates. |
Commun. Stat. Simul. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Robert L. Wittman Jr. |
Defining a standard: the Military Scenario Definition Language version 1.0 standard. |
SpringSim |
2009 |
DBLP BibTeX RDF |
military scenario definition language |
15 | |
Data Encryption Standard (DES) and Advanced Encryption Standard (AES). |
Encyclopedia of Multimedia |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Oliver F. Kieler, Regis Pinheiro Landim, Samuel P. Benz, Paul D. Dresselhaus, Charles J. Burroughs Jr. |
AC-DC Transfer Standard Measurements and Generalized Compensation With the AC Josephson Voltage Standard. |
IEEE Trans. Instrum. Meas. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Meichen Fu, Jianjun Zhang |
Construction Standard of Farmland Landscapeconstruction Standard of Farmland Landscape. |
CCTA (1) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Olaf Muliawan, Pieter Van Gorp, Anne Keller, Dirk Janssens |
Executing a Standard Compliant Transformation Model on a Non-standard Platform. |
ICST Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Samuel P. Benz, Charles J. Burroughs Jr., Paul D. Dresselhaus, Norman F. Bergren, Thomas E. Lipe, Joseph R. Kinard, Yi-Hua Tang |
An AC Josephson Voltage Standard for AC-DC Transfer-Standard Measurements. |
IEEE Trans. Instrum. Meas. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Mark Hellwig |
Entwicklung und Anwendung parametrisierter Standard-Lastprofile (Development And Application Of Parameterised Standard Load Profiles) (PDF / PS) |
|
2007 |
RDF |
|
15 | Greg Goth |
News: This Little Standard Went to Market; This Little Standard Blew Up. |
IEEE Distributed Syst. Online |
2006 |
DBLP DOI BibTeX RDF |
|
15 | S. Tucker Taft, Robert A. Duff, Randall Brukardt, Erhard Plödereder, Pascal Leroy |
Ada 2005 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 |
|
2006 |
DOI RDF |
|
15 | Sana Belmokhtar |
Lignes d'usinage avec équipements standard : modélisation, configuration et optimisation. (Modeling, configuration and optimization of machining lines with standard equipement). |
|
2006 |
RDF |
|
15 | Sebastian-Philipp Brandt |
Standard and non-standard reasoning in description logics. (PDF / PS) |
|
2006 |
RDF |
|
15 | Anastasia Yannacopoulou |
Le lexique-grammaire des verbes du grec moderne: les constructions transitives locatives standard. (The lexicon-grammar of verbs of Modern Greek: The transitive locative standard constructions). |
|
2005 |
RDF |
|
15 | Neil Pollock, Robin Williams, Rob Procter |
Fitting Standard Software Packages to Non-standard Organizations: The 'Biography' of an Enterprise-wide System. |
Technol. Anal. Strateg. Manag. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Jim Schaad, Russell Housley |
Wrapping a Hashed Message Authentication Code (HMAC) key with a Triple-Data Encryption Standard (DES) Key or an Advanced Encryption Standard (AES) Key. |
RFC |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Yin-Ho Yao, Amy J. C. Trappey |
Using ISO 10303 data standard and XML standard web technology to enable ISO 9000 document management. |
Int. J. Comput. Appl. Technol. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Timo Jokela, Netta Iivari, Juha Matero, Minna Karukka |
The standard of user-centered design and the standard definition of usability: analyzing ISO 13407 against ISO 9241-11. |
CLIHC |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Robert A. Jenders, Roger Corman, Balendu Dasgupta |
Making the Standard More Standard: A Data and Query Model for Knowledge Representation in the Arden Syntax. |
AMIA |
2003 |
DBLP BibTeX RDF |
|
15 | David H. Akehurst, Octavian Patrascoiu |
OCL 2.0 - Implementing the Standard for Multiple Metamodels. |
OCL 2.0 @ UML |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Neil Pollock, James Cornford |
Fitting standard software to non-standard organisations. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
socio-technical change, universities, ERP systems |
15 | Sergei M. Abramov, Robert Glück |
From Standard to Non-Standard Semantics by Semantics Modifiers. |
Int. J. Found. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
15 | S. Tucker Taft, Robert A. Duff, Randall Brukardt, Erhard Plödereder (eds.) |
Consolidated Ada Reference Manual. Language and Standard Libraries, International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 |
|
2001 |
DOI RDF |
|
15 | Catherine Yang |
Creating the Standard Desktop Environment in a Non-Standard World. |
SIGUCCS |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Robert Robson |
Using the STL - the C++ standard template library ; conforms to 1998 ANSI C++ standard (2. ed.). |
|
2000 |
RDF |
|
15 | Bryan Weeks, Mark Bean, Tom Rozylowicz, Chris Ficke |
Hardware Performance Simulations of Round 2 Advanced Encryption Standard Algorithms. |
AES Candidate Conference |
2000 |
DBLP BibTeX RDF |
|
15 | Ian Harvey |
The Effects of Multiple Algorithms in the Advanced Encryption Standard. |
AES Candidate Conference |
2000 |
DBLP BibTeX RDF |
|
15 | Lawrence E. Bassham III |
Efficiency Testing of ANSI C Implementations of Round 2 Candidate Algorithms for the Advanced Encryption Standard. |
AES Candidate Conference |
2000 |
DBLP BibTeX RDF |
|
15 | Alan A. Madej, Klaus J. Siemsen, L. Marmet, John E. Bernard, Ouali Acef |
Linking the 474 THz HeNe/I2 standard to the 445 THz single Sr+ trapped ion standard: heterodyne frequency measurements using an OsO4 stabilized 29 THz laser system. |
IEEE Trans. Instrum. Meas. |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Rainer König, Christian Thiel |
Media Oriented Systems Transport (MOST®) - Standard für Multimedia Networking im Fahrzeug / Media Oriented Systems Transport - Standard for Multimedia Networking in Vehicle Environment. |
Informationstechnik Tech. Inform. |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Stephen Y. Chen, Cesar Guerra-Salcedo, Stephen F. Smith |
Non-Standard Crossover for a Standard Representation - Commonality-Based Feature Subset Selection. |
GECCO |
1999 |
DBLP BibTeX RDF |
|
15 | Philip J. Sallis, Diana A. Kassabova |
Usenet newsgroups' profile analysis, utilising standard and non-standard statistical methods. |
J. Inf. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
15 | David J. Duke, Ivan Herman, Thomas Rist, Michael D. Wilson |
Relating the primitive hierarchy of the PREMO standard to the standard reference model for intelligent multimedia presentation systems. |
Comput. Stand. Interfaces |
1997 |
DBLP DOI BibTeX RDF |
|
15 | S. Tucker Taft, Robert A. Duff (eds.) |
Ada 95 Reference Manual, Language and Standard Libraries, International Standard ISO/IEC 8652: 1995(E) |
|
1997 |
DOI RDF |
|
15 | Hirohisa Hirukawa, Toshihiro Matsui, Hiromu Onda, Kunikatsu Takase, Yoichi Ishiwata, Kenji Konaka |
Prototypes of teleoperation systems via a standard protocol with a standard human interface. |
ICRA |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Mary A. Kohler |
A comparison of the new 2400 bps MELP Federal Standard with other standard coders. |
ICASSP |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Marcio Biczyk do Amaral, Ricardo Hartmann, Marcos Nascimento, Lincoln Moura, Maria Novaes, Eduardo Massad |
Applying ASTM E31 Standard Guidelines for Modeling the Sao Paulo University Hospital Computerized Medical Record: Comparing the Real World with the E1384-96 Described Standard Model. |
AMIA |
1997 |
DBLP BibTeX RDF |
|
15 | Susan Stitt, Maurice Nyquist, Anne Frondorf |
Development of a Metadata Content Standard for Biological Resource Data: National Biological Information Infrastructure Draft Metadata Standard. |
MD |
1996 |
DBLP BibTeX RDF |
|
15 | M. J. van der Westhuizen, R. G. Harley, D. C. Levy |
SPLAT: A Standard-to-Standard Real-Time Graphical Scheduling and Code Generation Tool. |
MASCOTS |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Stephen J. Cannan, Gerard A. Otten |
SQL - the standard handbook based on the new SQL standard: (ISO 9075:1992(E)). |
|
1993 |
RDF |
|
15 | Steven R. Newcomb |
Standard Music Description Language Complies with Hypermedia Standard. |
Computer |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Mahieddine Djoudi |
Contribution à l'étude et à la reconnaissance automatique de la parole en Arabe standard. (Contribution at study and automatic recognition of speech in standard arabic). |
|
1991 |
RDF |
|
15 | Andrzej Galat |
CORGEN: a FORTRAN-77 generator of standard and non-standard DNA helices from the sequence. |
Comput. Appl. Biosci. |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Elsholtz |
Konzepte und Werkzeuge zur Integration von Standard- und Non-Standard-Datenbanksystemen im CIM-Bereich. |
|
1989 |
RDF |
|
15 | Udo Kelter |
Transaktionskonzepte für Non-Standard-Datenbanksysteme / Transaction Concepts for Non-Standard Database Systems. |
it Inf. Technol. |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Heinz-Bernhard Paul |
DAS - Datenbank-Kernsystem für Standard- und Nicht-Standard-Anwendungen: Architektur, Implementierung, Anwendungen. |
|
1988 |
RDF |
|
15 | |
IEEE standard for radix-independent floating-point arithmetic - IEEE standard 854-1987. |
|
1987 |
RDF |
|
15 | |
IEEE standard for binary floating-point arithmetic - IEEE standard 754-1985. |
|
1985 |
RDF |
|
15 | Charles R. Symons, James A. Schweitzer |
A proposal for an automated logical access control standard (ALACS): a standard for computer logical access security. |
ACM SIGCHI Bull. |
1984 |
DBLP DOI BibTeX RDF |
|
15 | Saul Gorn, Robert W. Bemer, Julien Green, E. L. Lohse |
Proposed american standard: bit sequencing of the american standard code for information interchange (ACSII) in serial-by-bit data transmission. |
Commun. ACM |
1964 |
DBLP DOI BibTeX RDF |
|
14 | José Miguel Fuentes, Víctor Quintana, Juan Lloréns, Gonzalo Génova, Rubén Prieto-Díaz |
Errors in the UML metamodel? |
ACM SIGSOFT Softw. Eng. Notes |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Wyn L. Price |
Standards for Data Security - A Change of Direction. |
CRYPTO |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Victor Eijkhout, Erika Fuentes |
A Standard and Software for Numerical Metadata. |
ACM Trans. Math. Softw. |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Anna N. Kim, Fredrik Hekland, Stig Petersen, Paula Doyle |
When HART goes wireless: Understanding and implementing the WirelessHART standard. |
ETFA |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Shubhankar Basu, Ranga Vemuri |
Process Variation and NBTI Tolerant Standard Cells to Improve Parametric Yield and Lifetime of ICs. |
ISVLSI |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Tatsuaki Okamoto |
Authenticated Key Exchange and Key Encapsulation in the Standard Model. |
ASIACRYPT |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Mehran Mozaffari Kermani, Arash Reyhani-Masoleh |
A Structure-independent Approach for Fault Detection Hardware Implementations of the Advanced Encryption Standard. |
FDTC |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Hang Yeop Park, Sung Hwa Jung, Young Joong Lee, Ki Cheol Jang |
The Effect of Improving IT Standard in IT Governance. |
CIMCA/IAWTIC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Péter G. N. Szabó, Péter Szeredi |
Improving the ISO Prolog Standard by Analyzing Compliance Test Results. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Koichi Hayashi, Naoki Koguro, Reki Murakami |
Diversified SCM standard for the Japanese retail industry. |
WWW (Special interest tracks and posters) |
2005 |
DBLP DOI BibTeX RDF |
B2B collaboration, retail industry, web services, SOA (service oriented architecture), standardization, supply chain management, business process management, ebXML |
14 | Kenta Fukuoka, Tomofumi Nakano, Nobuhiro Inuzuka |
Organising Documents Based on Standard-Example Split Test. |
KES (1) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Xing Fan, Magnus Jonsson |
Guaranteed Real-Time Services over Standard Switched Ethernet. |
LCN |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Teade Punter, Rob J. Kusters, Jos J. M. Trienekens, Theo Bemelmans, Aarnout Brombacher |
The W-Process for Software Product Evaluation: A Method for Goal-Oriented Implementation of the ISO 14598 Standard. |
Softw. Qual. J. |
2004 |
DBLP DOI BibTeX RDF |
software product evaluation, ISO 14598, ISO 25000, Goal-Question-Metric paradigm, software quality, ISO 9126 |
14 | Marcos Ferretti, Recep O. Ozdag, Peter A. Beerel |
High Performance Asynchronous ASIC Back-End Design Flow Using Single-Track Full-Buffer Standard Cells. |
ASYNC |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Roberto Giacobazzi, Isabella Mastroeni |
Non-Standard Semantics for Program Slicing. |
High. Order Symb. Comput. |
2003 |
DBLP DOI BibTeX RDF |
reduced power, transfinite semantics, semantics, abstract interpretation, program slicing, compositional semantics, program manipulation |
14 | Xavier Franch, Jordi Marco |
A Quality Model for the Ada Standard Container Library. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
14 | John W. Hoppin, Matthew A. Kupinski, George A. Kastis, Eric Clarkson, Harrison H. Barrett |
Objective Comparison of Quantitative Imaging Modalities Without the Use of a Gold Standard. |
IPMI |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Steven C. Cater, James K. Huggins |
An ASM Dynamic Semantics for Standard ML. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Mathias Rautenberg |
MPEG-4: Ein neuer Standard für mehr Funktionalität in Multimedia-Anwendungen. |
Inform. Spektrum |
1999 |
DBLP DOI BibTeX RDF |
Audiokompression, audio-visuelles Objekt, inhaltsbasierter Zugriff, Videokompression |
14 | Basilio Sierra, Nicolás Serrano, Pedro Larrañaga, Eliseo J. Plasencia, Iñaki Inza, Juan José Jiménez, Jose María De la Rosa, María Luisa Mora |
Machine Learning Inspired Approaches to Combine Standard Medical Measures at an Intensive Care Unit. |
AIMDM |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Maryline Charrier, Diego Santa Cruz, Mathias Larsson |
JPEG2000, the Next Millennium Compression Standard for Still Images. |
ICMCS, Vol. 1 |
1999 |
DBLP DOI BibTeX RDF |
Image compression, JPEG2000, standardisation |
14 | Casiano Rodríguez, José L. Roda, Daniel González-Morales, Francisco Almeida |
h-Relation Models for Current Standard Parallel Platforms. |
Euro-Par |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Roman Gumzej, Matjaz Colnaric, Domen Verber, Wolfgang A. Halang |
Towards Standard-Based Specification and Design of Embedded Real-Time Systems. |
EUROMICRO |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Glenn A. Reitmeier |
The U.S. Digital Television Standard and its Impact on VLSI. |
J. VLSI Signal Process. |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Edmund K. Burke, Jeffrey H. Kingston, Paul A. Pepper |
A Standard Data Format for Timetabling Instances. |
PATAT |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Mohankumar Guruswamy, Robert L. Maziasz, Daniel Dulitz, Srilata Raman, Venkat Chiluvuri, Andrea Fernandez, Larry G. Jones |
CELLERITY: A Fully Automatic Layout Synthesis System for Standard Cell Libraries. |
DAC |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Tommaso Bolognesi, Diego Latella, Elisabetta Zuppa |
Non-standard Interpretations of LOTOS Specifications. |
TAPSOFT, Vol.2 |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Fenfei Guo, Lijing Wang 0003, Dayong Dong |
Human Head 3D Dimensions Measurement for the Design of Helmets. |
HCI (11) |
2009 |
DBLP DOI BibTeX RDF |
Standard headform, 3D, Slice, Boundary, Head |
13 | Xiumin Fan, Feng Gao, Hongmin Zhu, Dianliang Wu, Qi Yin |
A Real-Virtual Mapping Method for Mechanical Product Assembly Process Planning in Virtual Assembly Environment. |
HCI (13) |
2009 |
DBLP DOI BibTeX RDF |
Assembly process planning, Standard assembly operation, Assembly basic motion, Real-virtual mapping, Virtual reality, Virtual assembly |
13 | Mouhammad Said, Jacques-Olivier Lachaud, Fabien Feschet |
Multiscale Discrete Geometry. |
DGCI |
2009 |
DBLP DOI BibTeX RDF |
multiscale geometry, digital contours, standard lines, digital straight segment recognition, Stern-Brocot tree, multi-resolution |
13 | Benoît Chevallier-Mames, Marc Joye |
Chosen-Ciphertext Secure RSA-Type Cryptosystems. |
ProvSec |
2009 |
DBLP DOI BibTeX RDF |
RSA-based encryption schemes, instance-independence assumptions, one-time mappable chameleon hashing, standard model, public-key encryption, Chosen-ciphertext security |
13 | Le Trieu Phong, Kaoru Kurosawa, Wakaha Ogata |
New RSA-Based (Selectively) Convertible Undeniable Signature Schemes. |
AFRICACRYPT |
2009 |
DBLP DOI BibTeX RDF |
selective/all conversion, RSA, standard model, undeniable signature |
13 | Fagen Li, Masaaki Shirase, Tsuyoshi Takagi |
Efficient Signcryption Key Encapsulation without Random Oracles. |
Inscrypt |
2008 |
DBLP DOI BibTeX RDF |
Hybrid signcryption, KEM, tag-KEM, standard model |
13 | Dan Port, Marcel Korte |
Comparative studies of the model evaluation criterions mmre and pred in software cost estimation research. |
ESEM |
2008 |
DBLP DOI BibTeX RDF |
mmre, pred, standard error, calibration, model selection, bootstrapping, cost model, cost estimation, confidence, confidence interval, parameters |
13 | Guilhem Castagnos |
Two Generic Constructions of Probabilistic Cryptosystems and Their Applications. |
SCN |
2008 |
DBLP DOI BibTeX RDF |
Homomorphic Scheme, Paillier Cryptosystem, Quadratic Fields, IND-CPA and IND-CCA2 security, Standard Model, Generic Construction, Probabilistic Encryption |
13 | Mehran Mozaffari Kermani, Arash Reyhani-Masoleh |
A Lightweight Concurrent Fault Detection Scheme for the AES S-Boxes Using Normal Basis. |
CHES |
2008 |
DBLP DOI BibTeX RDF |
fault detection, Advanced encryption standard, S-box, normal basis |
13 | Md. Nurul Haque Mollah, Shinto Eguchi, Mihoko Minami |
Robust Prewhitening for ICA by Minimizing beta-Divergence and Its Application to FastICA. |
Neural Process. Lett. |
2007 |
DBLP DOI BibTeX RDF |
?-prewhitening, adaptive selection, one standard error, robustness, independent component analysis |
13 | Marius Preda, Blagica Jovanova, Ivica Arsov, Françoise J. Prêteux |
Optimized MPEG-4 animation encoder for motion capture data. |
Web3D |
2007 |
DBLP DOI BibTeX RDF |
MPEG-4 3D graphics standard, animation compression, 3D graphics, motion capture data |
13 | Jin-Oh Jeon, Su-Bong Ryu, Sang-Jo Park, Min-Sup Kang |
Strong Authentication Protocol for RFID Tag Using SHA-1 Hash Algorithm. |
ICCSA (1) |
2007 |
DBLP DOI BibTeX RDF |
Strong authentication protocol, SHA-1 hash algorithm, Three-way challenge response, ISO/IEC 1800-3 standard, Digital Codec design, RFID Tag |
13 | Thaísa Leal da Silva, Cláudio Machado Diniz, João Alberto Vortmann, Luciano Volcan Agostini, Altamiro Amadeu Susin, Sergio Bampi |
A Pipelined 8x8 2-D Forward DCT Hardware Architecture for H.264/AVC High Profile Encoder. |
PSIVT |
2007 |
DBLP DOI BibTeX RDF |
8x8 2-D DCT, H.264/AVC standard, Video compression, Architectural Design |
13 | Benoît Libert, Jean-Jacques Quisquater, Moti Yung |
Efficient Intrusion-Resilient Signatures Without Random Oracles. |
Inscrypt |
2006 |
DBLP DOI BibTeX RDF |
Intrusion-resilience, signatures, standard model, pairings |
13 | Jan Camenisch, Thomas Gross 0001, Dieter Sommer |
Enhancing privacy of federated identity management protocols: anonymous credentials in WS-security. |
WPES |
2006 |
DBLP DOI BibTeX RDF |
XML signature standard, verifiable random function, security, privacy, WS-security, federated identity management |
13 | Isaac Jones |
Haskell' status report. |
Haskell |
2006 |
DBLP DOI BibTeX RDF |
haskell prime, haskell standard, haskell |
13 | Stefan Tillich, Johann Großschädl |
Instruction Set Extensions for Efficient AES Implementation on 32-bit Processors. |
CHES |
2006 |
DBLP DOI BibTeX RDF |
embedded RISC processor, SPARC V8 architecture, Advanced Encryption Standard, instruction set extensions, efficient implementation |
13 | Rakesh M. Verma, Ara Hayrapetyan |
A new decidability technique for ground term rewriting systems with applications. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
standard forms, unique normalization, decision procedures, rewriting, Confluence, pumping lemma |
13 | Jakob E. Bardram, Claus Bossen |
Mobility Work: The Spatial Dimension of Collaboration at a Hospital. |
Comput. Support. Cooperative Work. |
2005 |
DBLP DOI BibTeX RDF |
Anselm Strauss, standard operating configuration, collaboration, mobility, hospitals, mobility work |
13 | Christian Jacobi 0002, Christoph Berg |
Formal Verification of the VAMP Floating Point Unit. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
IEEE standard 754, formal verification, theorem proving, PVS, floating point unit |
13 | Kwanghoon Pio Kim, Ilkyeun Ra |
A Process-Driven e-Business Service Integration System and Its Application to e-Logistics Services. |
WISE |
2005 |
DBLP DOI BibTeX RDF |
e-Business Service Integration System, B2B Choreography and Orchestration, e-Business Process Management, ebXML Standard, CPP/CPA, BPSS, e-Logistics, e-Commerce |
13 | C. P. Moreira, Alexandre A. Shirakawa, Eric Kerherve, Jean-Marie Pham, Pierre Jarry, Didier Belot, Pascal Ancey |
Design of a fully-integrated BiCMOS/FBAR reconfigurable RF receiver front-end. |
SBCCI |
2005 |
DBLP DOI BibTeX RDF |
BAW technology, FBAR integrated filters, RF receiver front-end, direct conversion receiver architecture, dual-standard operation, low noise amplifier |
Displaying result #301 - #400 of 43422 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|