Search results for "EXPRESS"

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