Search results for "Memory-regions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
31	M. Teresa Higuera-Toledano	Allowing Cycle References by Introducing Controlled Violations of the Assignment Rules in Real-Time Java.	ISORC	2008	DBLP DOI BibTeX RDF	Garbage Collection, Memory Management, Real-Time Java, Memory Regions
23	Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada	On transforming Java-like programs into memory-predictable code.	JTRES	2009	DBLP DOI BibTeX RDF
22	Radu Rugina, Martin C. Rinard	Symbolic bounds analysis of pointers, array indices, and accessed memory regions.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	static race detection, parallelization, Symbolic analysis
22	Morgan Deters, Ron Cytron	Automated discovery of scoped memory regions for real-time Java.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	trace-based analysis, garbage collection, memory management, regions, real-time Java
22	Radu Rugina, Martin C. Rinard	Symbolic bounds analysis of pointers, array indices, and accessed memory regions.	PLDI	2000	DBLP DOI BibTeX RDF
21	Ioannis Schoinas, Babak Falsafi, Alvin R. Lebeck, Steven K. Reinhardt, James R. Larus, David A. Wood 0001	Fine-grain Access Control for Distributed Shared Memory.	ASPLOS	1994	DBLP DOI BibTeX RDF
19	Ram Kumar 0001, Eddie Kohler, Mani B. Srivastava	Harbor: software-based memory protection for sensor nodes.	IPSN	2007	DBLP DOI BibTeX RDF	software fault isolation, memory protection
19	Stephen Somogyi, Thomas F. Wenisch, Anastasia Ailamaki, Babak Falsafi	Spatio-temporal memory streaming.	ISCA	2009	DBLP DOI BibTeX RDF	prefetching, spatial correlation, temporal correlation
18	Víctor A. Braberman, Federico Javier Fernández, Diego Garbervetsky, Sergio Yovine	Parametric prediction of heap memory requirements.	ISMM	2008	DBLP DOI BibTeX RDF	heap consumption, heap space analysis, java, memory regions
18	M. Teresa Higuera-Toledano, Valérie Issarny, Michel Banâtre, Frédéric Parain	Memory Management for Real-Time Java: An Efficient Solution using Hardware Support.	Real Time Syst.	2004	DBLP DOI BibTeX RDF	Java, performance, real-time, embedded, garbage collection, write barriers, memory regions
18	M. Teresa Higuera-Toledano, Valérie Issarny	Analyzing the Performance of Memory Management in RTSJ.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	Java, Performance, Real-Time, Embedded, Garbage Collection, Write Barriers, Memory Regions
18	M. Teresa Higuera-Toledano	Improving the memory management performance of RTSJ.	Java Grande	2002	DBLP DOI BibTeX RDF	Java, real-time, garbage collection, memory regions
18	M. Teresa Higuera-Toledano, Miguel A. de Miguel-Cabello	Dynamic Detection of Access Errors and Illegal References in RTSJ.	IEEE Real Time Technology and Applications Symposium	2002	DBLP DOI BibTeX RDF	Java, Real-time, Embedded, Write-barriers, Garbage collector, Memory-regions
18	M. Teresa Higuera-Toledano, Valérie Issarny, Michel Banâtre, Gilbert Cabillic, Jean-Philippe Lesot, Frédéric Parain	Region-Based Memory Management for Real-Time Java.	ISORC	2001	DBLP DOI BibTeX RDF	Java, Performance, Real-Time, Embedded, Garbage Collection, Write Barriers, Memory Regions
18	Lei Yang 0017, Haris Lekatsas, Robert P. Dick	High-performance operating system controlled memory compression.	DAC	2006	DBLP DOI BibTeX RDF	compression, virtual memory
17	Petr Peringer, Veronika Soková, Tomás Vojnar	PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution).	TACAS (2)	2020	DBLP DOI BibTeX RDF
17	Alokika Dash, Peter Petrov	Energy-Efficient Cache Coherence for Embedded Multi-Processor Systems through Application-Driven Snoop Filtering.	DSD	2006	DBLP DOI BibTeX RDF
16	Chongkyung Kil, Jinsuk Jun, Christopher Bookholt, Jun Xu 0003, Peng Ning	Address Space Layout Permutation (ASLP): Towards Fine-Grained Randomization of Commodity Software.	ACSAC	2006	DBLP DOI BibTeX RDF
16	Lan S. Bai, Lei Yang 0017, Robert P. Dick	MEMMU: Memory expansion for MMU-less embedded systems.	ACM Trans. Embed. Comput. Syst.	2009	DBLP DOI BibTeX RDF	wireless sensor network, embedded system, Data compression
16	Stephen Somogyi, Thomas F. Wenisch, Anastassia Ailamaki, Babak Falsafi, Andreas Moshovos	Spatial Memory Streaming.	ISCA	2006	DBLP DOI BibTeX RDF
16	David Walker 0001, Kevin Watkins	On Regions and Linear Types.	ICFP	2001	DBLP DOI BibTeX RDF
14	M. Teresa Higuera-Toledano	Towards a Revision of the Single Parent Rule in Real-Time Java, Maintaining the RTSJ Programming Model.	CIT	2006	DBLP DOI BibTeX RDF	Scoped-regions, Single parent rule, Illegal assignments, Garbage collection, Real-time Java, Write-barriers
14	M. N. V. Satya Kiran, M. N. Jayram, Pradeep Rao, S. K. Nandy 0001	A complexity effective communication model for behavioral modeling of signal processing applications.	DAC	2003	DBLP DOI BibTeX RDF
14	Holger Gast	Lightweight Separation.	TPHOLs	2008	DBLP DOI BibTeX RDF
14	Lan S. Bai, Lei Yang 0017, Robert P. Dick	Automated compile-time and run-time techniques to increase usable memory in MMU-less embedded systems.	CASES	2006	DBLP DOI BibTeX RDF	wireless sensor network, embedded system, data compression
13	M. Teresa Higuera-Toledano	Name-Based Write Barriers in Real-Time Java.	CIT	2007	DBLP DOI BibTeX RDF
13	Markus Pizka, Christian Rehn	Heaps and Stacks in Distributed Shared Memory.	IPDPS	2002	DBLP DOI BibTeX RDF
13	Zahra Tarkhani, Anil Madhavapeddy	$μ$Tiles: Efficient Intra-Process Privilege Enforcement of Memory Regions.	CoRR	2020	DBLP BibTeX RDF
13	Saurabh Hukerikar, Christian Engelmann	Havens: Explicit Reliable Memory Regions for HPC Applications.	CoRR	2016	DBLP BibTeX RDF
13	Saurabh Hukerikar, Christian Engelmann	Language Support for Reliable Memory Regions.	CoRR	2016	DBLP BibTeX RDF
13	Saurabh Hukerikar, Christian Engelmann	Language Support for Reliable Memory Regions.	LCPC	2016	DBLP DOI BibTeX RDF
13	Saurabh Hukerikar, Christian Engelmann	Havens: Explicit reliable memory regions for HPC applications.	HPEC	2016	DBLP DOI BibTeX RDF
13	Nadia Müller, Julian Keil, Jonas Obleser, Hannah Schulz, Thomas Grunwald, René-Ludwig Bernays, Hans-Jürgen Huppertz, Nathan Weisz	You can't stop the music: Reduced auditory alpha power and coupling between auditory and memory regions facilitate the illusory perception of music during noise.	NeuroImage	2013	DBLP DOI BibTeX RDF
13	Luis Antonio Azpicueta-Ruiz, Marcus Zeller, Aníbal R. Figueiras-Vidal, Walter Kellermann, Jerónimo Arenas-García	Enhanced Adaptive Volterra Filtering by Automatic Attenuation of Memory Regions and Its Application to Acoustic Echo Cancellation.	IEEE Trans. Signal Process.	2013	DBLP DOI BibTeX RDF
12	Arrvindh Shriraman, Sandhya Dwarkadas	Sentry: light-weight auxiliary memory access control.	ISCA	2010	DBLP DOI BibTeX RDF	sentry, access control, multiprocessors, safety, cache coherence, memory protection, protection domains
12	Juan José Costa, Toni Cortes, Xavier Martorell, Eduard Ayguadé, Jesús Labarta	Running OpenMP Applications Efficiently on an Everything-Shared SDSM.	IPDPS	2004	DBLP DOI BibTeX RDF
12	Friedrich Seifert, Wolfgang Rehm	Proposing a Mechanism for Reliably Locking VIA Communication Memory in Linux.	CLUSTER	2000	DBLP DOI BibTeX RDF
11	Xiangrong Zhou, Chenjie Yu, Alokika Dash, Peter Petrov	Application-aware snoop filtering for low-power cache coherence in embedded multiprocessors.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	snoop filtering, Cache coherence, low-power embedded systems, embedded multiprocessors
11	M. Teresa Higuera-Toledano	Making stronger and flexible the single parent rule in the real-time specification of Java.	JTRES	2008	DBLP DOI BibTeX RDF	illegal assignments, reference-counting collection, scoped-regions, single parent rule, real-time Java, write-barriers
11	Radu Rugina, Martin C. Rinard	Automatic Parallelization of Divide and Conquer Algorithms.	PPoPP	1999	DBLP DOI BibTeX RDF
10	Zhenjiang Wang, Chenggang Wu 0002, Pen-Chung Yew	On improving heap memory layout by dynamic pool allocation.	CGO	2010	DBLP DOI BibTeX RDF	adaptive partial call chain, pool allocation, dynamic optimization, data layout
10	Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin	Precise pointer reasoning for dynamic test generation.	ISSTA	2009	DBLP DOI BibTeX RDF	pointer reasoning, software testing, program verification, automatic test generation
10	K. F. Chong, C. Y. Ho, Anthony S. Fong	Pretenuring in Java by Object Lifetime and Reference Density Using Scratch-Pad Memory.	PDP	2007	DBLP DOI BibTeX RDF
8	Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, Dan Grossman	CoreDet: a compiler and runtime system for deterministic multithreaded execution.	ASPLOS	2010	DBLP DOI BibTeX RDF	compilers, multithreading, multicore, determinism
8	Mario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo	Efficient Set Sharing Using ZBDDs.	LCPC	2008	DBLP DOI BibTeX RDF
8	Creve Maples	A high-performance, memory-based interconnection system for multicomputer environments.	SC	1990	DBLP DOI BibTeX RDF
8	Costin Iancu, Steven A. Hofmeyr	Runtime optimization of vector operations on large scale SMP clusters.	PACT	2008	DBLP DOI BibTeX RDF	communication code generation, parallel programming, program transformations, latency hiding, performance portability
8	Bor-Yuh Evan Chang, Xavier Rival	Relational inductive shape analysis.	POPL	2008	DBLP DOI BibTeX RDF	symbolic abstract domain, shape analysis, materialization, separation logic, inductive definitions, heap analysis
8	Chris Bentley, Scott A. Watterson, David K. Lowenthal, Barry Rountree	Implicit array bounds checking on 64-bit architectures.	ACM Trans. Archit. Code Optim.	2006	DBLP DOI BibTeX RDF	virtual memory, Array-bounds checking, 64-bit architectures
8	Chris Bentley, Scott A. Watterson, David K. Lowenthal, Barry Rountree	Implicit java array bounds checking on 64-bit architecture.	ICS	2004	DBLP DOI BibTeX RDF	java, virtual memory, array-bounds checking
7	Tobias Schoofs, Eric Jenn, Stéphane Leriche, Kelvin Nilsen, Ludovic Gauthier, Marc Richard-Foy	Use of PERC Pico in the AIDA avionics platform.	JTRES	2009	DBLP DOI BibTeX RDF	ARINC 653, DO-178C, SCJT, aeronautic certification, safety-critical real-time systems, Java, RTSJ
7	Subramanian Ramaswamy, Sudhakar Yalamanchili	Improving cache efficiency via resizing + remapping.	ICCD	2007	DBLP DOI BibTeX RDF
7	M. Teresa Higuera-Toledano	Towards an Analysis of Garbage Collection Techniques for Embedded Real-Time Java Systems.	RTCSA	2006	DBLP DOI BibTeX RDF	Java, real-time, embedded, garbage collection, memory management, write barriers
7	Andrés Ferrari, Diego Garbervetsky, Víctor A. Braberman, Pablo Listingart, Sergio Yovine	JScoper: Eclipse support for research on scoping and instrumentation for real time Java applications.	eTX	2005	DBLP DOI BibTeX RDF	memory management, real-time java, Eclipse plug-in
7	Jiesheng Wu, Pete Wyckoff, Dhabaleswar K. Panda 0001	Supporting Efficient Noncontiguous Access in PVFS over InfiniBand.	CLUSTER	2003	DBLP DOI BibTeX RDF
7	Aristidis Sotiropoulos, Georgios Tsoukalas, Nectarios Koziris	Enhancing the Performance of Tiled Loop Execution onto Clusters Using Memory Mapped Network Interfaces and Pipelined Schedules.	IPDPS	2002	DBLP DOI BibTeX RDF	Memory Mapped Interfaces, Zero-Copy Protocols, DMA transfers, Loop Tiling, Communication Overlapping
7	Aristidis Sotiropoulos, Georgios Tsoukalas, Nectarios Koziris	Efficient Utilization of Memory Mapped NICs onto Clusters using Pipelined Schedules.	CCGRID	2002	DBLP DOI BibTeX RDF
7	Maria Athanasaki, Aristidis Sotiropoulos, Georgios Tsoukalas, Nectarios Koziris	Pipelined scheduling of tiled nested loops onto clusters of SMPs using memory mapped network interfaces.	SC	2002	DBLP DOI BibTeX RDF	memory mapped network interfaces, tile grouping, SMPs, DMA, pipelined schedules, communication overlapping
7	Robert Hockauf, Wolfgang Karl, Markus Leberecht, Michael Oberhuber, Michael Wagner 0003	Exploiting Spatial and Temporal Locality of Accesses: A New Hardware-Based Monitoring Approach for DSM Systems.	Euro-Par	1998	DBLP DOI BibTeX RDF
5	Hirotoshi Yasuoka, Tachio Terauchi	Polymorphic Fractional Capabilities.	SAS	2009	DBLP DOI BibTeX RDF
5	Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens	Test Input Generation for Programs with Pointers.	TACAS	2009	DBLP DOI BibTeX RDF	symbolic execution, pointers, Test input generation
5	Nenad Stojanovski, Marjan Gusev, Danilo Gligoroski, Svein J. Knapskog	Bypassing Data Execution Prevention on MicrosoftWindows XP SP2.	ARES	2007	DBLP DOI BibTeX RDF
5	Bor-Yuh Evan Chang, Xavier Rival, George C. Necula	Shape Analysis with Structural Invariant Checkers.	SAS	2007	DBLP DOI BibTeX RDF
5	Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti	Control-flow integrity.	CCS	2005	DBLP DOI BibTeX RDF	vulnerabilities, control-flow graph, binary rewriting, inlined reference monitors
5	Wei Huang 0032, Witawas Srisa-an, J. Morris Chang	Dynamic pretenuring schemes for generational garbage collection.	ISPASS	2004	DBLP DOI BibTeX RDF
5	Raphael R. Some, Won S. Kim, Garen Khanoyan, Leslie Callum, Anil Agrawal, John J. Beahan	Software-Implemented Fault Injection Methodology for Design and Validation of System Fault Tolerance.	DSN	2001	DBLP DOI BibTeX RDF