Arkadeb Ghosal

According to our database1, Arkadeb Ghosal authored at least 18 papers between 2004 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware.
Signal Processing Systems, 2016

Modeling, Analysis, and Implementation of Streaming Applications for Hardware Targets.
Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014

Guest Editorial: Special Issue on System Level Design of Automotive Electronics/Software.
Embedded Systems Letters, 2013

Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code.
Sci. Comput. Program., 2012

A methodology for the design and deployment of reliable systems on heterogeneous platforms.
Proceedings of the 2012 International Conference on Reconfigurable Computing and FPGAs, 2012

Early timing estimation for system-level design using FPGAs (abstract only).
Proceedings of the ACM/SIGDA 20th International Symposium on Field Programmable Gate Arrays, 2012

Analysis techniques for static dataflow models with access patterns.
Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

Tools for deploying dataflow models on FPGA targets.
Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

Static dataflow with access patterns: semantics and analysis.
Proceedings of the 49th Annual Design Automation Conference 2012, 2012

Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment.
IEEE Trans. Industrial Informatics, 2011

Correct and non-defensive glue design using abstract models.
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

Computing robustness of FlexRay schedules to uncertainties in design parameters.
Proceedings of the Design, Automation and Test in Europe, 2010

Education panel: designing the always connected car of the future.
Proceedings of the 47th Design Automation Conference, 2010

Timing Analysis and Optimization of FlexRay Dynamic Segment.
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

Scheduling the FlexRay bus using optimization techniques.
Proceedings of the 46th Design Automation Conference, 2009

Logical Reliability of Interacting Real-Time Tasks.
Proceedings of the Design, Automation and Test in Europe, 2008

A hierarchical coordination language for interacting real-time tasks.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Event-Driven Programming with Logical Execution Times.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004