|
|
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. |
PLDI |
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. |
ACM Trans. Program. Lang. Syst. |
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. |
PLDI |
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. |
ISAAC |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Leon Schuermann, Arun Thomas, Amit Levy |
Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems. |
KISV@SOSP |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Frédéric Bour |
CAMLroot: revisiting the OCaml FFI. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
36 | Anton Ekblad |
Foreign exchange at low, low rates a lightweight FFI for web-targeting Haskell dialects. |
IFL |
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. |
Int. J. Game Based Learn. |
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. |
Comput. Hum. Behav. |
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. |
IVCNZ |
2013 |
DBLP DOI BibTeX RDF |
|
36 | Norodd Hagenson |
Operations Analysis Computing at FFI, 1970-1995. |
History of Nordic Computing |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Tristan Ravitch, Steve Jackson 0002, Eric Aderhold, Ben Liblit |
Automatic generation of library bindings using static analysis. |
PLDI |
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. |
Erlang Workshop |
2008 |
DBLP DOI BibTeX RDF |
numerical applications, erlang, hpc |
23 | John H. Reppy, Chunyan Song |
Application-specific foreign-interface generation. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
foreign-interface generation, term rewriting |
23 | Kerryann Wyatt, James G. Phillips |
Internet use and misuse in the workplace. |
OZCHI |
2005 |
DBLP DOI BibTeX RDF |
personality, workplace, internet use |
23 | Krasimir Angelov, Simon Marlow |
Visual haskell: a full-featured haskell development environment. |
Haskell |
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. |
J. VLSI Signal Process. |
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. |
ISCAS (2) |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|