Graphs and algorithms
Performance analysis and optimization of asynchronous circuits
Performance analysis and optimization of asynchronous circuits
New scaling algorithms for the assignment and minimum mean cycle problems
Mathematical Programming: Series A and B
Computing optimal clock schedules
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
LEDA: a platform for combinatorial and geometric computing
Communications of the ACM
Determining the minimum iteration period of an algorithm
Journal of VLSI Signal Processing Systems
Rate analysis for embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Shortest paths algorithms: theory and experimental evaluation
SODA '94 Proceedings of the fifth annual ACM-SIAM symposium on Discrete algorithms
An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems
IEEE Transactions on Computers
Performance analysis and optimization of mixed asynchronous synchronous systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Faster maximum and minimum mean cycle algorithms for system-performance analysis
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A method for correcting the functionality of a wire-pipelined circuit
Proceedings of the 41st annual Design Automation Conference
Retiming for Wire Pipelining in System-On-Chip
Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design
Experimental analysis of the fastest optimum cycle ratio and mean algorithms
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Tabu Search Algorithms for Cyclic Machine Scheduling Problems
Journal of Scheduling
Optimal wire retiming without binary search
Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design
Processing Rate Optimization by Sequential System Floorplanning
ISQED '06 Proceedings of the 7th International Symposium on Quality Electronic Design
Clustering for processing rate optimization
ICCAD '05 Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design
High-level synthesis of DSP applications using adaptive negative cycle detection
EURASIP Journal on Applied Signal Processing
A new efficient retiming algorithm derived by formal manipulation
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Optimal infinite scheduling for multi-priced timed automata
Formal Methods in System Design
Online Regret Bounds for Markov Decision Processes with Deterministic Transitions
ALT '08 Proceedings of the 19th international conference on Algorithmic Learning Theory
Transactions on Petri Nets and Other Models of Concurrency I
Fault Diagnosis with Static and Dynamic Observers
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
Performance optimization of elastic systems using buffer resizing and buffer insertion
Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design
Flat Parametric Counter Automata
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Clustering for processing rate optimization
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Reduction techniques for synchronous dataflow graphs
Proceedings of the 46th Annual Design Automation Conference
Multi-level clustering for clock skew optimization
Proceedings of the 2009 International Conference on Computer-Aided Design
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Online regret bounds for Markov decision processes with deterministic transitions
Theoretical Computer Science
Synchronous dataflow scenarios
ACM Transactions on Embedded Computing Systems (TECS)
Approximating rational objectives is as easy as approximating linear ones
SWAT'06 Proceedings of the 10th Scandinavian conference on Algorithm Theory
Synthesis of opaque systems with static and dynamic masks
Formal Methods in System Design
Flat Parametric Counter Automata
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Fault Diagnosis with Static and Dynamic Observers
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
Cyclo-static DataFlow phases scheduling optimization for buffer sizes minimization
Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems
Liveness evaluation of a cyclo-static DataFlow graph
Proceedings of the 50th Annual Design Automation Conference
Just-In-Time Software Pipelining
Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization
| Hi-index | 0.00 |