|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 22 occurrences of 17 keywords
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
237 | Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm 0001, Kathryn S. McKinley |
Jinn: synthesizing dynamic bug detectors for foreign language interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 36-49, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
ffi bugs, foreign function interfaces (FFI), java native interface (jni), multilingual programs, python/C, specification generation, specification, dynamic analysis |
74 | Michael Furr, Jeffrey S. Foster |
Checking type safety of foreign function calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(4), pp. 18:1-18:63, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
FFI, flow-sensitive type system, foreign function calls, multilingual type inference, multilingual type system, representational type, Java, dataflow analysis, OCaml, JNI, Java Native Interface, Foreign function interface |
74 | Michael Furr, Jeffrey S. Foster |
Checking type safety of foreign function calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005, pp. 62-72, 2005, ACM, 1-59593-056-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
FFI, flow-sensitive type system, foreign function calls, multi-lingual type inference, multi-lingual type system, representational type, dataflow analysis, OCaml, foreign function interface |
45 | Mingen Lin, Yang Yang 0012, Jinhui Xu 0001 |
Improved Approximation Algorithms for Maximum Resource Bin Packing and Lazy Bin Covering Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings, pp. 567-577, 2006, Springer, 3-540-49694-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Leon Schuermann, Arun Thomas, Amit Levy |
Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KISV@SOSP ![In: Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, KISV 2023, Koblenz, Germany, 23 October 2023, pp. 41-48, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Frédéric Bour |
CAMLroot: revisiting the OCaml FFI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1812.04905, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
36 | Anton Ekblad |
Foreign exchange at low, low rates a lightweight FFI for web-targeting Haskell dialects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, IFL '15, Koblenz, Germany, September 14-16, 2015, pp. 2:1-2:13, 2015, ACM, 978-1-4503-4273-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
36 | Johannes Konert, Michael Gutjahr, Stefan Göbel 0001, Ralf Steinmetz |
Modeling the Player: Predictability of the Models of Bartle and Kolb Based on NEO-FFI (Big5) and the Implications for Game Based Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Game Based Learn. ![In: Int. J. Game Based Learn. 4(2), pp. 36-50, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
36 | Gyda Bjornsdottir, Anna B. Almarsdottir, Ingunn Hansdottir, Fanney Thorsdottir, Maria Heimisdottir, Hreinn Stefansson, Thorgeir E. Thorgeirsson, Patricia F. Brennan |
From paper to web: Mode equivalence of the ARHQ and NEO-FFI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Hum. Behav. ![In: Comput. Hum. Behav. 41, pp. 384-392, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
36 | Aaron Marburg, Michael P. Hayes, Andrew Bainbridge-Smith |
A machine vision extension to the Ruby programming language using OpenCV and FFI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVCNZ ![In: 28th International Conference on Image and Vision Computing New Zealand, IVCNZ 2013, Wellington, New Zealand, November 27-29, 2013, pp. 184-189, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
36 | Norodd Hagenson |
Operations Analysis Computing at FFI, 1970-1995. ![Search on Bibsonomy](Pics/bibsonomy.png) |
History of Nordic Computing ![In: History of Nordic Computing 3 - Third IFIP WG 9.7 Conference, HiNC 3, Stockholm, Sweden, October 18-20, 2010, Revised Selected Papers, pp. 35-42, 2010, Springer, 978-3-642-23314-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Tristan Ravitch, Steve Jackson 0002, Eric Aderhold, Ben Liblit |
Automatic generation of library bindings using static analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 352-362, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ffi, multi-language code reuse, static library analysis, bindings, dataflow analysis, foreign function interfaces |
23 | Alceste Scalas, Giovanni Casu, Piero Pili |
High-performance technical computing with erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, Victoria, BC, Canada, September 27, 2008, pp. 49-60, 2008, ACM, 978-1-60558-065-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
numerical applications, erlang, hpc |
23 | John H. Reppy, Chunyan Song |
Application-specific foreign-interface generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings, pp. 49-58, 2006, ACM, 1-59593-237-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
foreign-interface generation, term rewriting |
23 | Kerryann Wyatt, James G. Phillips |
Internet use and misuse in the workplace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OZCHI ![In: Proceedings of the 2005 Australasian Computer-Human Interaction Conference, OZCHI 2005, Canberra, Australia, November 21-25, 2005, 2005, ACM, 1-59593-222-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
personality, workplace, internet use |
23 | Krasimir Angelov, Simon Marlow |
Visual haskell: a full-featured haskell development environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005, pp. 5-16, 2005, ACM, 1-59593-071-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
haskell development environment, visual studio |
23 | Huai-Yi Hsu, Sheng-Feng Wang, An-Yeu Wu |
A Novel Low-Cost Multi-Mode Reed Solomon Decoder Design Based on Peterson-Gorenstein-Zierler Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 34(3), pp. 251-259, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Peterson-Gorenstein-Zerler algorithm, Chien search algorithm, Forney algorithm, Reed-Solomon code, error control coding |
23 | Hsie-Chia Chang, Chen-Yi Lee |
An area-efficient architecture for Reed-Solomon decoder using the inversionless decomposed Euclidean algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (2) ![In: Proceedings of the 2001 International Symposium on Circuits and Systems, ISCAS 2001, Sydney, Australia, May 6-9, 2001, pp. 649-652, 2001, IEEE, 0-7803-6685-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|