|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 11 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Arkadeb Ghosal, Daniel T. Iercan, Christoph M. Kirsch, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli |
Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo A. Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Sadia Malik, Newton Petersen, Kaushik Ravindran, Trung N. Tran, Guoqiang Wang, Guang Yang |
Early timing estimation for system-level design using FPGAs (abstract only). |
FPGA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Haibo Zeng, Marco Di Natale, Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli |
Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment. |
IEEE Trans. Industrial Informatics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Tripakis, Hugo A. Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Guang Yang, Jacob Kornerup, Ian Wong |
Correct and non-defensive glue design using abstract models. |
CODES+ISSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Joseph D'Ambrosio, Ed Nuckolls, Harald Wilhelm, Jim Tung, Markus Kuhl, Peter van Staa |
Education panel: designing the always connected car of the future. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
driver safety and comfort, vehicle-to-infrastructure, vehicle-to-vehicle, design, synthesis, connectivity, automotive |
| 1 | Haibo Zeng, Arkadeb Ghosal, Marco Di Natale |
Timing Analysis and Optimization of FlexRay Dynamic Segment. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
Scheduling, Timing Analysis, FlexRay |
| 1 | Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov Ben-Haim |
Computing robustness of FlexRay schedules to uncertainties in design parameters. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Haibo Zeng, Wei Zheng, Marco Di Natale, Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli |
Scheduling the FlexRay bus using optimization techniques. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
scheduling, real-time systems, automotive, MILP, FlexRay |
| 1 | Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. Henzinger, Daniel T. Iercan, Christoph M. Kirsch, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli |
Logical Reliability of Interacting Real-Time Tasks. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan |
A hierarchical coordination language for interacting real-time tasks. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
real time, automotive systems |
| 1 | Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido |
Event-Driven Programming with Logical Execution Times. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")