The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for E with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1993 (1) 1994 (2) 2004 (2) 2009 (1)
Publication types (Num. hits)
article(2) inproceedings(4)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 23 occurrences of 16 keywords

Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Darren Galpin, Cormac Driver, Siobhán Clarke Modelling hardware verification concerns specified in the e language: an experience report. Search on Bibsonomy AOSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF theme/uml, hardware verification, aspect-oriented modelling, e
1Annette Bunker, Ganesh Gopalakrishnan, Sally A. McKee Formal hardware specification languages for protocol compliance verification. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Heterogeneous Hardware Logic, Hierarchical Annotated Action Diagrams, Lava, Objective VHDL, OpenVera, SpecC, Specification and Description Language, The Unified Modeling Language, Java, Statecharts, SystemC, Message Sequence Charts, Esterel, Live Sequence Charts, timing diagrams, hardware monitors, SystemVerilog, e, Property Specification Language
1Vinh Hong, Henryk Palus, Dietrich Paulus Edge Preserving Filters on Color Images. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2004 DBLP  DOI  BibTeX  RDF color image enhancement, edge-preserving filters, performance measures, E
1Seth J. White, David J. DeWitt QuickStore: A High Performance Mapped Object Store. Search on Bibsonomy SIGMOD Conference The full citation details ... 1994 DBLP  DOI  BibTeX  RDF C++, E, EXODUS
1Michael J. Carey 0001, David J. DeWitt, Michael J. Franklin, Nancy E. Hall, Mark L. McAuliffe, Jeffrey F. Naughton, Daniel T. Schuh, Marvin H. Solomon, C. K. Tan, Odysseas G. Tsatalos, Seth J. White, Michael J. Zwilling Shoring Up Persistent Applications. Search on Bibsonomy SIGMOD Conference The full citation details ... 1994 DBLP  DOI  BibTeX  RDF C++, E
1Joel E. Richardson, Michael J. Carey 0001, Daniel T. Schuh The Design of the E Programming Language. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF extensible database systems, persistent object management, C++, E
Displaying result #1 - #6 of 6 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license