|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 86 occurrences of 62 keywords
|
|
|
|
|
Results
Found 87 publication records. Showing 87 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Joseph Gil, Keren Lenz |
Keyword- and Default- Parameters in JAVA.  |
Journal of Object Technology  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Maayan Goldstein, Dany Moshkovich |
Empirical Confirmation (and Refutation) of Presumptions on Software |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Joseph Gil, Keren Lenz, Yuval Shimron |
A microbenchmark case study and lessons learned. |
SPLASH Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Yuval Shimron |
Smaller footprint for Java collections. |
OOPSLA Companion |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yossi Gil, Maayan Goldstein, Dany Moshkovich |
How much information do software metrics contain? |
PLATEAU |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Keren Lenz |
Simple and safe SQL queries with C++ templates. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil |
Reflections on Spartan Programming and the No-Debugger Principle. |
Haifa Verification Conference |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Keren Lenz |
The Use of Overloading in Java Programs. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yossi Gil, Shiri Kremer-Davidson, Itay Maman |
Sans Constraints? Feature Diagrams vs. Feature Models. |
SPLC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tal Cohen, Joseph Gil |
Three approaches to object evolution. |
PPPJ |
2009 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Joseph Gil, Tali Shragai |
Are We Ready for a Safer Construction Environment? |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, William Pugh, Grant E. Weddell, Yoav Zibin |
Two-dimensional bidirectional object layout. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
coloring, hierarchy, inheritance, layout, bidirectional |
| 1 | Tal Cohen, Joseph Gil, Itay Maman |
Guarded Program Transformations Using JTL. |
TOOLS |
2008 |
DBLP DOI BibTeX RDF |
Program Transformations, Declarative Programming |
| 1 | Joseph Gil, Itay Maman |
Whiteoak: introducing structural typing into java. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
structural subtyping, java, abstraction |
| 1 | Joseph Gil, Yoav Zibin |
Randomised algorithms for isomorphisms of simple types. |
Mathematical Structures in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tal Cohen, Joseph Gil |
Better Construction with Factories. |
Journal of Object Technology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Yoav Zibin |
Efficient dynamic dispatching with type slicing. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
CT (compact dispatch tables), type slicing, hierarchy, subtyping, message, incremental, dispatch, dynamic-typing |
| 1 | Joseph Gil, Keren Lenz |
Simple and safe SQL queries with c++ templates. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
structural type equivalence, template programming, databases, C++, domain specific languages, relational algebra, embedded languages |
| 1 | Joseph Gil, Keren Lenz |
Eliminating Impedance Mismatch in C++. |
VLDB |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sara Cohen, Joseph Gil, Evelina Zarivach |
Datalog Programs over Infinite Databases, Revisited. |
DBPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tal Cohen, Joseph Gil |
Shakeins: Nonintrusive Aspects for Middleware Frameworks. |
T. Aspect-Oriented Software Development |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Alexander Gorovoy, Alon Itai |
Software Fingerprinting. |
ITRE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tal Cohen, Joseph Gil, Itay Maman |
JTL: the Java tools language. |
OOPSLA |
2006 |
DBLP DOI BibTeX RDF |
reverse engineering, declarative programming |
| 1 | Joseph Gil, Yoav Zibin |
Efficient algorithms for isomorphisms of simple types. |
Mathematical Structures in Computer Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Yoav Zibin |
Efficient subtyping tests with PQ-encoding. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
PQ, PQE, type inclusion, encoding, hierarchy, inheritance, subtyping, partially ordered sets, Casting |
| 1 | Joseph Gil, Itay Maman |
Micro patterns in Java code. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
implementation patterns, object-oriented programming, design patterns, program analysis |
| 1 | Vitaly Surazhsky, Joseph Gil |
Type-safe covariance in C++. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
C++, templates, type safety, covariance |
| 1 | Tal Cohen, Joseph Gil |
AspectJ2EE = AOP + J2EE. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoav Zibin, Joseph Gil, Jeffrey Considine |
Efficient algorithms for isomorphisms of simple types. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
first order isomorphism, linear isomorphism, non-recursive types, simple types, type signature |
| 1 | Yoav Zibin, Joseph Gil |
Incremental algorithms for dispatching in dynamically typed languages. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
hierarchy, CT, message, incremental, dispatch, dynamic-typing |
| 1 | Uri Dekel, Joseph Gil |
Visualizing class interfaces with formal concept analysis. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
feature categorization, reverse-engineering, documentation, classes, concept analysis |
| 1 | Yoav Zibin, Joseph Gil |
Two-Dimensional Bi-directional Object Layout. |
ECOOP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Uri Dekel, Yossi Gil |
Revealing Class Structure with Concept Lattices. |
WCRE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Ron Kimmel |
Efficient Dilation, Erosion, Opening, and Closing Algorithms. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2002 |
DBLP DOI BibTeX RDF |
running maximum filter, min-max filter, Mathematical morphology, computational efficiency |
| 1 | Joseph Gil, John Howse, Elena Tulchinsky |
Positive Semantics of Projections in Venn-Euler Diagrams. |
J. Vis. Lang. Comput. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Yoav Zibin, Joseph Gil |
Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, John Howse, Stuart Kent |
Advanced visual modelling: beyond UML. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
UML |
| 1 | John Howse, Fernando Molina, John Taylor, Stuart Kent, Joseph Gil |
Spider Diagrams: A Diagrammatic Reasoning System. |
J. Vis. Lang. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, John Howse, Stuart Kent |
Towards a Formalization of Constraint Diagrams. |
HCC |
2001 |
DBLP DOI BibTeX RDF |
formal methods, software specification, Visual formalisms |
| 1 | Joseph Gil |
Subtyping arithmetical types. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoav Zibin, Joseph Gil |
Efficient Subtyping Tests with PQ-Encoding. |
OOPSLA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marina Biberstein, Joseph Gil, Sara Porat |
Sealing, Encapsulation, and Mutability. |
ECOOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, John Howse, Stuart Kent, John Taylor |
Projections in Venn-Euler Diagrams. (PDF / PS) |
VL |
2000 |
DBLP DOI BibTeX RDF |
diagrammatic notations, Visual formalisms |
| 1 | Joseph Gil, John Howse, Stuart Kent |
Advanced Visual Modeling: Beyond UML. |
TOOLS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Tal Cohen, Joseph Gil |
Self-Calibration of Metrics of Java Methods. |
TOOLS |
2000 |
DBLP DOI BibTeX RDF |
metrics self-calibration, Java methods, internal product metrics, common programming practice, external qualities, absolute values, local values, global database, method profiles, traditional programming languages, Java, software quality, software metrics, decision-making, calibration, observations, object oriented languages, data gathering, software complexity, CPP |
| 1 | Joseph Gil, John Howse, Elena Tulchinsky |
Positive Semantics of Projections in Venn-Euler Diagrams. |
Diagrams |
2000 |
DBLP BibTeX RDF |
|
| 1 | Natalie Eckel, Joseph Gil |
Empirical Study of Object-Layout Strategies and Optimization Techniques. |
ECOOP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, John Howse, Stuart Kent |
Advanced visual modeling (tutorial session): beyond UML. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
UML |
| 1 | Joseph Gil, Alan S. Wagner |
An Alternative Mapping of 3-D Space onto Processor Arrays. |
J. Parallel Distrib. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Alon Itai |
How to Pack Trees. |
J. Algorithms |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, John Howse, Stuart Kent |
Formalizing Spider Diagrams. (PDF / PS) |
VL |
1999 |
DBLP DOI BibTeX RDF |
formal methods, software specification, Visual formalisms |
| 1 | Shmuel Katz, Joseph Gil |
Aspects and Superimpositions. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | Joseph Gil, John Howse, Stuart Kent |
Constraint Diagrams: A Step Beyond UML. |
TOOLS |
1999 |
DBLP DOI BibTeX RDF |
Modelling, formal methods, visual formalism, object-oriented software development |
| 1 | Peter F. Sweeney, Joseph Gil |
Space and Time-Efficient Memory Layout for Multiple Inheritance. |
OOPSLA |
1999 |
DBLP DOI BibTeX RDF |
C++ |
| 1 | Stuart Kent, Joseph Gil |
Visualising action contracts in object-oriented modelling. |
IEE Proceedings - Software |
1998 |
DBLP BibTeX RDF |
|
| 1 | Joseph Gil, David H. Lorenz |
Design Patterns and Language Design. |
IEEE Computer |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Yossi Matias |
Simple Fast Parallel Hashing by Oblivious Execution. |
SIAM J. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Y. Eckel |
Statically Checkable Design Level Traits. (PDF / PS) |
ASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Alon Itai |
The Complexity of Type Analysis of Object Oriented Programs. |
ECOOP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Stuart Kent |
Three Dimensional Software Modeling. |
ICSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Zvi Gutterman |
Compile Time Symbolic Derivation with C++ Templates. |
COOTS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Amnon H. Eden, Joseph Gil, Amiram Yehudai |
Automating the Application of Design Patterns. |
JOOP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Joseph Gil, David H. Lorenz |
Design Patterns vs. Language Design. |
ECOOP Workshops |
1997 |
DBLP BibTeX RDF |
|
| 1 | James Coplien, Joseph Gil, David Harel, Bertrand Meyer |
Keynotes. |
TOOLS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Beery Holstein |
T++: A Test Case Generator Using a Debugging Information Based Technique for Source Code Manipulation. |
TOOLS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Amnon H. Eden, Amiram Yehudai, Joseph Gil |
Precise Specification and Automatic Application of Design Patterns. (PDF / PS) |
ASE |
1997 |
DBLP DOI BibTeX RDF |
precise pattern specification, automatic pattern application, meta-programming language, software tool prototype, source code test, source code editing, algorithm, design patterns, object-oriented design, object-oriented methods |
| 1 | Yossi Gil |
Extendability vs. Substitutability in OO Languages. |
TOOLS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Yossi Matias |
An Effective Load Balancing Policy for Geometric-Decaying Algorithms. |
J. Parallel Distrib. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Friedhelm Meyer auf der Heide, Avi Wigderson |
The Tree Model for Hashing: Lower and Upper Bounds. |
SIAM J. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Alan S. Wagner |
A New Technique for 3-D Domain Decomposition on Multicomputers which Reduces Message-Passing. (PDF / PS) |
IPPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, David H. Lorenz |
Environmental Acquisition - A New Inheritance-Like Abstraction Mechanism. |
OOPSLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinz Breu, Joseph Gil, David G. Kirkpatrick, Michael Werman |
Linear Time Euclidean Distance Algorithms. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1995 |
DBLP DOI BibTeX RDF |
algorithm, Voronoi diagram, Distance transform, Euclidean distance |
| 1 | Joseph Gil, Alon Itai |
Packing Trees. |
ESA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Yossi Matias |
Designing Algorithms by Expectations. |
Inf. Process. Lett. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil |
Renaming and dispersing: Techniques for Fast Load Balancing. |
J. Parallel Distrib. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Yossi Matias |
Fast and Efficient Simulations among CRCW PRAMs. |
J. Parallel Distrib. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Yossi Matias |
Simple Fast Parallel Hashing. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Michael Werman |
Computing 2-D Min, Median, and Max Filters. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1993 |
DBLP DOI BibTeX RDF |
2D min filters, max filters, statistic filter transforms, polylog time, logarithmic time, image processing, image processing, filtering and prediction theory, median filter |
| 1 | Joseph Gil, William L. Steiger, Avi Wigderson |
Geometric medians. |
Discrete Mathematics |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Dietzfelbinger, Joseph Gil, Yossi Matias, Nicholas Pippenger |
Polynomial Hash Functions Are Reliable (Extended Abstract). |
ICALP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Yossi Matias |
Leaders Election Without Conflict Resolution Rule - Fast and Efficient Randomized Simulations among CRCW PRAMs. |
LATIN |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Yossi Matias |
Fast Hashing on a PRAM - Designing by Expectation. |
SODA |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil |
Fast load balancing on a PRAM. |
SPDP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Yossi Matias, Uzi Vishkin |
Towards a Theory of Nearly Constant Time Parallel Algorithms |
FOCS |
1991 |
DBLP DOI BibTeX RDF |
superfast optimal algorithms, nearly constant time parallel algorithms, positive numbers, estimation, randomization, running time |
| 1 | Joseph Gil, Friedhelm Meyer auf der Heide, Avi Wigderson |
Not All Keys Can Be Hashed in Constant Time (Preliminary Version) |
STOC |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Larry Rudolph |
Counting and Packing in Parallel. |
ICPP |
1986 |
DBLP BibTeX RDF |
|
| 1 | Chagit Attiya, Danny Dolev, Joseph Gil |
Asynchronous Byzantine Consensus. |
PODC |
1984 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #87 of 87 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")