|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 22 occurrences of 20 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Roberto Lublinerman, Jisheng Zhao, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar |
Delegated isolation.  |
OOPSLA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour |
Proving programs robust. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman |
Continuity analysis of programs. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
stability, robustness, uncertainty, program analysis, continuity, errors, sensitivity, perturbations, proof rules |
| 1 | Roberto Lublinerman, Christian Szegedy, Stavros Tripakis |
Modular code generation from synchronous block diagrams: modularity vs. code size. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
clustering, code generation, np-complete, embedded software, synchronous languages, block diagrams |
| 1 | Roberto Lublinerman, Swarat Chaudhuri, Pavol Cerný |
Parallel programming with object assemblies. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
irregular parallelism, parallel programming, data parallelism, ownership, programming abstractions |
| 1 | Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis |
Actors without Directors: A Kahnian View of Heterogeneous Systems. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Lublinerman, Stavros Tripakis |
Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanxi Liu, Tamara Belkina, James Hays, Roberto Lublinerman |
Image de-fencing. |
CVPR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Grant Schindler, Panchapagesan Krishnamurthy, Roberto Lublinerman, Yanxi Liu, Frank Dellaert |
Detecting and matching repeated patterns for automatic geo-tagging in urban environments. |
CVPR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Lublinerman, Stavros Tripakis |
Translating data flow to synchronous block diagrams. |
ESTImedia |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Lublinerman, Stavros Tripakis |
Modular Code Generation from Triggered and Timed Block Diagrams. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2008 |
DBLP DOI BibTeX RDF |
Modularity, Code generation, Block diagrams |
| 1 | Roberto Lublinerman, Necmiye Ozay, Dimitrios Zarpalas, Octavia I. Camps |
Activity Recognition from Silhouettes using Linear Systems and Model (In)validation Techniques. |
ICPR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Lublinerman, Mario Sznaier, Octavia I. Camps |
Dynamics Based Robust Motion Segmentation. |
CVPR |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")