Search results for "performance specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Ashok Argent-Katwala, Jeremy T. Bradley	Functional Performance Specification with Stochastic Probes.	EPEW	2006	DBLP DOI BibTeX RDF
2	Murali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy	Performance specification of software components.	SSR	2001	DBLP DOI BibTeX RDF	generic objects, time & space analysis, data structures, storage management
2	Thomas Fahringer, Clovis Seragiotto Jr.	Modeling and detecting performance problems for distributed and parallel programs with JavaPSL.	SC	2001	DBLP DOI BibTeX RDF	mixed openMP and MPI programs, performance specification language, Java, performance analysis, distributed and parallel systems
2	Abdul Waheed, Vincent F. Melfi, Diane T. Rover	A model for instrumentation system management in concurrent computer systems.	HICSS	1995	DBLP DOI BibTeX RDF	parallel application software development, performance related parameter space, run-time tools, performance tuning aids, performance specification, speed characteristics, Portrayal Specification Language, performance evaluation, parallel programming, reverse engineering, monitoring, software tools, specification languages, performance prediction, data flow analysis, software performance evaluation, dataflow, parallel applications, control flow, program diagnostics, execution trace, program execution
2	John J. Zic	Extensions to communicating sequential processes to allow protocol performance specification.	Computer Communication Review	1987	DBLP DOI BibTeX RDF	CSP
1	Hsiu-Ming Chang, Kwang-Ting (Tim) Cheng	Image quality aware metrics for performance specification of ADC array in 3D CMOS imagers.	DAC	2011	DBLP DOI BibTeX RDF
1	Tae-Hyoung Kim, Shinji Hara	Stabilization of multi-agent dynamical systems for cyclic pursuit behavior.	CDC	2008	DBLP DOI BibTeX RDF
1	Matthew Webb, Hua Tang	Analog design retargeting by design knowledge reuse and circuit synthesis.	ISCAS	2008	DBLP DOI BibTeX RDF
1	Bram Kruseman, Ananta K. Majhi, Guido Gronthoud	On Performance Testing with Path Delay Patterns.	VTS	2007	DBLP DOI BibTeX RDF
1	Heiko Koziolek, Steffen Becker, Jens Happe	Predicting the Performance of Component-Based Software Architectures with Different Usage Profiles.	QoSA	2007	DBLP DOI BibTeX RDF
1	Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt	Performance Trees: A New Approach to Quantitative Performance Specification.	MASCOTS	2006	DBLP DOI BibTeX RDF
1	Mehdi Amirijoo, Aleksandra Tesanovic, Torgny Andersson, Jörgen Hansson, Sang Hyuk Son	Finite Horizon QoS Prediction of Reconfigurable Firm Real-Time Sytems.	RTCSA	2006	DBLP DOI BibTeX RDF
1	Sambuddha Bhattacharya, Nuttorn Jangkrajarng, C.-J. Richard Shi	Template-driven parasitic-aware optimization of analog integrated circuit layouts.	DAC	2005	DBLP DOI BibTeX RDF	analog layout automation, optimization, sensitivity, parasitics
1	Timothy M. Sutherland, Yali Zhu, Luping Ding, Elke A. Rundensteiner	An Adaptive Multi-Objective Scheduling Selection Framework for Continuous Query Processing.	IDEAS	2005	DBLP DOI BibTeX RDF
1	Jihyun Lee, Yong-Bin Kim	ASLIC: A Low Power CMOS Analog Circuit Design Automation.	ISQED	2005	DBLP DOI BibTeX RDF
1	Daniel Simon, David Robert, Olivier Sename	Robust Control/Scheduling Co-Design: Application to Robot Control.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
1	Kerstin Eder, Geoff Barrett	Achieving maximum performance: a method for the verification of interlocked pipeline control logic.	DAC	2002	DBLP DOI BibTeX RDF	interlock logic, pipeline stall, verification
1	Michael D. DeVore, Roger D. Chamberlain, George Engel, Joseph A. O'Sullivan, Mark A. Franklin	Tradeoffs Between Quality of Results and Resource Consumption in a Recognition System.	ASAP	2002	DBLP DOI BibTeX RDF
1	Hesham El-Sayed, Donald Cameron, C. Murray Woodside	Automation support for software performance engineering.	SIGMETRICS/Performance	2001	DBLP DOI BibTeX RDF
1	Martin Fleury, Andy C. Downton, Adrian F. Clark	Performance Metrics for Embedded Parallel Pipelines.	IEEE Trans. Parallel Distrib. Syst.	2000	DBLP DOI BibTeX RDF	real-time systems, Performance prediction, order statistics, parallel pipelines
1	Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo	Exploiting Modal Logic to Express Performance Measures.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
1	Graham Clark, Stephen Gilmore, Jane Hillston	Specifying Performance Measures for PEPA.	ARTS	1999	DBLP DOI BibTeX RDF
1	Gunnar Brataas, Peter H. Hughes, Arne Sølvberg	Framework for Performance Engineering of Workflows: A Blood Bank Case Study. (PDF / PS)	HICSS	1998	DBLP DOI BibTeX RDF
1	Timo Koskinen, Peter Y. K. Cheung	Hierarchical tolerance analysis using statistical behavioral models.	IEEE Trans. on CAD of Integrated Circuits and Systems	1996	DBLP DOI BibTeX RDF
1	Ram Mandayam, Ranga Vemuri	Performance Specification Using Attributed Grammars.	DAC	1993	DBLP DOI BibTeX RDF	VHDL
1	Ram Mandayam, Ranga Vemuri	Performance Specification and Measurement.	CHDL	1993	DBLP BibTeX RDF
1	Pierre G. Paulin, John P. Knight, Emil F. Girczyc	HAL: a multi-paradigm approach to automatic data path synthesis.	DAC	1986	DBLP DOI BibTeX RDF
1	Kumkum Garg	An Approach to Performance Specification of Communication Protocols Using Timed Petri Nets.	IEEE Trans. Software Eng.	1985	DBLP DOI BibTeX RDF
1	Kumkum Garg	An Approach to Performance Specification of Communication Protocols Using Timed Petrinets.	ICDCS	1984	DBLP BibTeX RDF