|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7341 occurrences of 3423 keywords
|
|
|
Results
Found 22125 publication records. Showing 22118 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
29 | Laura Carnevali, Lorenzo Ridi, Enrico Vicario |
Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
symbolic state-space enumeration, preemptive Time Petri Net, non-Markovian Stochastic Petri Net, quantitative evaluation, Correctness verification, stochastic Time Petri Net |
29 | Lingling Zhang 0001, Jun Li 0015, Qin Wang, Rencheng Tong, Yuejin Zhang, Xingsen Li |
A Study on the Relationship Between ERP Logic and Direct Consume Coefficient of I/O Table. |
CONFENIS (1) |
2007 |
DBLP DOI BibTeX RDF |
Workflow net (WF-net), Workflow resource management, Agent, Colored petri net, Workflow model, Business process analysis |
29 | Jonathan S. Golan, Fuming Wu |
Weakly UDO semirings and Korczyski nets over them. |
Soft Comput. |
2002 |
DBLP DOI BibTeX RDF |
Difference order, Korczy?ski net, Marked net, Concurrent enabling, Petri net, Semiring |
29 | Fu-Shiung Hsieh, Chih Yi Chiang |
Workflow Planning in Holonic Manufacturing Systems with Extended Contract Net Protocol. |
IEA/AIE |
2009 |
DBLP DOI BibTeX RDF |
workflow, Holonic manufacturing system, contract net |
29 | Lawrence Cabac, Nicolas Denz |
Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering. |
Trans. Petri Nets Other Model. Concurr. |
2008 |
DBLP DOI BibTeX RDF |
net components, process mining chains, modeling, Petri nets |
29 | Weihua Niu, Zhuping Yang |
Workflow Model Based on Time-Extended and Hierarchy-Extended Petri-Net. |
ISIP |
2008 |
DBLP DOI BibTeX RDF |
time-extended, hierarchy-extended, Petri-Net, workflow model |
29 | Roland Schwarzkopf, Markus Mathes, Steffen Heinzl, Bernd Freisleben, Helmut Dohmann |
Java RMI versus .NET Remoting Architectural Comparison and Performance Evaluation. |
ICN |
2008 |
DBLP DOI BibTeX RDF |
.NET Remoting, Middleware, Comparison, Java RMI |
29 | Jim Hugunin |
Bringing dynamic languages to .NET with the DLR. |
DLS |
2007 |
DBLP DOI BibTeX RDF |
CLR, python, NET, ruby, dynamic languages |
29 | Haiyang Sun, Jian Yang 0001 |
CoBTx-Net: A Model for Reliability Verification of Collaborative Business Transaction. |
Business Process Management Workshops |
2007 |
DBLP DOI BibTeX RDF |
Collaborative Business Transaction, Reliability Verification, Peer Based Collaboration, Hierarchical Colored Petri Net(HCPN) |
29 | Ruijuan Zheng, Huiqiang Wang, Yonggang Pang |
Research on Bio-inspired Multi-net Paralleling Mechanism Based on Web Application. |
International Conference on Computational Science (3) |
2007 |
DBLP DOI BibTeX RDF |
multi-net paralleling, hidden Markov, LoadRunner, bio-inspired |
29 | Crispel Aude |
Net-art, entre conflit et sensibilité de l'interface. |
IHM |
2006 |
DBLP DOI BibTeX RDF |
art-works analysis, relational aesthetics, interface, sensitive, net-art |
29 | Bruno Cabral, Paulo Marques, Luís Moura Silva |
RAIL: code instrumentation for .NET. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
NET platform, runtime, code instrumentation |
29 | XianMing Liu, ShiXian Li, Yue Jiang |
A Petri Net Extended With Stochastic Priced Transition. |
ICEBE |
2005 |
DBLP DOI BibTeX RDF |
priced transition, Petri net, business process modeling |
29 | Bruno Cabral, Paulo Marques, Luís Moura Silva |
RAIL: code instrumentation for .NET. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
NET platform, code instrumentation |
29 | Natarajan Viswanathan, Chris C. N. Chu |
FastPlace: efficient analytical placement using cell shifting, iterative local refinement and a hybrid net model. |
ISPD |
2004 |
DBLP DOI BibTeX RDF |
net models, analytical placement, standard cell placement |
29 | Tao Wan, Malgorzata Chrzanowska-Jeske |
Prediction of interconnect net-degree distribution based on Rent's rule. |
SLIP |
2004 |
DBLP DOI BibTeX RDF |
net-degree distribution, Rent's rule, interconnect prediction |
29 | Karthik Rajagopal, Tal Shaked, Yegna Parasuram, Tung Cao, Amit Chowdhary, Bill Halpin |
Timing driven force directed placement with physical net constraints. |
ISPD |
2003 |
DBLP DOI BibTeX RDF |
net constraints, timing driven placement, force directed placement |
29 | Yu Ping, Jianguo Lu, Terence C. Lau, Kostas Kontogiannis, Tack Tong, Bo Yi |
Migration of legacy web applications to enterprise JavaTM environments net.data® to JSPTM transformation. |
CASCON |
2003 |
DBLP BibTeX RDF |
Java 2 Enterprise Edition (J2EETM), JavaServer pages, Net.Data, Java, SQL, SQL, transformation, migration, model-view-controller (MVC), JavaBeans |
29 | H. Chang, Eugene Shragowitz, Jian Liu, Habib Youssef, Bing Lu, Suphachai Sutanthavibul |
Net criticality revisited: an effective method to improve timing in physical design. |
ISPD |
2002 |
DBLP DOI BibTeX RDF |
criticality metrics, net delay bound, routing, placement |
29 | H. M. W. Verbeek, Alexander Hirnschall, Wil M. P. van der Aalst |
XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology. |
WES |
2002 |
DBLP DOI BibTeX RDF |
WF-net, XRL, PNML, XML, Workflow, enactment, Inter-organizational |
29 | Anatoly Prihozhy, Daniel Mlynek, Michail Solomennik, Marco Mattavelli |
Techniques for Optimization of Net Algorithms. |
PARELEC |
2002 |
DBLP DOI BibTeX RDF |
net algorithm, existence problem, optimization, parallelization, critical path |
29 | Nikolay A. Anisimov, Evgeniy A. Golenkov, Dmitriy I. Kharitonov |
Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems. |
Program. Comput. Softw. |
2001 |
DBLP DOI BibTeX RDF |
Petri net entity, distributed systems, Petri nets, compositionality, concurrent systems |
29 | Yasuyuki Mimatsu, Haruo Yokota |
A performance comparison between the DR-net and a hierarchical RAID system. |
PRDC |
2000 |
DBLP DOI BibTeX RDF |
disc drives, DR-net, hierarchical RAID system, disk array systems, multiple disk drives, centralized controller, communication path, controller functions, bus setup time, parity calculation load, performance evaluation, scalability, digital simulation, system performance, RAID, performance comparison, scalable architecture, hierarchical system |
29 | Jun Shen 0001, Junzhou Luo, Guanqun Gu |
An Object-Oriented Net Graph Model for Agent Group-Based Network Management. |
TOOLS (31) |
1999 |
DBLP DOI BibTeX RDF |
Petri net, intelligent agent, Network management, knowledge base, object model |
29 | Son T. Vuong, Kendra M. L. Cooper, Mabo Robert Ito |
Petri net models for describing multimedia synchronization requirements. |
ICNP |
1995 |
DBLP DOI BibTeX RDF |
extended object composition, dynamic timed, time stream, performance evaluation, Petri nets, synchronisation, multimedia communication, multimedia communication, multimedia synchronization, Petri net models, object composition, synchronization constraints |
29 | Joost Engelfriet, George Leih, Grzegorz Rozenberg |
Net-Based Description Of Parallel Object-Based Systems, or POTs and POPs. |
REX Workshop |
1990 |
DBLP DOI BibTeX RDF |
actor system, communication, Petri net, Parallel, observation, operational semantics, transition system, handshaking, object-based |
29 | George Peterka, Tadao Murata |
Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
proof procedure, Horn clause subset, firing sequence, goal transition, Petri nets, logic programs, logic programming, theorem proving, programming theory, Petri net model, first-order predicate logic, answer extraction |
29 | Heikki Tuominen |
Elementary net systems and dynamic logic. |
European Workshop on Applications and Theory in Petri Nets |
1988 |
DBLP DOI BibTeX RDF |
axiomatization of properties, model checking, Petri nets, temporal logic, Dynamic logic, elementary net systems, model synthesis |
28 | Hyea Kyeong Kim, Jae Kyeong Kim, Young U. Ryu |
Personalized Recommendation over a Customer Network for Ubiquitous Shopping. |
IEEE Trans. Serv. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Takeshi Kawasaki, Hironobu Takano, Kiyomi Nakamura |
Orientation Recognition of Iris Pattern. |
ICONIP (2) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Marisa Llorens, Javier Oliver 0001 |
Marked-Controlled Reconfigurable Workflow Nets. |
SYNASC |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Rik Eshuis, Juliane Dehnert |
Reactive Petri Nets for Workflow Modeling. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Chao-Yang Yeh, Malgorzata Marek-Sadowska |
Sequential delay budgeting with interconnect prediction. |
SLIP |
2003 |
DBLP DOI BibTeX RDF |
delay budgeting, sequential circuits, interconnect prediction |
28 | Tomoko Itao, Tetsuya Nakamura, Masato Matsuo, Tatsuya Suda, Tomonori Aoyama |
Service Emergence based on Relationship among Self-Organizing Entities. |
SAINT |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Weigang Wang, Roy Rada |
Structured Hypertext with Domain Semantics. |
ACM Trans. Inf. Syst. |
1998 |
DBLP DOI BibTeX RDF |
hypertext models, graph theory, hypertext structures |
28 | Kai Zhu 0001, Martin D. F. Wong |
Switch bound allocation for maximizing routability in timing-driven routing of FPGA's. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Hartmut Ehrig, Julia Padberg |
A Uniform Approach to Petri Nets. |
Foundations of Computer Science: Potential - Theory - Cognition |
1997 |
DBLP DOI BibTeX RDF |
|
28 | William C. Chu, Hongji Yang, Paul Luker |
A Formal Method for Software Maintenance. |
ICSM |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Kuo-Feng Liao, Majid Sarrafzadeh |
Correction to "Boundary single-layer routing with movable terminals". |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Yi Deng 0001, Shi-Kuo Chang, Jorge C. A. de Figueiredo, Angelo Perkusich |
Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems. |
Application and Theory of Petri Nets |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Walter Vogler |
Behaviour Preserving Refinement of Petri Nets. |
WG |
1986 |
DBLP DOI BibTeX RDF |
|
28 | Pentti Laasonen |
On the Truncation Error of Discrete Approximations to the Solutions of Dirichlet Problems in a Domain with Corners. |
J. ACM |
1958 |
DBLP DOI BibTeX RDF |
|
28 | Geert Stremersch, René K. Boel |
Structuring Acyclic Petri Nets for Reachability Analysis and Control. |
Discret. Event Dyn. Syst. |
2002 |
DBLP DOI BibTeX RDF |
acyclic Petri net, uncontrollable transitions, Petri net, supervisory control |
28 | Maciej Koutny |
A Compositional Model of Time Petri Nets. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, process algebras, time Petri nets |
28 | Joaquin Ezpeleta, Jean-Michel Couvreur, Manuel Silva Suárez |
A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets. |
Applications and Theory of Petri Nets |
1991 |
DBLP DOI BibTeX RDF |
siphon, st-component, p-semiflow, Petri net, colored Petri net, trap |
27 | Scott Jordan |
Implications of Internet architecture on net neutrality. |
ACM Trans. Internet Techn. |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Gabriel Juhás, Robert Lorenz 0001, Jörg Desel |
Unifying Petri Net Semantics with Token Flows. |
Petri Nets |
2009 |
DBLP DOI BibTeX RDF |
|
27 | PengCheng Xiong, Mengchu Zhou, Calton Pu |
A Petri Net Siphon Based Solution to Protocol-Level Service Composition Mismatches. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Bahareh Fathi, Laleh Behjat, Logan M. Rakai |
A pre-placement net length estimation technique for mixed-size circuits. |
SLIP |
2009 |
DBLP DOI BibTeX RDF |
wire length estimation, placement, physical design, hypergraph clustering |
27 | Yamin Li, Shietung Peng, Wanming Chu |
Recursive Dual-Net: A New Universal Network for Supercomputers of the Next Generation. |
ICA3PP |
2009 |
DBLP DOI BibTeX RDF |
|
27 | João Lourenço, Luís Gomes 0001 |
Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models. |
Petri Nets |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Hong Feng Lai, J. L. Hong, Wang Han Jeng |
Model E-contract Update by Coloured Activity Net. |
APSCC |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Bo Feng, Gabriel A. Wainer |
a .NET Remoting-Based Distributed Simulation Approach for DEVS and Cell-DEVS Models. |
DS-RT |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Sunku Kang, Byungwoo Lee, Jihoon Yang, Seonho Kim, Saejoon Kim |
Simulating Biological Pathways with a Continuous Petri Net Using Runge-Kutta Methods. |
FBIT |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Tae-hyung Kim, Carl K. Chang |
An Aspect-Oriented Approach to Resource Composition in Petri net-based Software Architectural Models. |
COMPSAC (1) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Johannes Osrael, Lorenz Froihofer, Georg Stoifl, Lucas Weigl, Klemen Zagar, Igor Habjan, Karl M. Göschka |
Using Replication to Build Highly Available .NET Applications. |
DEXA Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Peter Spindler, Frank M. Johannes |
Fast and robust quadratic placement combined with an exact linear net model. |
ICCAD |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Patrick Klinkoff, Christopher Krügel, Engin Kirda, Giovanni Vigna |
Extending .NET Security to Unmanaged Code. |
ISC |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Jyh-Cheng Chang, Shao-Chun Li, Maiga Chang, Jia-Sheng Heh |
Monitoring the Experiment Process and Diagnosing the Experiment Mistakes Made by Students with Petri Net Modeling. |
Edutainment |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Leo Ojala, Olli-Matti Penttinen, Elina Parviainen |
Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods. |
ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Dong-Hoon Yoo, Dong-Ik Lee, Jeong-A Lee |
Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations. |
ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Andrew Jackson 0003, Siobhán Clarke |
SourceWeave.NET: Cross-Language Aspect-Oriented Programming. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Fu-Shiung Hsieh |
Modeling and Analysis of Contract Net Protocol. |
ICWE |
2004 |
DBLP DOI BibTeX RDF |
|
27 | David C. Chu, Marty A. Humphrey |
Mobile OGSI.NET: Grid Computing on Mobile Devices. |
GRID |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Hartmut Ehrig, Julia Padberg |
Graph Grammars and Petri Net Transformations. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Takaaki Komura, Kenji Fujikawa, Yasuo Okabe |
The MIAKO.NET public wireless internet service in Kyoto. |
WMASH |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Hans-Jürgen Hoffmann |
.NET: The Programmer's Perspective. |
ECOOP Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
27 | David W. Bauer, Garrett R. Yaun, Christopher D. Carothers, Murat Yuksel, Shivkumar Kalyanaraman |
Simulation of large scale networks III: ROSS.Net: optimistic parallel simulation framework for large-scale internet models. |
WSC |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Bill Halpin, Naresh Sehgal, C. Y. Roger Chen |
Detailed Placement with Net Length Constraints. |
IWSOC |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Tomoko Itao, Tetsuya Nakamura, Masato Matsuo, Tatsuya Suda, Tomonori Aoyama |
Adaptive Creation of Network Applications in the Jack-in-the-Net Architecture. |
NETWORKING |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Shinnosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama |
A high reliability design for NFS server software based on the logical coloured Petri net. |
ICARCV |
2002 |
DBLP DOI BibTeX RDF |
|
27 | David Abramson 0001, Greg Watson, Phu Dung Le |
Guard: A Tool for Migrating Scientific Applications to the .NET Framework. |
International Conference on Computational Science (2) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Ashok K. Murugavel, N. Ranganathan |
A Real Delay Switching Activity Simulator Based on Petri Net Modeling. |
ASP-DAC/VLSI Design |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Douglas Hageman, Dianne M. Reeves |
net-Trials(tm) Clinical Trials Information System. |
CBMS |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Payman Zarkesh-Ha, Jeffrey A. Davis, James D. Meindl |
Prediction of net-length distribution for global interconnects in a heterogeneous system-on-a-chip. |
IEEE Trans. Very Large Scale Integr. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Hugo de Garis, Norberto Eiji Nawa, Andrzej Buller, Michael Korkin, Felix A. Gers, Michael Hough |
ATR's Artificial Brain ("Cam-Brain") Project a Sample of what Individual "CoDi-1Bit" Model Evolved Neural Net Modules can do with Digital and Analog I/O. |
Evolvable Hardware |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Sunil Hingorani, Oliver Heim |
A test suite for exposing design and implementation details in petri net simulators. |
ACM Southeast Regional Conference |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Shengru Tu, Wei Sun 0002 |
Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach. |
SEKE |
1992 |
DBLP DOI BibTeX RDF |
|
27 | P. David Stotts, Richard Furuta |
\alphaTrellis: A system for writing and browsing Petri-net-based hypertext. |
Applications and Theory of Petri Nets |
1989 |
DBLP DOI BibTeX RDF |
hypertext and hypermedia, Trellis hypertext model hypertext, browsing semantics |
27 | Jesse Liberty, Dan Hurwitz |
Programming .NET windows applications - rich client applications with C# or VB.NET: covers .NET 1.1 and Visual Studio .NET 2003. |
|
2003 |
RDF |
|
27 | Jesse Liberty, Dan Hurwitz |
Programming ASP.NET - building web applications and services using C# and VB.NET: updated for .NET 1.1 and visual studio .NET 2003 (2. ed.). |
|
2003 |
RDF |
|
27 | Kathrin Hoffmann |
Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets. |
Petri Net Technology for Communication-Based Systems |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Juliane Dehnert |
Four Steps Towards Sound Business Process Models. |
Petri Net Technology for Communication-Based Systems |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Sibylle Peuker |
Concurrency Based Transition Refinement for the Verification of Distributed Algorithms. |
Petri Net Technology for Communication-Based Systems |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Manabu Kawada, Xu Wu, Tadashi Ae |
A construction of neural-net based AI systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
neural-net based AI system construction, neural network technique, real-time neuron-based AI architecture, NAI, real-time case-based reasoning system, winner-take-all type neural network, real-time classification, real-time retrieval, massive case-base, flexible learning, self-organizing learning algorithm, LVQ1 learning algorithm, real-time systems, learning (artificial intelligence), knowledge based systems, unsupervised learning, supervised learning, case-based reasoning, pattern classification, learning algorithms, algorithm theory, neural net architecture |
26 | Chuang Lin 0002, Abhijit Chaudhury, Andrew B. Whinston, Dan C. Marinescu |
Logical Inference of Horn Clauses in Petri Net Models. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
net model, logical inconsistency check, T-invariants, one-literal, pure-literal, splitting clauses, Petri nets, inference mechanisms, resolution, propositional logic, Horn clauses, Horn clauses, Petri net models, first-order predicate logic, logical inference |
26 | Yoh-Han Pao |
Autonomous machine learning of effective control strategies with connectionist-net. |
J. Intell. Robotic Syst. |
1988 |
DBLP DOI BibTeX RDF |
intelligent process control, intelligent control systems, Rumelhart net, holographic memory, Neural net, associative memory |
26 | Rachid Hamadi, Boualem Benatallah, Brahim Medjahed |
Self-adapting recovery nets for policy-driven exception handling in business processes. |
Distributed Parallel Databases |
2008 |
DBLP DOI BibTeX RDF |
Self-adapting recovery net (SARN), Task-based recovery, Region-based recovery, Petri nets, Business processes, Exception handling |
26 | Bernd Obermeier, Frank M. Johannes |
Quadratic placement using an improved timing model. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
Steiner tree net model, optimization potential, sensitivity, Quadratic placement, timing driven placement |
26 | Jeremiah Willcock, Andrew Lumsdaine, Arch D. Robison |
Using MPI with C# and the common language infrastructure. |
Java Grande |
2002 |
DBLP DOI BibTeX RDF |
common language infrastructure (CLI), parallel computing, message passing interface (MPI), C#, NET |
26 | Yong S. Choi |
Discovering Text Databases with Neural Nets. |
Knowl. Inf. Syst. |
2001 |
DBLP DOI BibTeX RDF |
Neural net agent, Relevance feedback, Document retrieval, Text database |
26 | Roberto Bruni, Ugo Montanari |
Executing Transactions in Zero-Safe Nets. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
PT nets, zero-safe nets, net unfolding, reachability, distributed transactions |
26 | Enrique Teruel, Manuel Silva Suárez |
Liveness and Home States in Equal Conflict Systems. |
Application and Theory of Petri Nets |
1993 |
DBLP DOI BibTeX RDF |
Place/Transition Net Systems, Equal Conflict Systems, Structure Theory |
26 | Johan Lilius |
High-Level Nets and Linear Logic. |
Application and Theory of Petri Nets |
1992 |
DBLP DOI BibTeX RDF |
Classification Analysis and synthesis, structure and behavior of nets, higherlevel net models |
26 | Ghassan Chehaibar |
Use of reentrant nets in modular analysis of colored nets. |
Applications and Theory of Petri Nets |
1990 |
DBLP DOI BibTeX RDF |
Modular Analysis, Reentrant Net, Observational Home Equivalence, Composition, Colored Petri Nets, Replacement |
26 | Jörg Desel |
On abstraction of nets. |
Applications and Theory of Petri Nets |
1990 |
DBLP DOI BibTeX RDF |
Net morphisms, coarsening and composition of nets, transformations |
26 | Jianhua Li, Laleh Behjat, Andrew A. Kennings |
Net Cluster: A Net-Reduction-Based Clustering Preprocessing Algorithm for Partitioning and Placement. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Jianhua Li, Laleh Behjat |
Net cluster: a net-reduction based clustering preprocessing algorithm. |
ISPD |
2006 |
DBLP DOI BibTeX RDF |
VLSI partitioning, physical design, hypergraph clustering |
26 | Glenn S. Wasson, Norm Beekwilder, Mark M. Morgan, Marty Humphrey |
OGSI.NET: OGSI-compliance on the .NET framework. |
CCGRID |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Henricus M. W. (Eric) Verbeek, A. Johannes Pretorius, Wil M. P. van der Aalst, Jarke J. van Wijk |
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization. |
Trans. Petri Nets Other Model. Concurr. |
2008 |
DBLP DOI BibTeX RDF |
Petri-net synthesis, visualization, attributes, state spaces |
Displaying result #201 - #300 of 22118 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|