Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Peter Bajcsy, Narendra Ahuja |
Uniformity and homogeneity-based hierarchical clustering. |
ICPR |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Vaughn Betz, Jonathan Rose |
Directional bias and non-uniformity in FPGA global routing architectures. |
ICCAD |
1996 |
DBLP DOI BibTeX RDF |
Field-Programmable Gate Arrays (FPGAs), Placement, Global Routing |
15 | Olivier F. Roux, Vlad Rusu |
Uniformity for the Decidability of Hybrid Automata. |
SAS |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Elisabeth Freeman, David Gelernter, Suresh Jagannathan |
Uniformity of Environment and Computation in MAP. |
VL |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Carsten Damm, Markus Holzer 0001, Peter Rossmanith |
Expressing Uniformity via Oracles |
Universität Trier, Mathematik/Informatik, Forschungsbericht |
1995 |
RDF |
|
15 | Thomas Glaß |
Understanding Uniformity in Feferman's Explicit Mathematics. |
Ann. Pure Appl. Log. |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Marva Almon, Hedva Spitzer |
Effect of degree of uniformity on predicted visual cortical response tuning curves. |
Biol. Cybern. |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Randall B. Smith, John Maloney, David M. Ungar |
The Self-4.0 User Interface: Manifesting a System-wide Vision of Concreteness, Uniformity and Flexibility. |
OOPSLA |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Susanne Kaufmann, Martin Kummer |
On a Quantitative Notion of Uniformity. |
MFCS |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Roger K. W. Hui |
Rank and Uniformity. |
APL |
1995 |
DBLP DOI BibTeX RDF |
APL |
15 | Kaisa Nyberg |
S-boxes and Round Functions with Controllable Linearity and Differential Uniformity. |
FSE |
1994 |
DBLP DOI BibTeX RDF |
|
15 | David A. Mix Barrington, Neil Immerman |
Time, Hardware, and Uniformity. |
SCT |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Julia Abrahams, Marc J. Lipman |
Relative uniformity of sources and the comparison of optimal code costs. |
IEEE Trans. Inf. Theory |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Herbert Weber |
Uniformity and invariance in support of re-use. |
IWSR |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Charles Grégoire |
Delegation: Uniformity in Heterogeneous Distribued Administration. |
LISA |
1993 |
DBLP BibTeX RDF |
|
15 | Peter Frankl, Vojtech Rödl |
The Uniformity Lemma for hypergraphs. |
Graphs Comb. |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Kenneth W. Regan |
Diagonalization, Uniformity, and Fixed-Point Theorems |
Inf. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Steven Lindell |
A Purely Logical Characterization of Circuit Uniformity. |
SCT |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Ali Jaoua, Ali Mili 0001, Noureddine Boudriga, J. L. Durieux |
Regularity of Relations: A Measure of Uniformity. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
15 | David A. Mix Barrington, Neil Immerman, Howard Straubing |
On Uniformity within NC¹. |
J. Comput. Syst. Sci. |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Angus Macintyre |
Rationality of p-adic Poincaré Series: Uniformity in p. |
Ann. Pure Appl. Log. |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Ahmad Hemami |
Joint velocity uniformity in redundant robot manipulators. |
Robotica |
1990 |
DBLP DOI BibTeX RDF |
|
15 | David A. Mix Barrington, Neil Immerman, Howard Straubing |
On uniformity within NC1. |
SCT |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Khee Meng Koh, K. S. Poh |
On the uniformity of the closed-set lattice of a tree. |
Discret. Math. |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Aron Edidin |
Inductive reasoning and the uniformity of nature. |
J. Philos. Log. |
1984 |
DBLP DOI BibTeX RDF |
|
15 | Stephen P. Smith, Anil K. Jain 0001 |
Testing for Uniformity in Multidimensional Data. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1984 |
DBLP DOI BibTeX RDF |
|
15 | Michal Grabowski |
Non-uniformity of dynamic logic - Extended abstract. |
Symposium on Computation Theory |
1984 |
DBLP DOI BibTeX RDF |
|
15 | Grzegorz Rozenberg, R. Verraedt |
Studies in uniformity. |
Inf. Sci. |
1982 |
DBLP DOI BibTeX RDF |
|
15 | Herman M. Presby |
Geometrical uniformity of plastic coatings on optical fibers. |
Bell Syst. Tech. J. |
1976 |
DBLP DOI BibTeX RDF |
|
15 | E. H. Rogers |
Liapunov Criteria for Uniformity. |
Math. Syst. Theory |
1975 |
DBLP DOI BibTeX RDF |
|
15 | Serafino Amoroso, Irving J. Epstein |
Maps Preserving the Uniformity of Neighborhood Interconnection Patterns in Tessellation Structures |
Inf. Control. |
1974 |
DBLP DOI BibTeX RDF |
|
9 | Hai Huang 0003, Chengfei Liu |
Selectivity estimation for SPARQL graph pattern. |
WWW |
2010 |
DBLP DOI BibTeX RDF |
rdf query processing, selectivity estimation |
9 | Huang-Yu Chen, Szu-Jui Chou, Yao-Wen Chang |
Density gradient minimization with coupling-constrained dummy fill for CMP control. |
ISPD |
2010 |
DBLP DOI BibTeX RDF |
density gradient, manufacturability, chemical-mechanical polishing, dummy fill |
9 | Yuval Emek, Magnús M. Halldórsson, Yishay Mansour, Boaz Patt-Shamir, Jaikumar Radhakrishnan, Dror Rawitz |
Online set packing and competitive scheduling of multi-part tasks. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
multi-packet frames, online set packing, packet fragmentation, competitive analysis |
9 | Eriko Kimura, Naoki Kawai, Kazunori Miyata |
Practical 3D decoration on flat media with anisotropic reflection. |
SIGGRAPH Posters |
2010 |
DBLP DOI BibTeX RDF |
|
9 | Flavio Chierichetti, Silvio Lattanzi, Alessandro Panconesi |
Almost tight bounds for rumour spreading with conductance. |
STOC |
2010 |
DBLP DOI BibTeX RDF |
rumor spreading, social networks, conductance |
9 | Petra Berenbrink, André Brinkmann, Tom Friedetzky, Lars Nagel 0001 |
Balls into bins with related random choices. |
SPAA |
2010 |
DBLP DOI BibTeX RDF |
balls into bins, peer-to-peer |
9 | Hamed F. Dadgour, Muhammad Mustafa Hussain, Casey Smith, Kaustav Banerjee |
Design and analysis of compact ultra energy-efficient logic gates using laterally-actuated double-electrode NEMS. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
energy-efficient electronics, laterally-actuated NEMS, nano-electro-mechanical switches, steep-subthreshold switch, logic design, process variation |
9 | Karane Vieira, André Luiz da Costa Carvalho, Klessius Berlt, Edleno Silva de Moura, Altigran Soares da Silva, Juliana Freire |
On Finding Templates on Web Collections. |
World Wide Web |
2009 |
DBLP DOI BibTeX RDF |
web template detection, tree-mapping, web IR |
9 | Tao Ban, Changshui Zhang, Shigeo Abe |
A new approach to discover interlacing data structures in high-dimensional space. |
J. Intell. Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Interlacing data structures, Real world dataset, High-dimensional space |
9 | Germano Resconi, Boris Kovalerchuk |
Agents' model of uncertainty. |
Knowl. Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Uncertainty logic, Conflicting agents, Fuzzy logic, Rough sets, Intuitionistic fuzzy sets, Evidence theory, Contradiction, Ignorance |
9 | Huang-Yu Chen, Szu-Jui Chou, Sheng-Lung Wang, Yao-Wen Chang |
A Novel Wire-Density-Driven Full-Chip Routing System for CMP Variation Control. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Deger Cenk Erdil, Michael J. Lewis |
Gossiping protocols for hybrid grid resource scheduling. |
Peer-to-Peer Netw. Appl. |
2009 |
DBLP DOI BibTeX RDF |
Grid resource scheduling, Epidemic gossiping, Pairwise gossiping, Information dissemination, Gossiping protocols |
9 | Andreas Schierwagen |
Brain Complexity: Analysis, Models and Limits of Understanding. |
IWINAC (1) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Wei Gao, Haizhou Ai |
Face Gender Classification on Consumer Images in a Multiethnic Environment. |
ICB |
2009 |
DBLP DOI BibTeX RDF |
Boosting tree, multiethnic environment, gender classification |
9 | Zhichun Li, Anup Goyal, Yan Chen 0004, Vern Paxson |
Automating analysis of large-scale botnet probing events. |
AsiaCCS |
2009 |
DBLP DOI BibTeX RDF |
global property extrapolation, scan strategy inference, situational awareness, botnet, statistical inference, honeynet |
9 | Enke Li, Shangqian Liu, Shimin Yin, Xiaoning Fu |
Nonuniformity Correction Algorithms of IRFPA Based on Radiation Source Scaling. |
IAS |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Merja Karjalainen, Graham J. L. Kemp |
Uniform query processing in a federation of RDFS and relational resources. |
IDEAS |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Shiaw-Tsyr Uang, Cheng-Li Liu, Mali Chang |
The Effects of an Anti-glare Sleeve Installed on Fluorescent Tube Lamps on Glare and Reading Comfort. |
HCI (3) |
2009 |
DBLP DOI BibTeX RDF |
Glare, Reading comfort, Fluorescent tube lamp, Lamp sleeve |
9 | Adam Lein, Richard T. Vaughan |
Adapting to non-uniform resource distributions in robotic swarm foraging through work-site relocation. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Wai-Ki Ching, Yang Cong, Nam-Kiu Tsing |
A Max-Min Principle for Phyllotactic Patterns. |
Complex (2) |
2009 |
DBLP DOI BibTeX RDF |
Divergence Angle, Golden Angle, Max-Min Principle, Phyllotactic Patterns |
9 | Moinuddin K. Qureshi, John P. Karidis, Michele Franceschini, Vijayalakshmi Srinivasan, Luis A. Lastras, Bülent Abali |
Enhancing lifetime and security of PCM-based main memory with start-gap wear leveling. |
MICRO |
2009 |
DBLP DOI BibTeX RDF |
phase change memory, wear leveling, endurance |
9 | Frank Pfenning, Robert J. Simmons |
Substructural Operational Semantics as Ordered Logic Programming. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis |
Mediated Population Protocols. |
ICALP (2) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Paolo Spagnolo, Pier Luigi Mazzeo, Marco Leo, Tiziana D'Orazio |
Shadows Removal by Edges Matching. |
ISVC (2) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Kazuaki Kondo, Yasuhiro Mukaigawa, Yasushi Yagi |
Wearable imaging system for capturing omnidirectional movies from a first-person perspective. |
VRST |
2009 |
DBLP DOI BibTeX RDF |
first-person perspective, omnidirectional imaging system, wearable camera |
9 | Cyrus P. Hall, Antonio Carzaniga |
Uniform Sampling for Directed P2P Networks. |
Euro-Par |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis |
Brief Announcement: Decidable Graph Languages by Mediated Population Protocols. |
DISC |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Richard M. Salter, John L. Donaldson |
Abstraction and extensibility in digital logic simulation software. |
SIGCSE |
2009 |
DBLP DOI BibTeX RDF |
simulation, abstraction, logic design |
9 | Fahad Bin Muhaya, Muhammad Usama, Muhammad Khurram Khan |
Modified AES Using Chaotic Key Generator for Satellite Imagery Encryption. |
ICIC (1) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Juan A. Garay, Vladimir Kolesnikov, Rae McLellan |
MAC Precomputation with Applications to Secure Memory. |
ISC |
2009 |
DBLP DOI BibTeX RDF |
|
9 | David Doty, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers, Damien Woods |
Random Number Selection in Self-assembly. |
UC |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Xinyu Zhang, Seth E. Watts, Yaohang Li, Daniel A. Tortorelli |
Minkowski Functionals Study of Random Number Sequences. |
ICCS (1) |
2009 |
DBLP DOI BibTeX RDF |
Minkowski functionals, point pattern, random number, random number test |
9 | Maxim Gurevich, Idit Keidar |
Correctness of gossip-based membership under message loss. |
PODC |
2009 |
DBLP DOI BibTeX RDF |
peer-to-peer, gossip, random sampling, membership |
9 | Bao Liu 0001 |
Adaptive voltage controlled nanoelectronic addressing for yield, accuracy and resolution. |
ISQED |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Miqing Li, Jinhua Zheng |
Spread Assessment for Evolutionary Multi-Objective Optimization. |
EMO |
2009 |
DBLP DOI BibTeX RDF |
Hypervolume, Boundary solution, Multi-objective optimization, Performance assessment, Spread |
9 | Nuno Lopes 0001, Carlos Baquero |
Search Optimizations in Structured Peer-to-Peer Systems. |
WETICE |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Jason Agron |
Domain-Specific Language for HW/SW Co-design for FPGAs. |
DSL |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Spyros Apostolacos, George Lykakis, Apostolos Meliones, Vassilis Vlagoulis, Emmanuel Touloupis, George E. Konstantoulakis |
Design, Implementation and Validation of an Open Source IP-PBX/VoIP Gateway SoC. |
VLSI Design |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Chunyang Feng, Hai Zhou 0001, Changhao Yan, Jun Tao 0001, Xuan Zeng 0001 |
Provably good and practically efficient algorithms for CMP dummy fill. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
covering linear programming, dummy fill problem, design for manufacturability |
9 | Oscar Díaz, Felipe I. Anfurrutia, Jon Kortabitarte |
Using DITA for documenting software product lines. |
ACM Symposium on Document Engineering |
2009 |
DBLP DOI BibTeX RDF |
documentation, software product lines, feature oriented programming, dita |
9 | Alix Mougenot, Alexis Darrasse, Xavier Blanc 0001, Michèle Soria |
Uniform Random Generation of Huge Metamodel Instances. |
ECMDA-FA |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Boris Shishkov, Marten van Sinderen, Alexander Verbraeck |
Towards Flexible Inter-enterprise Collaboration: A Supply Chain Perspective. |
ICEIS |
2009 |
DBLP DOI BibTeX RDF |
(non-) Standardized collaboration, Broker-mediated collaboration, Knowledge-based traceability, Service-oriented architectures, Supply chain, Inter-enterprise collaboration |
9 | Adam C. Zelinski, Lawrence L. Wald, Kawin Setsompop, Vivek K. Goyal, Elfar Adalsteinsson |
Sparsity-Enforced Slice-Selective MRI RF Excitation Pulse Design. |
IEEE Trans. Medical Imaging |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Masahiko Nakamoto, Kazuhisa Nakada, Yoshinobu Sato, Kozo Konishi, Makoto Hashizume, Shinichi Tamura |
Intraoperative Magnetic Tracker Calibration Using a Magneto-Optic Hybrid Tracker for 3-D Ultrasound-Based Navigation in Laparoscopic Surgery. |
IEEE Trans. Medical Imaging |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Hua Xiang 0001, Liang Deng, Ruchir Puri, Kai-Yuan Chao, Martin D. F. Wong |
Fast Dummy-Fill Density Analysis With Coupling Constraints. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Andrew B. Kahng, Kambiz Samadi |
CMP Fill Synthesis: A Survey of Recent Studies. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Hua Xiang 0001, Kai-Yuan Chao, Ruchir Puri, Martin D. F. Wong |
Is Your Layout-Density Verification Exact? - A Fast Exact Deep Submicrometer Density Calculation Algorithm. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Frank van Ham, Bernice E. Rogowitz |
Perceptual Organization in User-Generated Graph Layouts. |
IEEE Trans. Vis. Comput. Graph. |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Daniel P. Lorence, Li Chen |
Disparities in Health Information Quality Across the Rural-Urban Continuum: Where is Coded Data More Reliable? |
J. Medical Syst. |
2008 |
DBLP DOI BibTeX RDF |
Evidence-based, Classification, Coding, Error, Population |
9 | Eran Borenstein, Shimon Ullman |
Combined Top-Down/Bottom-Up Segmentation. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Russel E. Caflisch |
Growth, Structure and Pattern Formation for Thin Films. |
J. Sci. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Epitaxial growth, Island dynamics, Lattice statics, Nanocrystals, Level set method, Strain energy, Quantum dots |
9 | Xiaohong Jiang 0001, Achille Pattavina, Susumu Horiguchi |
Rearrangeable f-cast multi-log2 N networks. |
IEEE Trans. Commun. |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Noboru Osuga, Shizuo Kamo |
The cardinal coefficients of the Ideal If. |
Arch. Math. Log. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03E17, 03E35 |
9 | Hai Zhuge, Yunpeng Xing, Peng Shi 0005 |
Resource space model, OWL and database: Mapping and integration. |
ACM Trans. Internet Techn. |
2008 |
DBLP DOI BibTeX RDF |
resource space model, semantic web, Integration, mapping, web ontology language, relational database model, semantic link network |
9 | Tomás Filler, Jessica J. Fridrich, Miroslav Goljan |
Using sensor pattern noise for camera model identification. |
ICIP |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Burak Aksak, Michael P. Murphy, Metin Sitti |
Gecko inspired micro-fibrillar adhesives for wall climbing robots on micro/nanoscale rough surfaces. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Sajad Loan, S. Qureshi, S. Sundar Kumar Iyer |
Investigation of a Multizone Drift Doping Based Lateral Bipolar Transistor on Buried Oxide Thick Step. |
World Congress on Engineering (Selected Papers) |
2008 |
DBLP DOI BibTeX RDF |
Multizone step, multizone doping, lateral bipolar junction transistor, buried oxide thick step, breakdown voltage |
9 | N. Pete Sedcole, Justin S. J. Wong, Peter Y. K. Cheung |
Measuring and modeling FPGA clock variability. |
FPGA |
2008 |
DBLP DOI BibTeX RDF |
within-die variability, modeling, FPGA, process variation, clock skew |
9 | Michael Albrecht, Johann-Friedrich Luy, Peter Russer |
Source Stirring Technology for Automotive Antenna Measurement. |
VTC Spring |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Adrian Rengle, Hélène Ratiney, Adriana Bucur, Sophie Cavassila, Olivier Beuf |
Magnetic resonance imaging (MRI) and spectroscopy (MRS) using simultaneous 2-channel acquisitions: Application for mouse brain examination by reconfiguration of a "standard" Bruker spectrometer. |
ISBI |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Yu Zhou, Somnath Paul, Swarup Bhunia |
Harvesting Wasted Heat in a Microprocessor Using Thermoelectric Generators: Modeling, Analysis and Measurement. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Dimitar P. Guelev, Catalin Dima |
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions. |
DALT |
2008 |
DBLP DOI BibTeX RDF |
|
9 | M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder 0001 |
Service Specification and Matchmaking Using Description Logic. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
9 | A. K. M. Azad, Joarder Kamruzzaman |
Asynchronous Variable Hop Size Transmission with Stochastic Data Model for Sensor Networks. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Meghna Singh, Mrinal Mandal 0001, Anup Basu |
A confidence measure and iterative rank-based method for temporal registration. |
ICASSP |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Daniel Ratiu, Jan Jürjens |
Evaluating the Reference and Representation of Domain Concepts in APIs. |
ICPC |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Zon Fazlila Mohd Ahir, Ahmad Zarif Zulkifli, Abdul Manaf Hashim |
Modeling and Characterization of Capacitively Coupled Interdigital-Gated HEMT Plasma Device for Terahertz Wave Amplification. |
Asia International Conference on Modelling and Simulation |
2008 |
DBLP DOI BibTeX RDF |
Plasma wave, Interdigital, Negative conductance, HEMT, Terahertz |
9 | Joshua Paul Robinson, Ram Swaminathan, Edward W. Knightly |
Assessment of urban-scale wireless networks with a small number of measurements. |
MobiCom |
2008 |
DBLP DOI BibTeX RDF |
measurement assessment, wireless, coverage, deployment, mesh networks, access network, signal strength |
9 | Richard M. Salter, John L. Donaldson |
Using DLSim 3: a scalable, extensible, multi-level logic simulator. |
ITiCSE |
2008 |
DBLP DOI BibTeX RDF |
logic circuit simulation, abstraction, computer architecture |