Search results for "E"

Found 6 publication records. Showing 6 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Darren Galpin, Cormac Driver, Siobhán Clarke	Modelling hardware verification concerns specified in the e language: an experience report.	AOSD	2009	DBLP DOI BibTeX RDF	theme/uml, hardware verification, aspect-oriented modelling, e
1	Annette Bunker, Ganesh Gopalakrishnan, Sally A. McKee	Formal hardware specification languages for protocol compliance verification.	ACM Trans. Design Autom. Electr. Syst.	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
1	Vinh Hong, Henryk Palus, Dietrich Paulus	Edge Preserving Filters on Color Images.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF	color image enhancement, edge-preserving filters, performance measures, E
1	Seth J. White, David J. DeWitt	QuickStore: A High Performance Mapped Object Store.	SIGMOD Conference	1994	DBLP DOI BibTeX RDF	C++, E, EXODUS
1	Michael 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.	SIGMOD Conference	1994	DBLP DOI BibTeX RDF	C++, E
1	Joel E. Richardson, Michael J. Carey 0001, Daniel T. Schuh	The Design of the E Programming Language.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	extensible database systems, persistent object management, C++, E

Displaying result #1 - #6 of 6 (100 per page; Change: )