Search results for "G-net"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Martin Fowler, Don Box, Anders Hejlsberg, Alan Knight, Rob J. High, John Crupi	The great J2EE vs. microsoft.NET shootout.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	J2EE, NET
17	Victor Khomenko, Maciej Koutny, Alexandre Yakovlev	Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT.	ACSD	2004	DBLP DOI BibTeX RDF	net unfoldings, partial order techniques, Petri nets, logic synthesis, asynchronous circuits, SAT, signal transition graphs, STG, self-timed circuits
17	Russell E. McMahon	How can you teach what you don't know?: a case study of learning and teaching microsoft .NET framework and C#.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	Perry levels, teaching challenges, information technology education, C#, NET
17	Anna Goldenberg, Andrew W. Moore 0001	Tractable learning of large Bayes net structures from sparse data.	ICML	2004	DBLP DOI BibTeX RDF	Bayes Net structure learning, Bayesian networks/graphical models, statistical learning
17	Lei He 0001, Kevin M. Lepak	Simultaneous shield insertion and net ordering for capacitive and inductive coupling minimization.	ISPD	2000	DBLP DOI BibTeX RDF	VLSI design automation, net ordering, noise minimization, shielding
17	Chrysanthos Dellarocas, Mark Klein, Juan A. Rodríguez-Aguilar	An exception-handling architecture for open electronic marketplaces of contract net software agents.	EC	2000	DBLP DOI BibTeX RDF	failure management, software agents, exception handling, electronic markets, electronic institutions, contract net
17	Jin-Cheon Na, Richard Furuta	Context-aware hypermedia in a dynamically-changing environment, supported by a high-level Petri net.	Hypertext	2000	DBLP DOI BibTeX RDF	context-aware hypertext system, fuzzy logic, high-level Petri net
17	Konstantin Knorr	Dynamic Access Control through Petri Net Workflows.	ACSAC	2000	DBLP DOI BibTeX RDF	Petri net workflows, access control matrix, privileges, data misuse, Petri nets, information systems, information systems, authorisation, workflow management software, protection mechanism, dynamic access control
17	Shinji Kusumoto, Osamu Mizuno, Tohru Kikuno, Yuji Hirayama, Yasunari Takagi, Keishi Sakamoto	A New Software Project Simulator Based on Generalized Stochastic Petri-net.	ICSE	1997	DBLP DOI BibTeX RDF	simulation, Petri-net, project management, software process
17	Corey Kosak, David A. Eckhardt, Todd W. Mummert, Peter Steenkiste, Allan Fisher	Buffer management and flow control in the Credit Net ATM host interface.	LCN	1995	DBLP DOI BibTeX RDF	Credit Net ATM host interface, negotiated quality-of-service guarantees, application-specific data management, network endpoints, PCI bus host adapter architecture, OC-12 ATM, OC-3 ATM, ATM endpoint hosts, asynchronous transfer mode, computer networks, bandwidth, storage management, ATM networking, buffer management, flow control, buffer storage, telecommunication congestion control, system buses
17	Gianfranco Ciardo, Reinhard German, Christoph Lindemann	A Characterization of the Stochastic Process Underlying a Stochastic Petri Net.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	distributed firing times, SPN classes, modeling power, deterministic Petri nets, semiMarkovian stochastic Petri nets, generalized timed Petri nets, state discretization, continuous-time case, PH-type distributions, simulation, Petri nets, Markov processes, stochastic processes, stochastic process, stochastic Petri net, stochastic Petri nets, timed Petri nets, generalized stochastic Petri nets, embedded Markov chain
17	Ing-Ray Chen, Rajakumar Betapudi	A Petri net model for the performance analysis of transaction database systems with continuous deadlock detection.	SAC	1994	DBLP DOI BibTeX RDF	performance analysis, deadlocks, database systems, stochastic Petri net, two-phase locking
17	Leslie S. Smith	A Framework for Neural Net Specification.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	neural net specification, interacting processing elements, formal specification, framework, connections, neural nets, transfer functions, mathematical framework
17	Tadao Murata, V. S. Subrahmanian, Toshiro Wakayama	A Petri Net Model for Reasoning in the Presence of Inconsistency.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	large expert systems, Petri nets, query processing, logic programs, logic programming, logic programming, expert systems, query languages, queries, reasoning, inference mechanisms, inconsistency, classical logic, Petri net model
17	Antonia Sinachopoulos	Partial Order Logics for Elementary Net Systems: State- and Event-approaches.	CONCUR	1990	DBLP DOI BibTeX RDF	Partial Order Logics, Next Operator, Case Graphs, Action Graphs, Specific Axiomatics, State Approach, Action Approach, Petri Nets, Specification, Elementary Net Systems
17	Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham	PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	PROTEAN, high-level Petri net tool, numerical Petri nets, textual interfaces, exhaustive reachability analysis, directed graph analysis, engineering workstation, verification, protocols, specification, software tools, finite state machines, specification languages, directed graphs, communication protocols, finite automata, graphical interfaces, interactive simulation
17	Peter Bathelt, F. Hofmann	A comparison of two Petri net types.	Computing	1983	DBLP DOI BibTeX RDF	Petri net classes, synchronization problem, simulation rules
17	Richard Laing	Nerve-net simulations.	Commun. ACM	1961	DBLP DOI BibTeX RDF	machine learning theory, nerve-net simulation, automata theory
16	Matthew Canton	The presence table: a reactive surface for ambient connection.	TEI	2011	DBLP DOI BibTeX RDF
16	Oliver Schulte, Gustavo Frigo, Russell Greiner, Wei Luo 0001, Hassan Khosravi	A new hybrid method for Bayesian network learning With dependency constraints.	CIDM	2009	DBLP DOI BibTeX RDF
16	Tsung-Hsien Lee, Ting-Chi Wang	Robust layer assignment for via optimization in multi-layer global routing.	ISPD	2009	DBLP DOI BibTeX RDF	optimization, computer-aided design, global routing, via, layer assignment
16	V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee 0001	Merlin: specification inference for explicit information flow problems.	PLDI	2009	DBLP DOI BibTeX RDF	security analysis tools, specification inference
16	Zhiwu Li 0001, Mi Zhao	On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
16	Chris C. N. Chu, Yiu-Chung Wong	FLUTE: Fast Lookup Table Based Rectilinear Steiner Minimal Tree Algorithm for VLSI Design.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
16	Paolo Baldan, Andrea Corradini 0001, Barbara König 0001, Stefan Schwoon	McMillan's Complete Prefix for Contextual Nets.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF	read arcs, complete finite prefix, verification, Petri nets, unfolding
16	Steven C. S. Ng, Allan K. Y. Wong	RCR - A Novel Model for Effective Computer-Aided TCM (Traditional Chinese Medicine) Learning over the Web.	CSSE (5)	2008	DBLP DOI BibTeX RDF
16	Sagi Snir, Tamir Tuller	Novel Phylogenetic Network Inference by Combining Maximum Likelihood and Hidden Markov Models.	WABI	2008	DBLP DOI BibTeX RDF
16	Wil M. P. van der Aalst	Discovery, Verification and Conformance of Workflows with Cancellation.	ICGT	2008	DBLP DOI BibTeX RDF	Reset Nets, Verification, Petri Nets, Soundness, Process Mining
16	Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia	A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms.	ICATPN	2007	DBLP DOI BibTeX RDF	Asynchronous communication mechanisms, model checking, Petri nets, protocols, synthesis, concurrent systems
16	Hugo Costelha, Pedro U. Lima	Modelling, analysis and execution of robotic tasks using petri nets.	IROS	2007	DBLP DOI BibTeX RDF
16	Sukanya Mitra, Mandar Mitra, B. B. Chaudhuri 0001	Computation of QRS Vector of ECG Signal for Observation of It's Clinical Significance.	PReMI	2007	DBLP DOI BibTeX RDF	QRS vector, NQD, software, ECG, baseline
16	Cristina Solares, Ana Maria Sanz	Different Bayesian Network Models in the Classification of Remote Sensing Images.	IDEAL	2007	DBLP DOI BibTeX RDF
16	Robert Lorenz 0001, Sebastian Mauser, Gabriel Juhás	How to synthesize nets from languages: a survey.	WSC	2007	DBLP DOI BibTeX RDF
16	Line Harder Clemmensen, David Delgado-Gómez, Bjarne K. Ersbøll	Individual Discriminative Face Recognition Models Based on Subsets of Features.	SCIA	2007	DBLP DOI BibTeX RDF
16	Zhijun Ding, Junli Wang, Hong Song	AI Planning for Web Service Automatic Composition Using Petri Nets.	CSCWD	2007	DBLP DOI BibTeX RDF
16	Hua Xu, Yuan Wang, Peifa Jia	Fuzzy Neural Petri Nets.	ISNN (2)	2007	DBLP DOI BibTeX RDF
16	Kiyomi Nakamura, Hironobu Takano	Unregistered Face Discrimination by the Face Orientation and Size Recognition.	IJCNN	2007	DBLP DOI BibTeX RDF
16	Hironobu Takano, Takeshi Kawasaki, Hiroki Kobayashi, Kiyomi Nakamura	Iris Discrimination Combined with the Shape and Orientation Recognition.	IJCNN	2007	DBLP DOI BibTeX RDF
16	Feng He, Jiajin Le	Hierarchical Petri-Nets Model for the Design of E-Learning System.	Edutainment	2007	DBLP DOI BibTeX RDF	hierarchical Petri-nets, Web services, learning object, conceptual framework
16	Matthew Williams 0001, Jon Williamson	Combining Argumentation and Bayesian Nets for Breast Cancer Prognosis.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	bayesian networks, logic, argumentation, bayes theorem
16	Azadeh Farzan, P. Madhusudan	Causal Atomicity.	CAV	2006	DBLP DOI BibTeX RDF
16	Robert Lorenz 0001, Gabriel Juhás	Towards Synthesis of Petri Nets from Scenarios.	ICATPN	2006	DBLP DOI BibTeX RDF
16	Sami Evangelista, Jean-François Pradat-Peyre	On the Computation of Stubborn Sets of Colored Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
16	JiDong Ge, Hao Hu 0001, Qing Gu, Jian Lu 0001	Modeling Multi-View Software Process with Object Petri Nets.	ICSEA	2006	DBLP DOI BibTeX RDF	software process, software process modeling, object Petri nets, PSEE
16	Noriyuki Ito, Hideaki Katagiri, Ryoichi Yamashita, Hiroshi Ikeda, Hiroyuki Sugiyama, Hiroaki Komatsu, Yoshiyasu Tanamura, Akihiro Yoshitake, Kazuhiro Nonomura, Kinya Ishizaka, Hiroaki Adachi, Yutaka Mori, Yutaka Isoda, Yaroku Sugiyama	Diagonal routing in high performance microprocessor design.	ASP-DAC	2006	DBLP DOI BibTeX RDF	diagonal routing, manhattan routing, microprocessor
16	Iwan Tabakow	Fault Distinguishability of Discrete Event Systems.	International Conference on Computational Science (3)	2006	DBLP DOI BibTeX RDF
16	Bernd Scholz-Reiter, Salima Delhoum	Inventory Control in Logistic and Production Networks.	OR	2006	DBLP DOI BibTeX RDF
16	Mu Su, Chi-Hung Chi	Architecture and Performance of Application Networking in Pervasive Content Delivery.	ICDE	2005	DBLP DOI BibTeX RDF
16	Marisa Llorens, Javier Oliver 0001	MCReNet: a tool for Marked-Controlled Reconfigurable Nets.	QEST	2005	DBLP DOI BibTeX RDF
16	Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl	Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
16	Hélio Lopes dos Santos, Paulo Romero Martins Maciel, Nelson S. Rosa, Roberto Souto Maior de Barros	Managing Petri Nets in MOF Repositories.	OTM Conferences (2)	2005	DBLP DOI BibTeX RDF
16	Iwan Tabakow	Fault Diagnosis of Discrete Event Systems Using Place Invariants.	KES (2)	2005	DBLP DOI BibTeX RDF
16	James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu	Leveraging Model Representations for System Level Design Tools.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
16	Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng	Consistency Checking of Concurrent Models for Scenario-Based Specifications.	SDL Forum	2005	DBLP DOI BibTeX RDF
16	Stephen J. Grant, James K. Cavers	System-wide capacity increase for narrowband cellular systems through multiuser detection and base station diversity arrays.	IEEE Trans. Wirel. Commun.	2004	DBLP DOI BibTeX RDF
16	Jason Helge Anderson, Farid N. Najm	Power estimation techniques for FPGAs.	IEEE Trans. Very Large Scale Integr. Syst.	2004	DBLP DOI BibTeX RDF
16	Rachid Hamadi, Boualem Benatallah	Recovery Nets: Towards Self-Adaptive Workflow Systems.	WISE	2004	DBLP DOI BibTeX RDF
16	Bo Huang, Bing-Yi Zhang, Fang Zhou, Ya-Min Sun	Modeling multimodal integration based on colored Petri nets and feature structures.	ICARCV	2004	DBLP DOI BibTeX RDF
16	Yaojun Han, Changjun Jiang, Xuemei Luo	A Study of Concurrency Control in Web-Based Distributed Real-Time Database System Using Extended Time Petri Nets.	ISPAN	2004	DBLP DOI BibTeX RDF
16	Hua Xiang 0001, Xiaoping Tang, Martin D. F. Wong	Min-cost flow-based algorithm for simultaneous pin assignment and routing.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
16	Atsushi Ohta, Kohkichi Tsuji	Insufficiently marked siphon of Petri nets - extension of token-free siphon.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
16	Vladimir Zolotov, David T. Blaauw, Supamas Sirichotiyakul, Murat R. Becer, Chanhee Oh, Rajendran Panda, Amir Grinshpon, Rafi Levy	Noise propagation and failure criteria for VLSI designs.	ICCAD	2002	DBLP DOI BibTeX RDF
16	Marco Capozza, Gian Domenico Iannetti, Jürgen J. Marx, Giorgio Cruccu, Neri Accornero	An Artificial Neural Network for 3D Localization of Brainstem Functional Lesions.	ISMDA	2002	DBLP DOI BibTeX RDF
16	Alexey Glebov, Sergey Gavrilov, David T. Blaauw, Vladimir Zolotov, Rajendran Panda, Chanhee Oh	False-Noise Analysis Using Resolution Method.	ISQED	2002	DBLP DOI BibTeX RDF
16	Fabio Balduzzi, Angela Di Febbraro, Alessandro Giua, Carla Seatzu	Decidability results in First-Order Hybrid Petri Nets.	Discret. Event Dyn. Syst.	2001	DBLP DOI BibTeX RDF	hybrid Petri nets, decidability properties, timed automata, hybrid automata
16	Irwin E. Schochetman, Robert L. Smith 0002	A Finite Algorithm for Solving Infinite Dimensional Optimization Problems.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	continuous time optimization, infinite horizon optimization, optimal control, production control
16	Christophe Sibertin-Blanc	CoOperative Objects: Principles, Use and Implementation.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
16	Roberto Bruni, Ugo Montanari	Transactions and Zero-Safe Nets.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
16	Ulrich Fiedler, Polly Huang, Bernhard Plattner	Towards Provisioning Diffserv Intra-Nets.	IWQoS	2001	DBLP DOI BibTeX RDF
16	Andrzej S. Murawski, C.-H. Luke Ong	Dominator Trees and Fast Verification of Proof Nets.	LICS	2000	DBLP DOI BibTeX RDF	verification of proof nets, Linear Logic, dominator trees
16	Bill Halpin, C. Y. Roger Chen, Naresh Sehgal	A sensitivity based placer for standard cells.	ACM Great Lakes Symposium on VLSI	2000	DBLP DOI BibTeX RDF
16	Shantanu Dutt, Hasan Arslan, Halim Theny	Partitioning using second-order information and stochastic-gainfunctions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
16	Hee Beng Kuan Tan, Hua Koon Tan	Software Reuse through a Novel Representation that Supports Factorization.	COMPSAC	1999	DBLP DOI BibTeX RDF	Software architecture and systemic reuse, interface issues, component based engineering
16	Eike Best, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz	M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages.	Acta Informatica	1998	DBLP DOI BibTeX RDF
16	Lee W. Wagenhals, Insub Shin, Alexander H. Levis	Creating Executable Models of Influence Nets with Colored Petri Nets.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF	Influence nets, Bayesian nets, Course of action, Colored Petri nets, High-level Petri nets, Discrete event dynamical systems
16	Julia Padberg	Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets.	WADT	1998	DBLP DOI BibTeX RDF
16	Augusto Cesar Pinto Loureiro da Costa, Guilherme Bittencourt	Dynamic Social Knowledge: A Cognitive Multi-Agent System Cooperation Strategy.	ICMAS	1998	DBLP DOI BibTeX RDF
16	Yachyang Sun, Ting-Chi Wang, Chak-Kuen Wong, C. L. Liu 0001	Routing for symmetric FPGAs and FPICs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
16	Majid Sarrafzadeh, David A. Knol, Gustavo E. Téllez	A delay budgeting algorithm ensuring maximum flexibility in placement.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
16	João Pedro Guerreiro Neto, José Félix Costa, Helder Coelho	Lower Bounds of Computational Power of a Synaptic Calculus.	IWANN	1997	DBLP DOI BibTeX RDF	Dentritic Trees, Neural Networks, Computational Theory, Spatial Representation, Neural Computation, Synapses
16	Charles Lakos	On the Abstraction of Coloured Petri Nets.	ICATPN	1997	DBLP DOI BibTeX RDF	Theory of High-Level Petri Nets, Abstraction, Duality
16	Matt Welsh, Anindya Basu, Thorsten von Eicken	ATM and Fast Ethernet Network Interfaces for User-Level Communication.	HPCA	1997	DBLP DOI BibTeX RDF
16	T. W. Her, Ting-Chi Wang, Martin D. F. Wong	Performance-driven channel pin assignment algorithms.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
16	Bonnie Berger, Martin L. Brady, Donna J. Brown, Frank Thomson Leighton	Nearly Optimal Algorithms and Bounds for Multilayer Channel Routing.	J. ACM	1995	DBLP DOI BibTeX RDF	multilayer routing, VLSI layout, channel routing
16	Kenneth L. McMillan	Trace Theoretic Verification of Asynchronous Circuits Using Unfoldings.	CAV	1995	DBLP DOI BibTeX RDF
16	Tianxiong Xue, Ernest S. Kuh	Post routing performance optimization via multi-link insertion and non-uniform wiresizing.	ICCAD	1995	DBLP DOI BibTeX RDF	post routing performance optimization, link insertion and wiresizing, delay skew, routing area, delay
16	Wilhelm Ruckdeschel, Reiner Onken	Modelling of Pilot Behaviour Using Petri Nets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
16	Cosimo Anglano, Luigi Portinale	B-W Analysis: A Backward Reachability Analysis for Diagnostic Problem Solving Suitable to Parallel Implementation.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
16	Nacéra Bennacer, Gerard Florin, Céline Fraize, Stéphane Natkin	Probabilistic Validation of a Remote Procedure Call Protocol.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
16	Christophe Sibertin-Blanc	Cooperative Nets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
16	Katsuhiro Matsuno, Chil-Woo Lee, Saburo Tsuji	Recognition of Human Facial Expressions Without Feature Extraction.	ECCV (1)	1994	DBLP DOI BibTeX RDF
16	Wil M. P. van der Aalst	Interval Timed Coloured Petri Nets and their Analysis.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
16	Carolyn Brown, Doug Gurr	Temporal Logic and Categories of Petrie Nets.	ICALP	1993	DBLP DOI BibTeX RDF
16	Hartmann J. Genrich, Robert M. Shapiro	Formal Verification of an Arbiter Cascade.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
16	Greg Findlow	Obtaining Deadlock-Preserving Skeletons for Coloured Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
16	P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan	A Trace Semantics for Petri Nets (Extended Abstract).	ICALP	1992	DBLP DOI BibTeX RDF
16	Michael Waidner, Birgit Pfitzmann	The Dining Cryptographers in the Disco - Underconditional Sender and Recipient Untraceability with Computationally Secure Serviceability (Abstract).	EUROCRYPT	1989	DBLP DOI BibTeX RDF
16	Ichiang Lin, David Hung-Chang Du, Steve H.-C. Yen	Gate Matrix Layout Synthesis with Two-Dimensional Folding.	DAC	1989	DBLP DOI BibTeX RDF
16	Eike Best	Weighted Basic Petri Nets.	Concurrency	1988	DBLP DOI BibTeX RDF
16	Jonathan B. Rosenberg	Auto-interactive schematics to layout translation.	DAC	1985	DBLP DOI BibTeX RDF