|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5453 occurrences of 3029 keywords
|
|
|
Results
Found 18281 publication records. Showing 18281 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
60 | Venkata Krishnan, Tim Miller, Herman Paraison |
Dolphin express: A transparent approach to enhancing PCI Express. |
CLUSTER |
2007 |
DBLP DOI BibTeX RDF |
|
56 | Chunyan Yu, Minghui Wu 0001, Nairuo Liu, Yueting Zhuang, Yunhe Pan |
Translating EXPRESS language model into C language model. |
ACM SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
C language model, EXPRESS language model, STEP standard, data model translation, model translation |
52 | Eugin Hyun, Kwang-Su Seong |
The Effective Buffer Architecture for Data Link Layer of PCI Express. |
ITCC (1) |
2004 |
DBLP DOI BibTeX RDF |
PCI, Data Link Layer, Buffer management, Buffer, PCI Express |
52 | Torsten Wilde, James Arthur Kohl, Ray E. Flanery Jr. |
Integrating CUMULVS into AVS/Express. |
International Conference on Computational Science (2) |
2002 |
DBLP DOI BibTeX RDF |
CUMULVS, AVS/Express, Scientific Visualization, Component-Based Design |
47 | Ray Bittner |
Bus mastering PCI express in an FPGA. |
FPGA |
2009 |
DBLP DOI BibTeX RDF |
bus mastering, pcie, performance, fpga, design, pci express |
47 | Venkata Krishnan |
Evaluation of an Integrated PCI Express IO Expansion and Clustering Fabric. |
Hot Interconnects |
2008 |
DBLP DOI BibTeX RDF |
IO Expansion, clustering, interconnect, sockets, PCI Express |
43 | Akira Nishida |
Building Cost Effective High Performance Computing Environment via PCI Express. |
ICPP Workshops |
2006 |
DBLP DOI BibTeX RDF |
sparse linear algebra operations, Opteron processor, NUMA systems, InfiniBand, PCI Express |
38 | David A. Sauder, Joshua Lubell |
The Express Web Server: A User Interface for Standards Development. |
SAC |
1999 |
DBLP DOI BibTeX RDF |
STEP (ISO 10303), cgi.tcl, WWW, EXPRESS, dynamic HTML |
37 | William Aiello, Sandeep N. Bhatt, Fan R. K. Chung, Arnold L. Rosenberg, Ramesh K. Sitaraman |
Augmented Ring Networks. |
IEEE Trans. Parallel Distributed Syst. |
2001 |
DBLP DOI BibTeX RDF |
express rings, hierarchical ring networks, diameter trade-offs, graph embedding, Ring networks, multirings, chordal rings, grid graphs |
37 | Michel Wermelinger, Alex Bejan |
Conceptual Structures for Modeling in CIM. |
ICCS |
1993 |
DBLP DOI BibTeX RDF |
PDES/STEP, model management system, EXPRESS language, modular knowledge bases, Computer Integrated Manufacturing |
37 | Mark Baker, Bryan Carpenter, Aamir Shafi |
MPJ Express: Towards Thread Safe Java HPC. |
CLUSTER |
2006 |
DBLP DOI BibTeX RDF |
|
37 | David Melski, Thomas W. Reps |
The Interprocedural Express-Lane Transformation. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Venkata Krishnan, David Mayhew |
Localized Congestion Control in Advanced Switching Interconnects. |
IEEE Micro |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Debendra Das Sharma, Swadesh Choudhary |
Pipelined and Partitionable Forward Error Correction and Cyclic Redundancy Check Circuitry Implementation for PCI Express 6.0 and Compute Express Link 3.0. |
IEEE Micro |
2024 |
DBLP DOI BibTeX RDF |
|
30 | Michi Kanda, Kai Kunze |
Soma Express Kit: Understanding the Somaesthetic Experience of People with Visual Impairment: Soma Express Kit. |
IoT |
2023 |
DBLP DOI BibTeX RDF |
|
30 | Jiu-Chun Gu, Chen Yao, Tian-Hua Jiang |
ELTIML: Express logistics tracking information markup language for data exchange processes in express logistics. |
J. Comput. Methods Sci. Eng. |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Yue Li, Zilong Zhuang, Wei Qin |
The Design of Hybrid Hub-and-spoke Networks for Large-scale Dynamic Express Logistics: A Case Study of Chinese Express. |
CASE |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Pu Lv, Xiang-pei Hu |
Game of HSR Express: Based on Competing Express Companies. |
ICMSS |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Jie Xu, Jing Wang, Dongmei Wang, Xiru Yang |
The backbone network optimization problem of air express: The case of China air express. |
LISS |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Dejan Vucinic, Qingbo Wang, Cyril Guyot, Robert Mateescu, Filip Blagojevic, Luiz Franca-Neto, Damien Le Moal, Trevor Bunker, Jian Xu 0012, Steven Swanson, Zvonimir Bandic |
DC express: shortest latency protocol for reading phase change memory over PCI express. |
FAST |
2014 |
DBLP BibTeX RDF |
|
30 | Terry Elliott |
The Mean Time to Express Synaptic Plasticity in Integrate-and-Express, Stochastic Models of Synaptic Plasticity Induction. |
Neural Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Jon Flower, Adam Kolawa |
Express is not just a Message Passing System Current and Future Directions in Express. |
Parallel Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Salahuddin Muhammad Salim Zabir, Gen Kitagata |
A Proposal for Efficient TCP Flow Control over Satellite Networks. |
Telecommun. Syst. |
2004 |
DBLP DOI BibTeX RDF |
express start, seamless recovery, TCP seamless, TCP peach, TCP IACK, satellite links |
28 | Peter R. Wilson |
EUG'91 Meeting Notes. |
SIGMOD Rec. |
1992 |
DBLP DOI BibTeX RDF |
EXPRESS |
28 | Bertrand T. David, René Chalon, Olivier Delotte, Guillaume Masserey |
ORCHESTRA: Formalism to Express Static and Dynamic Model of Mobile Collaborative Activities and Associated Patterns. |
HCI (1) |
2007 |
DBLP DOI BibTeX RDF |
CSoCW, Specific Description Language, MDA inspired elaboration process, transformation process, formalism meta-model, description patterns |
28 | Venkata Krishnan |
Towards an integrated IO and clustering solution using PCI express. |
CLUSTER |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Bertrand T. David, René Chalon, Olivier Delotte, Guillaume Masserey, Matthieu Imbert |
ORCHESTRA: Formalism to Express Mobile Cooperative Applications. |
CRIWG |
2006 |
DBLP DOI BibTeX RDF |
Specific description language, MDA inspired elaboration process, transformation process, formalism meta-model and examples |
28 | Eugin Hyun, Kwang-Su Seong |
Design and Verification for PCI Express Controller. |
ICITA (1) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Ranjit Noronha, Dhabaleswar K. Panda 0001 |
Can high performance software DSM systems designed with InfiniBand features benefit from PCI-Express? |
CCGRID |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Shigeru Yamashita, Hiroshi Sawada, Akira Nagoya |
SPFD: A new method to express functional flexibility. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Nan C. Shu, Barron C. Housel, Robert W. Taylor, Sakti P. Ghosh, Vincent Y. Lum |
EXPRESS: A Data EXtraction, Processing, amd REStructuring System. |
ACM Trans. Database Syst. |
1977 |
DBLP DOI BibTeX RDF |
file conversion, program generation, data conversion, data translation, data manipulation languages, very high level languages, data description languages, data restructuring |
24 | Nobuyuki Enomoto, Hideyuki Shimonishi, Junichi Higuchi, Takashi Yoshikawa, Atsushi Iwata |
High-Speed, Short-Latency Multipath Ethernet Transport for Interconnections. |
Hot Interconnects |
2008 |
DBLP DOI BibTeX RDF |
Interconnection, Ethernet, Multipath, PCI-Express |
24 | Alain Plantec, Frank Singhoff |
Refactoring of an Ada 95 library with a Meta CASE tool. |
SIGAda |
2006 |
DBLP DOI BibTeX RDF |
PlatypusCheddar, code generating, meta-modeling, EXPRESS, STEP, Meta CASE |
24 | Sharon Brunett, Dan M. Davis, Thomas D. Gottschalk, Paul Messina, Carl Kesselman |
Implementing Distributed Synthetic Forces Simulations in Metacomputing Environments. |
Heterogeneous Computing Workshop |
1998 |
DBLP DOI BibTeX RDF |
ModSAF, SF Express, SPP, Metacomputing, Globus Toolkit, Distributed Interactive Simulation |
23 | Areeb Alowisheq, David E. Millard, Thanassis Tiropanis |
EXPRESS: EXPressing REstful Semantic Services Using Domain Ontologies. |
ISWC |
2009 |
DBLP DOI BibTeX RDF |
SA-REST, Ontologies, Semantic Web, Semantic Web Services, REST, WSMO |
23 | Boris Grot, Joel Hestness, Stephen W. Keckler, Onur Mutlu |
Express Cube Topologies for on-Chip Interconnects. |
HPCA |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Amit Kumar 0002, Li-Shiuan Peh, Partha Kundu, Niraj K. Jha |
Toward Ideal On-Chip Communication Using Express Virtual Channels. |
IEEE Micro |
2008 |
DBLP DOI BibTeX RDF |
packet switching, flow control, on-chip interconnects, router design |
23 | Aamir Shafi, Aftab Hussain 0002, Jamil Raza |
A parallel implementation of the Finite-Domain Time-Difference algorithm using MPJ express. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Paul McAree, Lawrence Bodin, Michael O. Ball, James Segars |
Design of the federal express large package sort facility. |
Ann. Oper. Res. |
2006 |
DBLP DOI BibTeX RDF |
Heuristic algorithm, Mixed integer program |
23 | Yamine Aït Ameur, Remi Delmas, Alexandre Cortier, Virginie Wiels |
Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Tzu-Husan Wu, Rita Kuo, Maiga Chang, Jia-Sheng Heh |
Developing a Learning Notification Express Delivery Service for Students Based on Petri-Net. |
ICALT |
2006 |
DBLP DOI BibTeX RDF |
Learning Feedback, Petri-net, Computer Assisted Learning |
23 | Yalan Yan, Jinlong Zhang, Mi Yan |
Ontology Modeling for Contract: Using OWL to Express Semantic Relations. |
EDOC |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Jiuxing Liu, Amith R. Mamidala, Abhinav Vishnu, Dhabaleswar K. Panda 0001 |
Evaluating InfiniBand Performance with PCI Express. |
IEEE Micro |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Laura Bocchi, Paolo Ciancarini, Rocco Moretti, Valentina Presutti, Davide Rossi |
An OWL-S based approach to express grid services coordination. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Zoé Lacroix, Kaushal Parekh, Maria-Esther Vidal, Marelis Cardenas, Natalia Marquez, Louiqa Raschid |
BioNavigation: Using Ontologies to Express Meaningful Navigational Queries Over Biological Resources. |
CSB Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Christian Heipke, Heinrich Ebner, Ralph Schmidt, Michael Spiegel, Rüdiger Brand, Albert Baumgartner, Gerhard Neukum |
Camera Orientation of Mars Express Using DTM Information. |
DAGM-Symposium |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Jon G. Riecke, Hayo Thielecke |
Typed Exeptions and Continuations Cannot Macro-Express Each Other. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Hugh W. Holbrook, David R. Cheriton |
IP Multicast Channels: EXPRESS Support for Large-scale Single-source Applications. |
SIGCOMM |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Flaminio Borgonovo, Enrico Cadorin, Luigi Fratta, Mauro Pezzè |
Voice and data performance measurements in L-express net. |
SIGCOMM |
1986 |
DBLP DOI BibTeX RDF |
|
22 | Claudio Antares Mezzina, Georgiana Caltais (eds.) |
Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023. |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
22 | |
Erratum:A 240μW 17bit ENOB ΔΣ modulator using 2nd-order noise-shaped integrating quantizer [IEICE Electronics Express Vol. 19 (2022) No. 5 pp. 20220038]. |
IEICE Electron. Express |
2023 |
DBLP DOI BibTeX RDF |
|
22 | |
Erratum:Antenna in package design and measurement for millimeter-wave applications in fan-out wafer-level package [IEICE Electronics Express Vol. 19 (2022) No. 14 pp. 20220122]. |
IEICE Electron. Express |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001 |
The Way We Were: Structural Operational Semantics Research in Perspective. |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Daniel Hirschkoff, Enguerrand Prebet |
Using Pi-Calculus Names as Locks. |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Thomas P. Jensen, Vincent Rebiscoul, Alan Schmitt |
Deriving Abstract Interpreters from Skeletal Semantics. |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Marjan Sirjani, Ehsan Khamespanah |
Timed Actors and Their Formal Verification. |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Shunya Oguchi, Shoji Yuen |
CRIL: A Concurrent Reversible Intermediate Language. |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Rob van Glabbeek, Jan Friso Groote, Erik P. de Vink |
A Cancellation Law for Probabilistic Processes. |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele |
Quantifying Masking Fault-Tolerance via Fair Stochastic Games. |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi |
EXPRESSing Session Types. |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Jos C. M. Baeten, Bas Luttik |
Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract). |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Rob van Glabbeek, Peter Höfner, Weiyou Wang |
A Lean-Congruence Format for EP-Bisimilarity. |
EXPRESS/SOS |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Valentina Castiglioni, Claudio Antares Mezzina (eds.) |
Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, Warsaw, Poland, 12th September 2022. |
EXPRESS/SOS |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Stian Lasse Lybech |
Encodability and Separation for a Reflective Higher-Order Calculus. |
EXPRESS/SOS |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Kirstin Peters, Nobuko Yoshida |
On the Expressiveness of Mixed Choice Sessions. |
EXPRESS/SOS |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Anna Philippou, Kyriaki Psara |
Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation. |
EXPRESS/SOS |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Alexander Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel, Stian Lasse Lybech |
A Generic Type System for Higher-Order Ψ-calculi. |
EXPRESS/SOS |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Bas van den Heuvel 0001, Jorge A. Pérez 0001 |
Asynchronous Functional Sessions: Cyclic and Concurrent. |
EXPRESS/SOS |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Silvia Crafa |
From Legal Contracts to Legal Calculi: the code-driven normativity. |
EXPRESS/SOS |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Clément Aubert, Ross Horne, Christian Johansen |
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus. |
EXPRESS/SOS |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield |
From CCS to CSP: the m-among-n Synchronisation Approach. |
EXPRESS/SOS |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Ornela Dardha, Valentina Castiglioni (eds.) |
Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, EXPRESS/SOS 2021, and 18th Workshop on Structural Operational SemanticsParis, France (online event), 23rd August 2021. |
EXPRESS/SOS |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Minoru Fujishima |
Erratum: Overview of sub-terahertz communication and 300GHz CMOS transceivers [IEICE Electronics Express Vol. 18 (2021) No. 8 pp. 20212002]. |
IEICE Electron. Express |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Benjamin Bisping, Luisa Montanari |
A Game Characterization for Contrasimilarity. |
EXPRESS/SOS |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Manfred Schmidt-Schauß, David Sabel |
Minimal Translations from Synchronous Communication to Synchronizing Locks. |
EXPRESS/SOS |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Xian Xu, Wenbo Zhang |
On Decidability of the Bisimilarity on Higher-order Processes with Parameterization. |
EXPRESS/SOS |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Matteo Cimini, Benjamin Mourad |
Language Transformations in the Classroom. |
EXPRESS/SOS |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Jan Friso Groote |
Infinite Choice and Probability Distributions. An Open Problem: The Real Hotel. |
EXPRESS/SOS |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Eric Alsmann, Florian Bruse, Martin Lange |
Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics. |
EXPRESS/SOS |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Ornela Dardha, Jurriaan Rot (eds.) |
Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020, and 17th Workshop on Structural Operational SemanticsOnline, 31 August 2020. |
EXPRESS/SOS |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Yasuo Kokubun, Masanori Koshiba |
Erratum: Predictable and unpredictable phenomena in optical fibers for space-division/mode-division multiplexing transmission: statistical analysis of coupling and mysterious behavior of modes [IEICE Electronics Express Vol. 17 (2020) No. 15 pp. 20202001]. |
IEICE Electron. Express |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Zhi-jiu Zhu, Yi Yu, Xu Bai, Shushan Qiao, Yong Hei |
Erratum: Snake: An asynchronous pipeline for ultra-low-power applications [IEICE Electronics Express Vol. 16 (2019) No. 12 pp. 20190293]. |
IEICE Electron. Express |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Zhi-jiu Zhu, Yi Yu, Xu Bai, Shushan Qiao, Yong Hei |
Erratum: A low-overhead error detection and correction technique with a relaxed error timing constraint for variation-tolerance [IEICE Electronics Express Vol. 16 (2019) No. 14 pp. 20190342]. |
IEICE Electron. Express |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Manfred Schmidt-Schauß, David Sabel |
Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars. |
EXPRESS/SOS |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Mark Bouwman, Bas Luttik, Wouter Schols, Tim A. C. Willemse |
A process algebra with global variables. |
EXPRESS/SOS |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Bas Luttik |
Divergence-Preserving Branching Bisimilarity. |
EXPRESS/SOS |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Rob van Glabbeek |
Reactive Temporal Logic. |
EXPRESS/SOS |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Ryan Kavanagh |
Substructural Observed Communication Semantics. |
EXPRESS/SOS |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi |
Can determinism and compositionality coexist in RML? |
EXPRESS/SOS |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Jorge A. Pérez 0001, Jurriaan Rot (eds.) |
Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, 26th August 2019. |
EXPRESS/SOS |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Wanghui Zou, Jin Hu, Diping Chen, Yun Zeng |
An equivalent lumped circuit model for on-chip helical transformers [IEICE Electronics Express Vol. 15 (2018) No. 3 pp. 20170818]. |
IEICE Electron. Express |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Daniele Gorla, Ivano Salvo, Adolfo Piperno |
Conflict vs Causality in Event Structures. |
EXPRESS/SOS |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Frank Valencia |
Semantic Structures for Spatially-Distributed Multi-Agent Systems. |
EXPRESS/SOS |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Kirstin Peters |
Comparing Process Calculi Using Encodings. |
EXPRESS/SOS |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Rob van Glabbeek |
On the Meaning of Transition System Specifications. |
EXPRESS/SOS |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Omar al Duhaiby, Jan Friso Groote |
Distribution of Behaviour into Parallel Communicating Subsystems. |
EXPRESS/SOS |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Tobias Prehn, Myron Rotter |
Immediate Observation in Mediated Population Protocols. |
EXPRESS/SOS |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Tom Hirschowitz |
Cellular Monads from Positive GSOS Specifications. |
EXPRESS/SOS |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Jorge A. Pérez 0001, Simone Tini (eds.) |
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018. |
EXPRESS/SOS |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Go Matsukawa, Taisuke Kodama, Yuri Nishizumi, Koichi Kajihara, Chikako Nakanishi, Shintaro Izumi, Hiroshi Kawaguchi 0001, Toshio Goto, Takeo Kato, Masahiko Yoshimoto |
A low power, VLSI object recognition processor using Sparse FIND feature for 60 fps HDTV resolution video [IEICE Electronics Express Vol. 14(2017) No. 15 pp. 20170668]. |
IEICE Electron. Express |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 18281 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|