Search results for "Analyzability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
127	Samira Si-Said Cherfi, Nicolas Prat	Multidimensional Schemas Quality: Assessing and Balancing Analyzability and Simplicity.	ER (Workshops)	2003	DBLP DOI BibTeX RDF	Multidimensional schema design, simplicity, quality metrics, analyzability, quality criteria
48	Kelvin Nilsen	Simple low-level real-time threading semantics to enable portability, efficiency, analyzability, and generality.	JTRES	2008	DBLP DOI BibTeX RDF	safety-critical certification, Java, real-time, threading, RTSJ
48	K. H. (Kane) Kim	Systematic Composition and Analyzability of Dependable Networked Embedded Computing Systems.	SRDS	2006	DBLP DOI BibTeX RDF
48	Anders Wall, Johan Andersson, Jonas Neander, Christer Norström, Martin Lembke	Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems.	RTCSA	2003	DBLP DOI BibTeX RDF
48	Laurie J. Hendren, Guang R. Gao	Designing programming languages for analyzability: a fresh look at pointer data structures.	ICCL	1992	DBLP DOI BibTeX RDF
45	Marco Paolieri, Eduardo Quiñones, Francisco J. Cazorla, Guillem Bernat, Mateo Valero	Hardware support for WCET analysis of hard real-time multicore systems.	ISCA	2009	DBLP DOI BibTeX RDF	wcet, interconnection network, multicore, hard real-time, real-time embedded systems, cache partitioning, analyzability
45	Jan van Katwijk, W. J. Toetenel	Comparing formal specifications by measuring.	RTCSA	1995	DBLP DOI BibTeX RDF	formal specification notations, software engineering, software engineering, formal specification, software development, computer science education, tool support, software development management, notation, executability, maturity, analyzability, software engineering courses
45	Ragunathan Rajkumar, Michael Gagliardi, Lui Sha	The real-time publisher/subscriber inter-process communication model for distributed real-time systems: design and implementation.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	utility programs, real-time publisher/subscriber inter-process communication model, application-level toolkits, group-based programming, anonymous communication techniques, programming ease, upgradable real-time systems, performance benchmarks, design, real-time systems, scalability, software architecture, distributed processing, software tools, interfaces, implementation, application program interfaces, portability, programming models, distributed real-time systems, software portability, application generators, analyzability, programming interface
35	Wei Qin, Sharad Malik	A Study of Architecture Description Languages from a Model-based Perspective.	MTV	2005	DBLP DOI BibTeX RDF
35	Ali El-Haj-Mahmoud, Ahmed S. Al-Zawawi, Aravindh Anantaraman, Eric Rotenberg	Virtual multiprocessor: an analyzable, high-performance architecture for real-time computing.	CASES	2005	DBLP DOI BibTeX RDF	worst-case execution time, schedulability analysis, superscalar processor, simultaneous multithreading, hard real-time, resource partitioning
35	Johan Fredriksson, Massimo Tivoli, Ivica Crnkovic	A component-based development framework for supporting functional and non-functional analysis in control system design.	ASE	2005	DBLP DOI BibTeX RDF	non functional analysis, control systems, real time embedded systems, functional analysis
35	Piet Wauters, Marc Engels, Rudy Lauwereins, J. A. Peperstraete	Cyclo-Dynamic Dataflow.	PDP	1996	DBLP DOI BibTeX RDF	cyclo dynamic data flow, CDDF, data flow model, real time digital signal processing, cyclo static dataflow, data dependent control flow, data flow languages, Boolean data flow model, scheduling, real-time systems, semantics, signal processing, parallel languages, data flow computing, automatic tools
31	Idris Adjerid, Corey M. Angst, Sarv Devaraj, Nicholas Berente	Does Analytics Help Resolve Equivocality in the Healthcare Context? Contrasting the Effects of Analyzability and Differentiation.	J. Assoc. Inf. Syst.	2023	DBLP BibTeX RDF
31	Srdjan Stevanetic, Uwe Zdun	Supporting the analyzability of architectural component models - empirical findings and tool support.	Empir. Softw. Eng.	2018	DBLP DOI BibTeX RDF
31	Panita Meananeatra, Songsakdi Rongviriyapanish, Taweesup Apiwattanapong	Refactoring Opportunity Identification Methodology for Removing Long Method Smells and Improving Code Analyzability.	IEICE Trans. Inf. Syst.	2018	DBLP DOI BibTeX RDF
31	Panita Meananeatra, Ekekachan Rattanaleadnusorn, Songsakdi Rongviriyapanish, Titiphan Kitcharoensup, Thanapol Wisuttikul, Boonchai Charoendouysil	Modeling Code Analyzability at Method Level in J2EE Applications.	APSEC (2)	2013	DBLP DOI BibTeX RDF
31	Holger Eichelberger, Christian Kröher, Klaus Schmid	An Analysis of Variability Modeling Concepts: Expressiveness vs. Analyzability.	ICSR	2013	DBLP DOI BibTeX RDF
31	Min-Young Nam, Kyungtae Kang, Rodolfo Pellizzoni, Kyung-Joon Park, Jung-Eun Kim, Lui Sha	Modeling towards incremental early analyzability of networked avionics systems using virtual integration.	ACM Trans. Embed. Comput. Syst.	2012	DBLP DOI BibTeX RDF
31	Barbara G. Ryder, Ben Wiedermann	Language design and analyzability: a retrospective.	Softw. Pract. Exp.	2012	DBLP DOI BibTeX RDF
31	Johan Eker, Jörn W. Janneck	Dataflow programming in CAL - balancing expressiveness, analyzability, and implementability.	ACSCC	2012	DBLP DOI BibTeX RDF
31	Jing Ma, Wuping Yao, Zheying Zhang, Jyrki Nummenmaa	Using a Semantic Wiki to Improve the Consistency and Analyzability of Functional Requirements.	ICIST	2012	DBLP DOI BibTeX RDF
31	Eric Bouwers, José Pedro Correia, Arie van Deursen, Joost Visser 0001	Quantifying the Analyzability of Software Architectures.	WICSA	2011	DBLP DOI BibTeX RDF
31	Theo Ungerer, Francisco J. Cazorla, Pascal Sainrat, Guillem Bernat, Zlatko Petrov, Christine Rochange, Eduardo Quiñones, Mike Gerdes 0001, Marco Paolieri, Julian Wolf 0002, Hugues Cassé, Sascha Uhrig, Irakli Guliashvili, Michael Houston, Florian Kluge, Stefan Metzlaff, Jörg Mische	Merasa: Multicore Execution of Hard Real-Time Applications Supporting Analyzability.	IEEE Micro	2010	DBLP DOI BibTeX RDF
31	Mikhail Perepletchikov, Caspar Ryan, Zahir Tari	The Impact of Service Cohesion on the Analyzability of Service-Oriented Software.	IEEE Trans. Serv. Comput.	2010	DBLP DOI BibTeX RDF	maintainability, product metrics, design concepts, Services systems
31	Ziv Shami	On analyzability in the forking topology for simple theories.	Ann. Pure Appl. Log.	2006	DBLP DOI BibTeX RDF
31	Laurie J. Hendren, Guang R. Gao	Designing Programming Languages for the Analyzability of Pointer Data Structures.	Comput. Lang.	1993	DBLP DOI BibTeX RDF
27	Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani	Programming asynchronous layers with CLARITY.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	asynchronous components, design for analyzability, concurrency, static analysis, event-driven programming
27	Giuseppe A. Di Lucca, Anna Rita Fasolino, Porfirio Tramontana	Towards a Better Comprehensibility of Web Applications: Lessons Learned from Reverse Engineering Experiments.	WSE	2002	DBLP DOI BibTeX RDF	Reverse Engineering, Web applications, Comprehensibility, Analyzability, Self-descriptiveness
17	Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss	On Omega-Languages Defined by Mean-Payoff Conditions.	FoSSaCS	2009	DBLP DOI BibTeX RDF
17	Pierre Ganty, Rupak Majumdar	Analyzing Real-Time Event-Driven Programs.	FORMATS	2009	DBLP DOI BibTeX RDF
17	Pramod Chandraiah, Rainer Dömer	Automatic re-coding of reference code into structured and analyzable SoC models.	ASP-DAC	2008	DBLP DOI BibTeX RDF
17	Katherine A. Yelick	Programming models for petascale to exascale.	IPDPS	2008	DBLP DOI BibTeX RDF
17	Pierre Kelsen, Qin Ma 0002	A Lightweight Approach for Defining the Formal Semantics of a Modeling Language.	MoDELS	2008	DBLP DOI BibTeX RDF
17	Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre	Efficient Analysis of DynAlloy Specifications.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	software specification, dynamic logic, Alloy, software validation
17	Jérôme Hugues, Bechir Zalila, Laurent Pautet	Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems.	ISORC	2007	DBLP DOI BibTeX RDF
17	Bernhard Niemann, Christian Haubelt	Towards a Unified Execution Model for Transactions in TLM.	MEMOCODE	2007	DBLP DOI BibTeX RDF
17	Paul Lokuciejewski, Heiko Falk, Martin Schwarzer, Peter Marwedel, Henrik Theiling	Influence of procedure cloning on WCET prediction.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	WCET minimization, context-sensitive WCET-analysis, compiler optimizations
17	Yuanyuan Song	Adaptation Hiding Modularity for Self-Adaptive Systems.	ICSE Companion	2007	DBLP DOI BibTeX RDF
17	Hanbyul Seo, Byeong Gi Lee	Proportional-fair power allocation with CDF-based scheduling for fair and efficient multiuser OFDM systems.	IEEE Trans. Wirel. Commun.	2006	DBLP DOI BibTeX RDF
17	Hassan Reza	A Methodology for Architectural Design of Concurrent and Distributed Software Systems.	J. Supercomput.	2006	DBLP DOI BibTeX RDF	concurrent and distributed systems, HPrTN patterns, software architecture, petri nets, design patterns, architectural description languages (ADLs)
17	Volker Gruhn, Ralf Laue 0001	Adopting the Cognitive Complexity Measure for Business Process Models.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
17	Hwa-Young Jeong	The Component Based Factory Automation Control in the Internet Environment.	VSMM	2006	DBLP DOI BibTeX RDF
17	Manuel Silva Suárez, Laura Recalde	Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control.	ICATPN	2005	DBLP DOI BibTeX RDF
17	Dohyung Kim 0007, Soonhoi Ha	Static analysis and automatic code synthesis of flexible FSM model.	ASP-DAC	2005	DBLP DOI BibTeX RDF
17	William D. Young	Introducing Abstractions via Rewriting.	CHARME	2005	DBLP DOI BibTeX RDF
17	Bill McCloskey, Eric A. Brewer	ASTEC: a new approach to refactoring C.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	ASTEC, C, refactoring, translation, macro, preprocessor
17	Anders Wall, Johan Andersson, Christer Norström	Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings.	ISoLA	2004	DBLP DOI BibTeX RDF
17	Rémi Douence, Pascal Fradet, Mario Südholt	Composition, reuse and interaction analysis of stateful aspects.	AOSD	2004	DBLP DOI BibTeX RDF	reuse of aspects, static analysis, aspect oriented programming, formal model, aspect interactions, aspect composition
17	Anders Wall, Johan Andersson, Christer Norström	Probabilistic Simulation-Based Analysis of Complex Real-Time Systems.	ISORC	2003	DBLP DOI BibTeX RDF
17	César Sánchez 0001, Sriram Sankaranarayanan 0001, Henny Sipma, Ting Zhang 0001, David L. Dill, Zohar Manna	Event Correlation: Language and Semantics.	EMSOFT	2003	DBLP DOI BibTeX RDF
17	Aravindh Anantaraman, Kiran Seth, Kaustubh Patil, Eric Rotenberg, Frank Mueller 0001	Virtual Simple Architecture (VISA): Exceeding the Complexity Limit in Safe Real-Time Systems.	ISCA	2003	DBLP DOI BibTeX RDF
17	Xudong He, Yingjia Ding	Object Orientation in Hierarchical Predicate Transition Nets.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
17	Wolfram Conen, Fredj Dridi, Eckhart Köppen	A Secure XML/Java-Based Implementation of Auction Services for Complex Resource Allocation Problems.	WETICE	2000	DBLP DOI BibTeX RDF
17	J. Bergeron, Mourad Debbabi, M. M. Erhioui, Béchir Ktari	Static Analysis of Binary Code to Isolate Malicious Behaviors.	WETICE	1999	DBLP DOI BibTeX RDF
17	David L. Levine, Richard N. Taylor	Metric-Driven Reengineering for Static Concurrency Analysis.	ISSTA	1993	DBLP DOI BibTeX RDF