Scheduling Parallel Computations
Journal of the ACM (JACM)
Static scheduling of synchronous data flow programs for digital signal processing
IEEE Transactions on Computers
Automatic Compilation of Concurrent Hybrid Factories from Product Assembly Specifications
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
A Coarse-Grain Phased Logic CPU
ASYNC '03 Proceedings of the 9th International Symposium on Asynchronous Circuits and Systems
Petri nets for modelling and evaluating deterministic and stochastic manufacturing systems
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Data Routing in Dataflow Graphs
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
Developing and Refining an Adaptive Token-Passing Strategy
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Analyzing concurrency in streaming applications
Journal of Systems Architecture: the EUROMICRO Journal
Decomposition Theorems for Bounded Persistent Petri Nets
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
A Note on Persistent Petri Nets
Concurrency, Graphs and Models
Note: A connection between circular colorings and periodic schedules
Discrete Applied Mathematics
A Comparison of Some Theoretical Models of Parallel Computation
IEEE Transactions on Computers
Characterizing asynchronous variable latencies through probability distribution functions
Microprocessors & Microsystems
Another Glance at Relay Stations in Latency-Insensitive Design
Electronic Notes in Theoretical Computer Science (ENTCS)
The Role of Back-Pressure in Implementing Latency-Insensitive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Information Sciences: an International Journal
On the models for designing VLSI asynchronous digital systems
Integration, the VLSI Journal
Process variation-aware performance analysis of asynchronous circuits
Microelectronics Journal
Succinct discrete time approximations of distributed hybrid automata
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Simultaneous budget and buffer size computation for throughput-constrained task graphs
Proceedings of the Conference on Design, Automation and Test in Europe
Linear time analysis of properties of conflict-free and general Petri nets
Theoretical Computer Science
Kleene theorems for product systems
DCFS'11 Proceedings of the 13th international conference on Descriptional complexity of formal systems
PATMOS'09 Proceedings of the 19th international conference on Integrated Circuit and System Design: power and Timing Modeling, Optimization and Simulation
Applying step coverability trees to communicating component-based systems
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Separability in persistent petri nets
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Modular discrete time approximations of distributed hybrid automata
Theoretical Computer Science
Step coverability algorithms for communicating systems
Science of Computer Programming
Adaptive task duplication using on-line bottleneck detection for streaming applications
Proceedings of the 9th conference on Computing Frontiers
Firing rate optimization of cyclic timed event graphs by token allocations
Automatica (Journal of IFAC)
Steady-state performance evaluation of continuous mono-T-semiflow Petri nets
Automatica (Journal of IFAC)
Complexity results for Weighted Timed Event Graphs
Discrete Optimization
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Separability in Persistent Petri Nets
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Making Petri Nets Safe and Free of Internal Transitions
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Periodic scheduling of marked graphs using balanced binary words
Theoretical Computer Science
Explicit routing schemes for implementation of cellular automata on processor arrays
Natural Computing: an international journal
| Hi-index | 0.01 |