Search results for "program-level"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
29	Chengliang Zhang, Kirk Kelsey, Xipeng Shen, Chen Ding 0001, Matthew Hertz, Mitsunori Ogihara	Program-level adaptive memory management.	ISMM	2006	DBLP DOI BibTeX RDF	heap sizing, program-level, adaptive, garbage collection, paging
20	Franz J. Kurfess, Mrinalini Lankala, Ashok Vantipalli, Lonnie R. Welch	A toolset for the reengineering of complex computer systems.	ECBS	1997	DBLP DOI BibTeX RDF	reengineering toolset, complex computer systems, abstract intermediate representation, system software architecture, program level, task level, package/object instance level, subprogram level, statement level, rendezvous graph, call-rendezvous graph, call-data-rendezvous graph, software architecture, graphical user interface, software design, granularity, systems re-engineering, dependence graphs, control flow graph, interaction analysis, call graph, computer-based systems, software transformation
18	Prasad A. Kulkarni, Michael R. Jantz, David B. Whalley	Improving both the performance benefits and speed of optimization phase sequence searches.	LCTES	2010	DBLP DOI BibTeX RDF	genetic algorithms, phase ordering
17	Zhelong Pan, Rudolf Eigenmann	PEAK - a fast and effective performance tuning system via compiler optimization orchestration.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	optimization orchestration, Performance tuning, dynamic compilation
17	Karthik Pattabiraman, Nithin Nakka, Zbigniew Kalbarczyk, Ravishankar K. Iyer	SymPLFIED: Symbolic program-level fault injection and error detection framework.	DSN	2008	DBLP DOI BibTeX RDF
16	Xin Peng 0001, Liwei Shen, Wenyun Zhao	Feature Implementation Modeling Based Product Derivation in Software Product Line.	ICSR	2008	DBLP DOI BibTeX RDF
16	Seunghee Lee, Jieun Lee, Xiaojing Liu, Curtis J. Bonk, Richard J. Magjuka	A Review of Case-based Learning Practices in an Online MBA Program: A Program-level Case Study.	J. Educ. Technol. Soc.	2009	DBLP BibTeX RDF
16	Yunlian Jiang, Eddy Z. Zhang, Kai Tian, Feng Mao, Malcom Gethers, Xipeng Shen, Yaoqing Gao	Exploiting statistical correlations for proactive prediction of program behaviors.	CGO	2010	DBLP DOI BibTeX RDF	correlation, program behavior
14	Yutao Zhong 0001, Xipeng Shen, Chen Ding 0001	Program locality analysis using reuse distance.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	stack distance, training-based analysis, reuse distance, Program locality
14	Pablo Munguia, Amelia Brennan	Scaling the Student Journey from Course-Level Information to Program Level Progression and Graduation: A Model.	J. Learn. Anal.	2020	DBLP DOI BibTeX RDF
12	Hongtao Yu, Jingling Xue, Wei Huo, Xiaobing Feng 0002, Zhaoqing Zhang	Level by level: making flow- and context-sensitive pointer analysis scalable for millions of lines of code.	CGO	2010	DBLP DOI BibTeX RDF	pointer analysis, alias analysis
12	Christos Tjortjis, Loukas Sinos, Paul J. Layzell 0001	Facilitating Program Comprehension by Mining Association Rules from Source Code.	IWPC	2003	DBLP DOI BibTeX RDF
11	Radu Muresan, Catherine H. Gebotys	Instantaneous current modeling in a complex VLIW processor core.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	Instruction-level current model, current and power measurement in a processor, instantaneous current model, power and energy model
11	Mounira Belmesk	An Execution Model for Exploiting And-Or Parallelism in Logic Programs (abstract).	ISSAC	1990	DBLP DOI BibTeX RDF
11	Mathai Joseph	Abstractions for Real Real-time Systems.	TASE	2007	DBLP DOI BibTeX RDF
11	Gerson G. H. Cavalheiro	A General Scheduling Framework for Parallel Execution Environments.	CCGRID	2001	DBLP DOI BibTeX RDF
11	Francesco Russo, Mirko Sancassani	A Declarative Debugging Environment for DATALOG.	RCLP	1991	DBLP DOI BibTeX RDF
10	Soline Ducousso, Sébastien Bardin, Marie-Laure Potet	Adversarial Reachability for Program-level Security Analysis.	ESOP	2023	DBLP DOI BibTeX RDF
10	Vo Thi Ngoc Chau, Nguyen Hua Phung	Enhanced CNN Models for Binary and Multiclass Student Classification on Temporal Educational Data at the Program Level.	Vietnam. J. Comput. Sci.	2021	DBLP DOI BibTeX RDF
10	Abhinava Barthakur, Vitomir Kovanovic, Srecko Joksimovic, George Siemens, Michael C. Richey, Shane Dawson	Assessing program-level learning strategies in MOOCs.	Comput. Hum. Behav.	2021	DBLP DOI BibTeX RDF
10	Thi Ngoc Chau Vo, Hua Phung Nguyen	An Enhanced CNN Model on Temporal Educational Data for Program-Level Student Classification.	ACIIDS (1)	2020	DBLP DOI BibTeX RDF
10	Isabel Sofia Brito, João Paulo Barros, Elsa Rodrigues	Moving to Project-Based Learning at the Program Level: an Experience Report.	EDUCON	2020	DBLP DOI BibTeX RDF
10	Ramesh Lal, Tony Clear	Scaling Agile at the Program Level in an Australian Software Vendor Environment: A Case Study.	ACIS	2017	DBLP BibTeX RDF
10	Vo Thi Ngoc Chau, Hua Phung Nguyen	A Random Forest-Based Self-training Algorithm for Study Status Prediction at the Program Level: minSemi-RF.	MIWAI	2016	DBLP DOI BibTeX RDF
10	Thorsten Bormer	Advancing Deductive Program-Level Verification for Real-World Application: Lessons Learned from an Industrial Case Study.		2014	RDF
10	Christoph Scheben	Program-level Specification and Deductive Verification of Security Properties.		2014	RDF
10	Karthik Pattabiraman, Nithin Nakka, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer	SymPLFIED: Symbolic Program-Level Fault Injection and Error Detection Framework.	IEEE Trans. Computers	2013	DBLP DOI BibTeX RDF
10	Kyle Goslin, Markus Hofmann 0002	Identifying and Visualizing the Similarities Between Course Content at a Learning Object, Module and Program Level.	EDM	2013	DBLP BibTeX RDF
10	Muhammad Shafique 0001, Semeen Rehman, Pau Vilimelis Aceituno, Jörg Henkel	Exploiting program-level masking and error propagation for constrained reliability optimization.	DAC	2013	DBLP DOI BibTeX RDF
10	Gail R. Casper, Patricia Brennan	Project HealthDesign: A preliminary program-level report.	AMIA	2013	DBLP BibTeX RDF
10	Lei Xiong, Qingping Tan	An approach to analyze effects of soft errors on program level.	Math. Comput. Model.	2012	DBLP DOI BibTeX RDF
10	Siva Kumar Sastry Hari, Sarita V. Adve, Helia Naeimi	Low-cost program-level detectors for reducing silent data corruptions.	DSN	2012	DBLP DOI BibTeX RDF
10	Navid Khoshavi, Hamid R. Zarandi, Mohammad Maghsoudloo	Control-flow error detection using combining basic and program-level checking in commodity multi-core architectures.	SIES	2011	DBLP DOI BibTeX RDF
10	Ken Christensen 0001, Rafael Perez, Purushottam Panta, Pummy Bedarahally	Unifying program-level ABET assessment data collection, analysis, and presentation.	FIE	2011	DBLP DOI BibTeX RDF
10	James P. Delgrande	A Program-Level Approach to Revising Logic Programs under the Answer Set Semantics	CoRR	2010	DBLP BibTeX RDF
10	James P. Delgrande	A program-level approach to revising logic programs under the answer set semantics.	Theory Pract. Log. Program.	2010	DBLP DOI BibTeX RDF
10	Hector Miguel Chavez, Wuwei Shen	Finding inconsistency for UML-based composition at program level.	MiSE@ICSE	2009	DBLP DOI BibTeX RDF
10	Mark A. Wood, Joanna Bryson	Skill Acquisition Through Program-Level Imitation in a Real-Time Domain.	IEEE Trans. Syst. Man Cybern. Part B	2007	DBLP DOI BibTeX RDF
10	Dieter Zöbel, Christian Weyand	Augmenting sensitivity analysis for embedded applications by program level derivation of process parameters.	SIES	2007	DBLP DOI BibTeX RDF
10	Radu Muresan, Catherine H. Gebotys	Current consumption dynamics at instruction and program level for a VLIW DSP processor.	ISSS	2001	DBLP DOI BibTeX RDF
10	P. J. Joseph, Sriram Vajapeyam	Program-level control of network delay for parallel asynchronous iterative applications.	HiPC	1996	DBLP DOI BibTeX RDF
10	S. K. Bandyopadhyay	A study on program level dependency of implemented algorithms on its potential operands.	ACM SIGPLAN Notices	1981	DBLP DOI BibTeX RDF
9	Cheryl Aasheim, Art Gowan, Han Reichgelt	An IT program assessment process.	SIGITE Conference	2007	DBLP DOI BibTeX RDF	assessment, accreditation, ABET
9	Christos Tjortjis, Nicolas Gold, Paul J. Layzell 0001, Keith H. Bennett	From System Comprehension to Program Comprehension.	COMPSAC	2002	DBLP DOI BibTeX RDF
9	Christian Queinnec	Inverting back the inversion of control or, continuations versus page-centric programming.	ACM SIGPLAN Notices	2003	DBLP DOI BibTeX RDF
9	Thomas Rauber, Gudula Rünger	Program-Based Locality Measures for Scientific Computing.	IPDPS	2003	DBLP DOI BibTeX RDF	locality improvement, memory references, storage hierarchy, cost measure
8	Lei Ju 0001, Bach Khoa Huynh, Samarjit Chakraborty, Abhik Roychoudhury	Context-sensitive timing analysis of Esterel programs.	DAC	2009	DBLP DOI BibTeX RDF	worst-case execution time (WCET) analysis, Esterel, synchronous programming
8	Timothy K. Tsai, Mei-Chen Hsueh, Hong Zhao, Zbigniew Kalbarczyk, Ravishankar K. Iyer	Stress-Based and Path-Based Fault Injection.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	stress-based, path-based, program flow, fault tolerance, dependability, Fault injection, workload
8	Gerhard Fritsch, Horst Müller	Parallelization of a minimization problem for multiprocessor systems.	CONPAR	1981	DBLP DOI BibTeX RDF
7	Mukund Sivaraman, Shail Aditya	Cycle-time aware architecture synthesis of custom hardware accelerators.	CASES	2002	DBLP DOI BibTeX RDF	embedded hardware architecture synthesis, operator chaining, target clock period, timing during scheduling, high-level synthesis, timing analysis, delay analysis, clock frequency
7	Yong Wei, Suchendra M. Bhandarkar, Kang Li 0001	Client-centered multimedia content adaptation.	ACM Trans. Multim. Comput. Commun. Appl.	2009	DBLP DOI BibTeX RDF	Video personalization, multiple choice multidimensional knapsack problem, hidden Markov models, video indexing
7	Lingxiao Jiang, Zhendong Su 0001	Automatic mining of functionally equivalent code fragments via random testing.	ISSTA	2009	DBLP DOI BibTeX RDF	random testing, code clones, functional equivalence
7	Thein Than Tun, Quentin Boucher, Andreas Classen, Arnaud Hubaux, Patrick Heymans	Relating requirements and feature configurations: a systematic approach.	SPLC	2009	DBLP BibTeX RDF
7	Manuel Lopes 0001, José Santos-Victor	Visual learning by imitation with motor representations.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
7	Pamela O'Shea, Christopher Exton	An Investigation of Java Abstraction Usage for Program Modifications.	IWPC	2005	DBLP DOI BibTeX RDF
7	Joost Engelfriet, George Leih, Grzegorz Rozenberg	Net-Based Description Of Parallel Object-Based Systems, or POTs and POPs.	REX Workshop	1990	DBLP DOI BibTeX RDF	actor system, communication, Petri net, Parallel, observation, operational semantics, transition system, handshaking, object-based
7	Federico Rota, Shantanu Dutt, Sahithi Krishna	Off-Chip Control Flow Checking of On-Chip Processor-Cache Instruction Stream.	DFT	2006	DBLP DOI BibTeX RDF
7	Gokhan Memik, Mahmut T. Kandemir, Alok N. Choudhary, Ismail Kadayif	An Integrated Approach for Improving Cache Behavior.	DATE	2003	DBLP DOI BibTeX RDF
7	Wonchul Lee, Kisun You, Wonyong Sung	Software optimization of MPEG audio layer-III for a 32 bit RISC processor.	APCCAS (1)	2002	DBLP DOI BibTeX RDF
7	Nevenka Dimitrova, Lalitha Agnihotri, Radu S. Jasinschi, John Zimmerman, George Marmaropoulos, Thomas McGee, Serhan Dagtas	Video scouting demonstration: smart content selection and recording.	ACM Multimedia	2000	DBLP DOI BibTeX RDF	content-based retrieval, multimodal integration, video access
6	Deepti Mishra 0001, Alok Mishra 0001	Object-Oriented Inheritance Metrics: Cognitive Complexity Perspective.	RSKT	2009	DBLP DOI BibTeX RDF	software metrics, object-oriented systems, cognitive complexity
6	Michael L. Chu, Rajiv A. Ravindran, Scott A. Mahlke	Data Access Partitioning for Fine-grain Parallelism on Multicore Architectures.	MICRO	2007	DBLP DOI BibTeX RDF
6	Simone do Rócio Senger de Souza, José Carlos Maldonado, Sandra Camargo Pinto Ferraz Fabbri, Wanderley Lopes de Souza	Mutation Testing Applied to Estelle Specifications.	HICSS	2000	DBLP DOI BibTeX RDF
6	Harjinder S. Sandhu, Benjamin Gamsa, Songnian Zhou	The Shared Regions Approach to Software Cache Coherence on Multiprocessors.	PPoPP	1993	DBLP DOI BibTeX RDF	C++
5	Antonio Chella, Haris Dindo, Ignazio Infantino	Learning high-level tasks through imitation.	IROS	2006	DBLP DOI BibTeX RDF
5	Eyðun Eli Jacobsen	Design Patterns as Program Extracts.	ECOOP Workshops	1997	DBLP DOI BibTeX RDF
5	Chen Fu, Barbara G. Ryder	Navigating error recovery code in Java applications.	eTX	2005	DBLP DOI BibTeX RDF
5	Mark T. Maybury, Warren R. Greiff, Stanley Boykin, Jay M. Ponte, Chad McHenry, Lisa Ferro	Personalcasting: Tailored Broadcast News.	User Model. User Adapt. Interact.	2004	DBLP DOI BibTeX RDF	story selection, personalization, user modeling, relevance feedback, query expansion, broadcast news
5	Jeremy Lau, Stefan Schoenmackers, Brad Calder	Structures for phase classification.	ISPASS	2004	DBLP DOI BibTeX RDF
5	Ireneusz Czarnowski, Piotr Jedrzejowicz, Ewa Ratajczak	Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule Reliability.	SAFECOMP	1999	DBLP DOI BibTeX RDF
5	Harjinder S. Sandhu, Kenneth C. Sevcik	An Analytic Study of Dynamic Hardware and Software Cache Coherence Strategies.	SIGMETRICS	1995	DBLP DOI BibTeX RDF
5	Pierre America, Jan J. M. M. Rutten	A Layered Semantics for a Parallel Object-Oriented Language.	REX Workshop	1990	DBLP DOI BibTeX RDF
4	Liwei Shen, Xin Peng 0001, Wenyun Zhao	Feature-Driven and Incremental Variability Generalization in Software Product Line.	ICSR	2009	DBLP DOI BibTeX RDF
4	Kiyokuni Kawachiya, Kazunori Ogata, Tamiya Onodera	Analysis and reduction of memory inefficiencies in Java strings.	OOPSLA	2008	DBLP DOI BibTeX RDF	footprint analysis and reduction, java, garbage collection, memory management, string
4	Maarit Laanti	Implementing Program Model with Agile Principles in a Large Software Development Organization.	COMPSAC	2008	DBLP DOI BibTeX RDF	large organizations, scaling-up agile, software process, agile, scrum
4	Manuel Lopes 0001, José Santos-Victor	A Developmental Roadmap for Learning by Imitation in Robots.	IEEE Trans. Syst. Man Cybern. Part B	2007	DBLP DOI BibTeX RDF
4	Henk Jonkers, Arjan J. C. van Gemund, Gerard L. Reijns	A probabilistic approach to parallel system performance modelling.	HICSS (2)	1995	DBLP DOI BibTeX RDF	parallel system performance modelling, efficient parallel applications development, reliable performance predictions, machine model building blocks, multiple-class parallel section completion times, conditional statements, performance evaluation, probability, case study, queueing theory, parallel machines, parallel machine, memory hierarchies, queueing networks, probabilistic approach, modelling formalisms
3	Lisa Higham, LillAnne Jackson, Jalal Kawash	Specifying memory consistency of write buffer multiprocessors.	ACM Trans. Comput. Syst.	2007	DBLP DOI BibTeX RDF	Memory consistency framework, partial store order, relaxed memory order, sparc multiprocessors, total store order, write-buffer architectures, coherence, sequential consistency, alpha
3	Jugwan Eom, Dohun Kim, Chanik Park	L4oprof: A System-Wide Profiler Using Hardware PMU in L4 Environment.	ICESS	2007	DBLP DOI BibTeX RDF	L4 microkernel, statistical profiling, hardware PMU, performance analysis, performance measures, performance monitoring
3	Ramkumar Chinchani, Anusha Iyer, Bharat Jayaraman, Shambhu J. Upadhyaya	ARCHERR: Runtime Environment Driven Program Safety.	ESORICS	2004	DBLP DOI BibTeX RDF
3	Alberto Bartoli, Gianluca Dini, Lanfranco Lopriore	Application-controlled memory management in a single address space environment.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Single address space, Uniform storage, Memory management, Virtual memory, Persistent storage
3	Nevenka Dimitrova, Radu S. Jasinschi, Lalitha Agnihotri, John Zimmerman, Thomas McGee, Dongge Li	Personalizing video recorders using multimedia processing and integration.	ACM Multimedia	2001	DBLP DOI BibTeX RDF	bayesian networks, content-based video retrieval, multimodal integration
3	Aniello Cimitile, Andrea De Lucia, Giuseppe A. Di Lucca	An Experiment in Identifying Persistent Objects in Large Systems.	ICSM	1998	DBLP DOI BibTeX RDF	Persistent Object Identification, Incremental Migration, Coupling Metrics
3	Daniela Ivan-Rosu, Karsten Schwan	Improving Protocol Performance by Dynamic Control of Communication Resources.	ICECCS	1996	DBLP DOI BibTeX RDF
3	Zhiyi Hwang, Shouren Hu	A Compliling Approach for Exploiting And-parallelism in Parallel Logic Programming Systems.	PARLE (2)	1989	DBLP DOI BibTeX RDF	Compiling, Logic programming, Prolog, Data-dependence, Parallel execution, And-parallelism
3	Steve Meyer	A Data Structure for Circuit Net Lists.	DAC	1988	DBLP BibTeX RDF	CAE tool building, data structure implementation, software engineering
3	Linda Brice, John Connell	System information database: an automated maintenance aid.	AFIPS National Computer Conference	1984	DBLP DOI BibTeX RDF