Search results for "flow-abstraction"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Eric Bodden, Reehan Shaikh, Laurie J. Hendren	Relational aspects as tracematches.	AOSD	2008	DBLP DOI BibTeX RDF	control-flow abstraction, inter-object relationships, aspect-oriented programming, high-level design
17	Jörg Wallerich, Holger Dreger, Anja Feldmann, Balachander Krishnamurthy, Walter Willinger	A methodology for studying persistency aspects of internet flows.	Comput. Commun. Rev.	2005	DBLP DOI BibTeX RDF	elephants vs. mice, flow-abstraction, large flows, protocol use, reservations, Netflow, Zipf's law, time-scales
14	Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan	Selective control-flow abstraction via jumping.	OOPSLA	2015	DBLP DOI BibTeX RDF
14	Jeff Huang 0001, Patrick O'Neil Meredith, Grigore Rosu	Maximal sound predictive race detection with control flow abstraction.	PLDI	2014	DBLP DOI BibTeX RDF
14	Laurence Loewe, Maria Luisa Guerriero, Steven Watterson, Stuart L. Moodie, Peter Ghazal, Jane Hillston	Translation from the Quantified Implicit Process Flow Abstraction in SBGN-PD Diagrams to Bio-PEPA Illustrated on the Cholesterol Pathway.	Trans. Comp. Sys. Biology	2011	DBLP DOI BibTeX RDF
14	Jewgenij Botaschanjan, Benjamin Hummel	Material Flow Abstraction of Manufacturing Systems.	ICTAC	2010	DBLP DOI BibTeX RDF
14	Rainer Findenig, Thomas Leitner, Michael Velten, Wolfgang Ecker	Fast and accurate UML State Chart modeling using TLM+ control flow abstraction.	HLDVT	2010	DBLP DOI BibTeX RDF
14	Laurence Loewe, Stuart L. Moodie, Jane Hillston	Quantifying the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA	COMPMOD	2009	DBLP DOI BibTeX RDF
14	Stan Jarzabek, Hongyu Zhang 0002	Enhacing component reuse with control flow abstraction analysis.	SEKE	2001	DBLP BibTeX RDF
14	K. S. Shankar, C. Sekar Chandersekaran	Dat Flow, Abstraction Levels and Specifications for Communications Switching Systems.	ICSE	1976	DBLP BibTeX RDF
9	Stefan Gossens, Mario Dal Cin	Structural Analysis of Explicit Fault-Tolerant Programs.	HASE	2004	DBLP DOI BibTeX RDF
9	Alexandre Yakovlev, Albert Koelmans, Luciano Lavagno	High-Level Modeling and Design of Asynchronous Interface Logic.	IEEE Des. Test Comput.	1995	DBLP DOI BibTeX RDF
8	Stefan Gossens, Mario Dal Cin	A View-Based Control Flow Metric.	COMPSAC Workshops	2004	DBLP DOI BibTeX RDF
8	John Field, G. Ramalingam	Identifying Procedural Structure in Cobol Programs.	PASTE	1999	DBLP DOI BibTeX RDF	COBOL
6	Wolfgang Ecker, Stefan Heinen, Michael Velten	Using a dataflow abstracted virtual prototype for HdS-design.	ASP-DAC	2009	DBLP DOI BibTeX RDF
6	Valerio Grossi, Andrea Romei	Extending KDDML with a Visual Metaphor for the KDD Process.	VISUAL	2008	DBLP DOI BibTeX RDF
6	Calton Pu, Galen S. Swint	DSL Weaving for Distributed Information Flow Systems.	APWeb	2005	DBLP DOI BibTeX RDF
6	B. Chappell, Xinning Wang, Priyadarsan Patra, Prashant Saxena, J. Vendrell, Satyanarayan Gupta, S. Varadarajan, W. Gomes, S. Hussain, H. Krishnamurthy, M. Venkateshmurthy, S. Jain	A System-Level Solution to Domino Synthesis with 2 GHz Application.	ICCD	2002	DBLP DOI BibTeX RDF