Search results for "run-time behavior"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Yongtao Hu, Liang Chen, Ming Xu, Ning Zheng, Yanhua Guo	Unknown Malicious Executables Detection Based on Run-Time Behavior.	FSKD	2008	DBLP DOI BibTeX RDF
2	Mohammad El-Ramly, Eleni Stroulia, Paul G. Sorenson	From run-time behavior to usage scenarios: an interaction-pattern mining approach.	KDD	2002	DBLP DOI BibTeX RDF	interaction reengineering, run-time behavior analysis, software requirements recovery, software engineering, sequential pattern mining, usage scenarios
2	Grace Tsai, M. Insall, Bruce M. McMillin	Ensuring the satisfaction of a temporal specification at run-time.	ICECCS	1995	DBLP DOI BibTeX RDF	run-time temporal specification satisfaction, responsive computing system, run-time behavior, trace checking, fully distributed run-time evaluation system, train-set example, distributed system, real-time systems, real-time system, formal specification, temporal logic, distributed processing, software fault tolerance, fault-tolerant systems, interval temporal logic, operational environment
2	Philip S. Yu, Ming-Syan Chen, Hans-Ulrich Heiss, Sukho Lee	On Workload Characterization of Relational Database Environments.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	relational database workload analyzer, REDWAR, DB2 environment, database catalog, run-time behavior, benchmark workload, relational databases, SQL, query languages, systems analysis, database theory, views, DP management, design tradeoffs, structured query language
1	Jeffrey J. Evans, Charles E. Lucas	PARSE 2.0: A Tool for Parallel Application Run Time Behavior Evaluation.	ICDCS Workshops	2011	DBLP DOI BibTeX RDF
1	Zhengyu He, Bo Hong	Modeling the Run-time Behavior of Transactional Memory.	MASCOTS	2010	DBLP DOI BibTeX RDF	Transactional Memory, Queuing Model
1	Michael Perscheid, Bastian Steinert, Robert Hirschfeld, Felix Geller, Michael Haupt	Immediacy through Interactivity: Online Analysis of Run-time Behavior.	WCRE	2010	DBLP DOI BibTeX RDF
1	Eran Balan, Tova Milo, Tal Sterenzy	BP-Ex: a uniform query engine for business process execution traces.	EDBT	2010	DBLP DOI BibTeX RDF
1	Tsuyoshi Miyazaki, Takayuki Suzuki, Fujio Yamamoto	Investigating the Run Time Behavior of Distributed Applications by Using Tiny Java Virtual Machines with Wireless Communications.	HCI	2009	DBLP DOI BibTeX RDF	Software Education, Distributed Computing, Physical Computing
1	Mingjing Chen, Alex Orailoglu	Deflecting crosstalk by routing reconsideration through refined signal correlation estimation.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	signal correlation, routing, crosstalk
1	Sang Hyoung Lee, Il Hong Suh	Bayesian network-based behavior control for skilligent robots.	ICRA	2009	DBLP DOI BibTeX RDF
1	Carlo Ghezzi, Andrea Mocci, Mattia Monga	Synthesizing intensional behavior models by graph transformation.	ICSE	2009	DBLP DOI BibTeX RDF
1	Stefan Schulte 0002, Nicolas Repp, Dieter Schuller, Ralf Steinmetz	From Web Service Policies to Automatic Deviation Handling: Supporting Semantic Description of Reactions to Policy Violations.	ICSC	2009	DBLP DOI BibTeX RDF
1	Jörg Kienzle, Ekwa Duala-Ekoko, Samuel Gélineau	AspectOptima: A Case Study on Aspect Dependencies and Interactions.	T. Aspect-Oriented Software Development	2009	DBLP DOI BibTeX RDF	aspect dependencies, aspect collaboration, aspect-oriented language features, aspect binding, inter-aspect ordering, inter-aspect configurability, per-object aspects, reusability, dynamic aspects, aspect interference
1	M. Aater Suleman, Moinuddin K. Qureshi, Yale N. Patt	Feedback-driven threading: power-efficient and high-performance execution of multi-threaded workloads on CMPs.	ASPLOS	2008	DBLP DOI BibTeX RDF	synchronization, CMP, bandwidth, multi-threaded
1	Florian Marquardt, Adelinde M. Uhrmacher	Evaluating AI planning for service composition in smart environments.	MUM	2008	DBLP DOI BibTeX RDF	service composition, smart environments, AI planning
1	Rinus Plasmeijer, Jan Martin Jansen, Pieter W. M. Koopman, Peter Achten	Declarative Ajax and client side evaluation of workflows using iTasks.	PPDP	2008	DBLP DOI BibTeX RDF	Sapl, iData, iTask, generic programming, Ajax, web programming, workflow systems, clean
1	Elaheh Safari-Sharifabadi, Constantinos Constantinides	Dynamic analysis of Ada programs for comprehension and quality measurement.	SIGAda	2008	DBLP DOI BibTeX RDF	quality measurement and metrics, program comprehension, dynamic program analysis
1	Alexandros Bartzas, Miguel Peón Quirós, Stylianos Mamagkakis, Francky Catthoor, Dimitrios Soudris, Jose Manuel Mendias	Enabling run-time memory data transfer optimizations at the system level with automated extraction of embedded software metadata information.	ASP-DAC	2008	DBLP DOI BibTeX RDF
1	Farhang Nemati, Johan Kraft, Christer Norström	Validation of Temporal Simulation Models of Complex Real-Time Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	Legacy Systems, Impact Analysis, Model Validation, Model Extraction
1	Ludmila Cherkasova, Kivanc M. Ozonat, Ningfang Mi, Julie Symons, Evgenia Smirni	Anomaly? application change? or workload change? towards automated detection of application performance anomaly and change.	DSN	2008	DBLP DOI BibTeX RDF
1	Florian Wagner, Joachim Bohl, Georg Frey	An IEC 61499 interpretation and implementation focused on usability.	ETFA	2008	DBLP DOI BibTeX RDF
1	Kurt Stenzel, Holger Grandy, Wolfgang Reif	Verification of Java Programs with Generics.	AMAST	2008	DBLP DOI BibTeX RDF
1	Till Riedel, Michael Beigl, Martin Berchtold, Christian Decker, Arno Puder	Implicit Middleware.	OTM Workshops	2008	DBLP DOI BibTeX RDF
1	Wei-Tek Tsai, Qian Huang, Xin Sun, Yinong Chen	Dynamic Collaboration Simulation in Service-Oriented Computing Paradigm.	Annual Simulation Symposium	2007	DBLP DOI BibTeX RDF
1	Rene Beckert, Thomas Fuchs, Steffen Rülke, Wolfram Hardt	A Run-Time Scheduling Framework for a Reconfigurable Hardware Emulator.	DSD	2007	DBLP DOI BibTeX RDF
1	Md. Mafijul Islam	Predicting Loop Termination to Boost Speculative Thread-Level Parallelism in Embedded Applications.	SBAC-PAD	2007	DBLP DOI BibTeX RDF
1	Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger	Model-Driven Construction of Certified Binaries.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Miguel Peón Quirós, Alexandros Bartzas, Stylianos Mamagkakis, Francky Catthoor, Jose Manuel Mendias, Dimitrios Soudris	Direct Memory Access Optimization in Wireless Terminals for Reduced Memory Latency and Energy Consumption.	PATMOS	2007	DBLP DOI BibTeX RDF
1	Jeffrey Wilhelm, Tzi-cker Chiueh	A Forced Sampled Execution Approach to Kernel Rootkit Identification.	RAID	2007	DBLP DOI BibTeX RDF	X86 ISA emulation, dynamic malware analysis, intrusion prevention, Bayes classifier, rootkit detection
1	Coen De Roover, Johan Brichau, Theo D'Hondt	Combining fuzzy logic and behavioral similarity for non-strict program validation.	PPDP	2006	DBLP DOI BibTeX RDF	logic meta programming, quality assurance of object-oriented programs, program analysis, points-to analysis, fuzzy logic programming, program validation
1	Mehdi Modarressi, Shaahin Hessabi, Maziar Goudarzi	A Reconfigurable Cache Architecture for Object-Oriented Embedded Systems.	CCECE	2006	DBLP DOI BibTeX RDF
1	Hyesoon Kim, M. Aater Suleman, Onur Mutlu, Yale N. Patt	2D-Profiling: Detecting Input-Dependent Branches with a Single Input Data Set.	CGO	2006	DBLP DOI BibTeX RDF
1	Robert Sim, Pantelis Elinas, Matt Griffin, Alex Shyr, James J. Little	Design and analysis of a framework for real-time vision-based SLAM using Rao-Blackwellised particle filters.	CRV	2006	DBLP DOI BibTeX RDF
1	Jason Hiser, Naveen Kumar, Min Zhao, Shukang Zhou, Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa	Techniques and tools for dynamic optimization.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Paul C. Attie, David H. Lorenz, Aleksandra Portnova, Hana Chockler	Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System.	CBSE	2006	DBLP DOI BibTeX RDF
1	Rainer Buchty, Jie Tao, Wolfgang Karl	Automatic Data Locality Optimization Through Self-optimization.	IWSOS/EuroNGI	2006	DBLP DOI BibTeX RDF
1	Andreas Kowarz, Andrea Walther	Optimal Checkpointing for Time-Stepping Procedures in ADOL-C.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
1	Li-Ning Xing, Ying-Wu Chen, Xue-Shi Shen	A Constraint Satisfaction Adaptive Neural Network with Dynamic Model for Job-Shop Scheduling Problem.	ISNN	2006	DBLP DOI BibTeX RDF
1	Constantino G. Ribeiro, Marcelo Cintra	Quantifying Uncertainty in Points-To Relations.	LCPC	2006	DBLP DOI BibTeX RDF
1	Steve Carr, Soner Önder	A case for a working-set-based memory hierarchy.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	cache design, loop tiling
1	Albert Cohen, Marc Sigler, Sylvain Girbal, Olivier Temam, David Parello, Nicolas Vasilache	Facilitating the search for compositions of program transformations.	ICS	2005	DBLP DOI BibTeX RDF
1	James D. Herbsleb	Beyond computer science.	ICSE	2005	DBLP DOI BibTeX RDF	coordination, interdisciplinary, multidisciplinary, behavioral science
1	Shukang Zhou, Bruce R. Childers, Mary Lou Soffa	Planning for code buffer management in distributed virtual execution environments.	VEE	2005	DBLP DOI BibTeX RDF	adaptive code cache, code buffer, distributed environments, program partitioning, dynamic translation, generational cache
1	Manoj K. Agarwal, Karen Appleby, Manish Gupta 0007, Gautam Kar, Anindya Neogi, Anca Sailer	Problem Determination Using Dependency Graphs and Run-Time Behavior Models.	DSOM	2004	DBLP DOI BibTeX RDF
1	Stéphane Ducasse, Michele Lanza, Roland Bertuli	High-Level Polymetric Views of Condensed Run-time Information.	CSMR	2004	DBLP DOI BibTeX RDF	run-time information, reverse engineering, object-oriented programming, program understanding, software visualization
1	Scott A. Banachowski, Timothy Bisson, Scott A. Brandt	Integrating Best-Effort Scheduling into a Real-Time System.	RTSS	2004	DBLP DOI BibTeX RDF
1	Qingsong Yao, Aijun An	Characterizing Database User's Access Patterns.	DEXA	2004	DBLP DOI BibTeX RDF
1	David Kortenkamp, Reid G. Simmons, Tod Milam, Joaquín Lopez Fernández	A Suite of Tools for Debugging Distributed Autonomous Systems.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	distributed data logging, verification of distributed control programs, debugging autonomous systems, data visualization, run-time verification, interval logic
1	Stephen McCamant, Michael D. Ernst	Predicting problems caused by component upgrades.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	software components, software upgrades, specification matching
1	Robert Balzer	Safe Email, Safe Office, and Safe Web Browser.	DISCEX	2003	DBLP DOI BibTeX RDF
1	Bernd Mohr, Jesper Larsson Träff	Initial Design of a Test Suite for Automatic Performance Analysis Tools.	HIPS	2003	DBLP DOI BibTeX RDF
1	Bernd Mohr, Jesper Larsson Träff	Initial Design of a Test Suite for Automatic Performance Analysis Tools.	IPDPS	2003	DBLP DOI BibTeX RDF
1	Bernd Mohr, Felix Wolf	KOJAK - A Tool Set for Automatic Performance Analysis of Parallel Programs.	Euro-Par	2003	DBLP DOI BibTeX RDF
1	Andreas Knüpfer	A New Data Compression Technique for Event Based Program Traces.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
1	Walter Cazzola, Ahmed Ghoneim, Gunter Saake	Reflective Analysis and Design for Adapting Object Run-Time Behavior.	OOIS	2002	DBLP DOI BibTeX RDF	Meta-Objects, UML, Design Pattern, Reflection, Software Evolution
1	Valeria Bertacco, Kunle Olukotun	Efficient state representation for symbolic simulation.	DAC	2002	DBLP DOI BibTeX RDF	formal verification, BDDs, symbolic simulation
1	Eric Eide, Alastair Reid, John Regehr, Jay Lepreau	Static and dynamic structure in design patterns.	ICSE	2002	DBLP DOI BibTeX RDF
1	Vijay Sundararajan, Sachin S. Sapatnekar, Keshab K. Parhi	Fast and exact transistor sizing based on iterative relaxation.	IEEE Trans. on CAD of Integrated Circuits and Systems	2002	DBLP DOI BibTeX RDF
1	David A. Basin, Stefan Friedrich, Marek Gawkowski	Verified Bytecode Model Checkers.	TPHOLs	2002	DBLP DOI BibTeX RDF
1	Willem-Jan van den Heuvel, Jos van Hillegersberg, Wilhelm Hasselbring, Kuldeep Kumar	Enterprise Application Integration - Minitrack Introduction. (PDF / PS)	HICSS	2001	DBLP DOI BibTeX RDF
1	Daniel Häggander, Per Lidén, Lars Lundberg	A Method for Automatic Optimization of Dynamic Memory Management in C++. (PDF / PS)	ICPP	2001	DBLP DOI BibTeX RDF
1	Chiewon Lee, Junghwan Kim, Jerrold F. Stach, Eun Kyo Park	Simulating Agent Based Processing in an ADS Using C++ SIM. (PDF / PS)	ISADS	2001	DBLP DOI BibTeX RDF	Distributed Computing, Mobile Agent, Task Assignment, Object-Oriented Simulation
1	Johan Moe, David A. Carr	Understanding Distributed Systems via Execution Trace Data. (PDF / PS)	IWPC	2001	DBLP DOI BibTeX RDF	execution visualization, distributed systems, CORBA, Tracing
1	Patrick Cousot	Abstract Interpretation Based Formal Methods and Future Challenges.	Informatics	2001	DBLP DOI BibTeX RDF
1	Wim De Pauw, Erik Jensen, Nick Mitchell, Gary Sevitsky, John M. Vlissides, Jeaha Yang	Visualizing the Execution of Java Programs.	Software Visualization	2001	DBLP DOI BibTeX RDF
1	Vijay Sundararajan, Sachin S. Sapatnekar, Keshab K. Parhi	MINFLOTRANSIT: min-cost flow based transistor sizing tool.	DAC	2000	DBLP DOI BibTeX RDF
1	Harish Patil, Joel S. Emer	Combining Static and Dynamic Branch Prediction to Reduce Destructive Aliasing.	HPCA	2000	DBLP DOI BibTeX RDF	Conditional branch prediction, static branch prediction, profile-based optimization
1	Tarja Systä	Understanding the Behavior of Java Programs. (PDF / PS)	WCRE	2000	DBLP DOI BibTeX RDF
1	Nick Bassiliades, Ioannis P. Vlahavas, Ahmed K. Elmagarmid	E-DEVICE: An Extensible Active Knowledge Base System with Multiple Rule Type Support.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	derived attributes, active object-oriented database, Knowledge base system, aggregation, negation, production rules, deductive rules
1	Hirotaka Ogawa, Kouya Shimura, Satoshi Matsuoka, Fuyuhiko Maruyama, Yukihiko Sohda, Yasunori Kimura	OpenJIT: An Open-Ended, Reflective JIT Compiler Framework for Java.	ECOOP	2000	DBLP DOI BibTeX RDF
1	Jie Tao, Wolfgang Karl, Martin Schulz	Using the SMiLE Monitoring Infrastructure to Detect and Lower the Inefficiency of Parallel Applications.	HPCN	2000	DBLP DOI BibTeX RDF
1	Deepak R. Karuppiah, Patrick Deegan, Elizeth Araujo, Yunlei Yang, Gary Holness, Zhigang Zhu, Barbara Staudt Lerner, Roderic A. Grupen, Edward M. Riseman	Software Mode Changes for Continuous Motion Tracking.	IWSAS	2000	DBLP DOI BibTeX RDF
1	Daniel Amyot, Gunter Mussbacher	On the Extension of UML with Use Case Maps Concepts.	UML	2000	DBLP DOI BibTeX RDF
1	Joachim Wegener, Matthias Grochtmann	Evolutionärer Test von Realzeitsystemen.	Inform., Forsch. Entwickl.	2000	DBLP BibTeX RDF	Realzeitsystem, Zeitverhalten, Evolutionärer Test, Evolutionäre Algorithmen, Test
1	Roland Wismüller, Thomas Ludwig 0002	Interoperable Run-Time Tools for Distributed Systems--A Case Study.	The Journal of Supercomputing	2000	DBLP DOI BibTeX RDF	Run-time tools, behavioral integration, distributed systems, interoperability, coordination, on-line monitoring, plug-in architecture
1	Clemens Grelck, Sven-Bodo Scholz	Accelerating APL programs with SAC.	APL	1999	DBLP DOI BibTeX RDF	language comparison, runtime performance, compilation, APL, SAC
1	René L. Krikhaar, Maarten Pennings, J. Zonneveld	Employing Use-cases and Domain Knowledge for Comprehending Resource Usage.	CSMR	1999	DBLP DOI BibTeX RDF
1	Parke Godfrey, Jarek Gryz	View Disassembly.	ICDT	1999	DBLP DOI BibTeX RDF
1	Thomas Ledoux	OpenCorba: A Reflektive Open Broker.	Reflection	1999	DBLP DOI BibTeX RDF
1	Mary Lou Soffa	Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis.	SAS	1999	DBLP DOI BibTeX RDF
1	Keith D. Cooper, Timothy J. Harvey	Compiler-Controlled Memory.	ASPLOS	1998	DBLP DOI BibTeX RDF
1	Yinong Zhang, George B. Adams III	Performance Modeling and Code Partitioning for the DS Architecture.	ISCA	1998	DBLP DOI BibTeX RDF
1	Wim De Pauw, John M. Vlissides	Visualizing Object-Oriented Programs with Jinsight.	ECOOP Workshops	1998	DBLP DOI BibTeX RDF
1	Roland Wismüller, Jörg Trinitis, Thomas Ludwig 0002	A Universal Infrastructure for the Run-Time Monitoring of Parallel and Distributed Applications.	Euro-Par	1998	DBLP DOI BibTeX RDF
1	Wray L. Buntine, Lixin Su, A. Richard Newton, Andrew Mayer	Adaptive methods for netlist partitioning.	ICCAD	1997	DBLP DOI BibTeX RDF	Fidducia-Matheysses algorithm, partitioning, stochastic optimization, placement and routing
1	Axel W. Krings, M. H. Azadmanesh	Resource Reclaiming in Hard Real-Time Systems with Static and Dynamic Workloads.	HICSS	1997	DBLP DOI BibTeX RDF
1	Paul C. K. Kwok, Lok C. Wong	Run-time Behavior of Contour Tracing Algorithms for Document Conversion.	MVA	1996	DBLP BibTeX RDF
1	Brian L. Deitrich, Wen-mei W. Hwu	Speculative Hedge: Regulating Compile-time Speculation Against Profile Variations.	MICRO	1996	DBLP BibTeX RDF
1	Robert Glück, Jesper Jørgensen	Fast Binding-Time Analysis for Multi-Level Specialization.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF	generating extensions, program transformation, program analysis, partial evaluation, functional languages
1	Shubhendu S. Mukherjee, Shamik D. Sharma, Mark D. Hill, James R. Larus, Anne Rogers, Joel H. Saltz	Efficient Support for Irregular Applications on Distributed-Memory Machines.	PPOPP	1995	DBLP DOI BibTeX RDF
1	Brad T. Vander Zanden, Brad A. Myers	Demonstrational and Constraint-Based Techniques for Pictorially Specifying Application Objects and Boundaries.	ACM Trans. Comput.-Hum. Interact.	1995	DBLP DOI BibTeX RDF	interaction, interaction techniques, object-oriented design, direct manipulation, user interface management systems, programming by example
1	Carlo Zaniolo	Active Database Rules with Transaction-Conscious Stable-Model Semantics.	DOOD	1995	DBLP DOI BibTeX RDF
1	S. Mansoor Sarwar, Mansour H. A. Jaragh, Mike Wind	An Empirical Study of the Run-Time Behavior of Quicksort, Shellsort and Mergesort for Medium to Large Size Data.	Comput. Lang.	1994	DBLP DOI BibTeX RDF
1	S. Mansoor Sarwar	Run-Time Behavior of SASL Programs: A Performance Study.	Comput. Lang.	1993	DBLP DOI BibTeX RDF
1	Christian Scheidler, Lorenz Schäfers, Ottmar Krämer-Fuhrmann	TRAPPER: A Graphical Programming Environment for Industrial High-Performance Applications.	PARLE	1993	DBLP DOI BibTeX RDF	Scheduling, Programming Environments, Systems, Industrial Applications, Run-Time
1	Gene L. Fisher, Dale E. Busse, David Wolber	Adding Rule-Based Reasoning to a Demonstrational Interface Builder.	ACM Symposium on User Interface Software and Technology	1992	DBLP DOI BibTeX RDF	direct manipulation, programming by demonstration, UIMSs, interface builders
1	Paul Hudak, Jonathan Young	Collecting Interpretations of Expressions.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	theory
1	Henry G. Baker	Unify and Conquer.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
1	Jack W. Davidson, David B. Whalley	Ease: An Environment for Architecture Study and Experimentation.	SIGMETRICS	1990	DBLP DOI BibTeX RDF