VLDB 2026 Research / reviewers in the wild / expert
Francine Berman
dblp:b/FBerman · also Fran Berman
· DBLP profile ↗
38ranked-venue papers
13as first author
0since 2021 · last 2009
0000-0001-8505-1752ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 31 · 8 first-authorTheory of computation · 4 · 4 first-authorComputer networks · 1Databases, data management, data science and information retrieval · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
16 papers |
Distributed systems · 24% High-performance computing · 18% Parallel and multicore computing · 17% | |
| Theoretical computer science
3 papers |
Mathematical optimization · 62% Algorithms and data structures · 26% Logic in computer science · 13% |
Topics — the 30 heaviest of 46, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Distributed systems
grid computing |
0.2 | 5 | 2003 | Adaptive Computing on the Grid Using AppLeS · IEEE Trans. Parallel Distributed Syst. 2003 A decoupled scheduling approach for the GrADS program development environment · SC 2002 Applying scheduling and tuning to on-line parallel tomography · SC 2001 |
Distributed systems › distributed scheduling
application-level scheduling |
0.1 | 4 | 2003 | Adaptive Computing on the Grid Using AppLeS · IEEE Trans. Parallel Distributed Syst. 2003 Application-Level Scheduling on Distributed Heterogeneous Networks · SC 1996 Scheduling from the Perspective of the Application · HPDC 1996 |
Performance modeling and evaluation
workload characterization |
0.1 | 3 | 2003 | A Slowdown Model for Applications Executing on Time-Shared Clusters of Workstations · IEEE Trans. Parallel Distributed Syst. 2001 Stochastic Scheduling · SC 1999 When the Herd Is Smart: Aggregate Behavior in the Selection of Job Request · IEEE Trans. Parallel Distributed Syst. 2003 |
Distributed systems › grid computing
grid scheduling |
0.1 | 2 | 2002 | A decoupled scheduling approach for the GrADS program development environment · SC 2002 A Study of Deadline Scheduling for Client-Server Systems on the Computational Grid · HPDC 2001 |
High-performance computing
supercomputing |
0.1 | 2 | 2006 | Pathway to petascale - The pathway to petascale science · SC 2006 The heterogeneous computing challenge (Mini symposium) · SC 1993 |
Storage systems
digital preservation |
0.1 | 1 | 2006 | Long term storage - 100 years of digital data · SC 2006 |
High-performance computing › supercomputing
petascale computing |
0.1 | 1 | 2006 | Pathway to petascale - The pathway to petascale science · SC 2006 |
Storage systems
storage reliability |
0.1 | 1 | 2006 | Long term storage - 100 years of digital data · SC 2006 |
Parallel and multicore computing › scheduling algorithms
application scheduling |
0.1 | 2 | 2001 | Applying scheduling and tuning to on-line parallel tomography · SC 2001 Adaptive Performance Prediction for Distributed Data-Intensive Applications · SC 1999 |
High-performance computing
scientific computing systems |
0.1 | 2 | 2006 | Applying scheduling and tuning to on-line parallel tomography · SC 2001 Pathway to petascale - The pathway to petascale science · SC 2006 |
Processor architecture and microarchitecture
resource contention |
0.0 | 2 | 2001 | A Slowdown Model for Applications Executing on Time-Shared Clusters of Workstations · IEEE Trans. Parallel Distributed Syst. 2001 Modeling the Effects of Contention on the Performance of Heterogeneous Applications · HPDC 1996 |
Electronic design automation › high-level synthesis
scheduling |
0.0 | 2 | 2001 | A Study of Deadline Scheduling for Client-Server Systems on the Computational Grid · HPDC 2001 Scheduling from the Perspective of the Application · HPDC 1996 |
Parallel and multicore computing › parallel scheduling
adaptive scheduling |
0.0 | 1 | 2003 | Adaptive Computing on the Grid Using AppLeS · IEEE Trans. Parallel Distributed Syst. 2003 |
Cloud and datacenter computing
job scheduling |
0.0 | 1 | 2003 | When the Herd Is Smart: Aggregate Behavior in the Selection of Job Request · IEEE Trans. Parallel Distributed Syst. 2003 |
Parallel and multicore computing › parallel scheduling
moldable job scheduling |
0.0 | 1 | 2003 | When the Herd Is Smart: Aggregate Behavior in the Selection of Job Request · IEEE Trans. Parallel Distributed Syst. 2003 |
Parallel and multicore computing
processor allocation |
0.0 | 1 | 2003 | When the Herd Is Smart: Aggregate Behavior in the Selection of Job Request · IEEE Trans. Parallel Distributed Syst. 2003 |
Cloud and datacenter computing
resource management |
0.0 | 1 | 2003 | Adaptive Computing on the Grid Using AppLeS · IEEE Trans. Parallel Distributed Syst. 2003 |
Parallel and multicore computing
parallel programming runtimes |
0.0 | 1 | 2002 | A decoupled scheduling approach for the GrADS program development environment · SC 2002 |
Performance modeling and evaluation › performance model construction › memory system performance modeling
contention modeling |
0.0 | 2 | 1997 | Predicting Slowdown for Networked Workstations · HPDC 1997 Modeling the Effects of Contention on the Performance of Heterogeneous Applications · HPDC 1996 |
Performance modeling and evaluation › performance prediction
slowdown prediction |
0.0 | 2 | 1997 | Predicting Slowdown for Networked Workstations · HPDC 1997 Modeling the Effects of Contention on the Performance of Heterogeneous Applications · HPDC 1996 |
Embedded and real-time systems › real-time scheduling
deadline scheduling |
0.0 | 1 | 2001 | A Study of Deadline Scheduling for Client-Server Systems on the Computational Grid · HPDC 2001 |
Performance modeling and evaluation › performance prediction
slowdown modeling |
0.0 | 1 | 2001 | A Slowdown Model for Applications Executing on Time-Shared Clusters of Workstations · IEEE Trans. Parallel Distributed Syst. 2001 |
High-performance computing › cluster computing
network of workstations |
0.0 | 2 | 2001 | Predicting Slowdown for Networked Workstations · HPDC 1997 A Slowdown Model for Applications Executing on Time-Shared Clusters of Workstations · IEEE Trans. Parallel Distributed Syst. 2001 |
Cloud and datacenter computing
cluster resource management and scheduling |
0.0 | 1 | 1999 | Stochastic Scheduling · SC 1999 |
Performance modeling and evaluation
scheduling policy |
0.0 | 1 | 1999 | Stochastic Scheduling · SC 1999 |
Storage systems
long-term storage |
0.0 | 1 | 2006 | Long term storage - 100 years of digital data · SC 2006 |
High-performance computing › distributed computing infrastructure
metacomputing |
0.0 | 1 | 1996 | Scheduling from the Perspective of the Application · HPDC 1996 |
Performance modeling and evaluation
application performance modeling |
0.0 | 1 | 2002 | A decoupled scheduling approach for the GrADS program development environment · SC 2002 |
Distributed systems › distributed system architecture
client-server systems |
0.0 | 1 | 2001 | A Study of Deadline Scheduling for Client-Server Systems on the Computational Grid · HPDC 2001 |
Mathematical optimization
constrained optimization |
0.0 | 1 | 2001 | Applying scheduling and tuning to on-line parallel tomography · SC 2001 |
Methods — techniques the papers use, named apart from their topics
simulation · 0.1analytical modeling · 0.1policy analysis · 0.1application-level scheduling · 0.0analytical performance modeling · 0.0load correction · 0.0fallback mechanisms · 0.0empirical validation · 0.0grid middleware · 0.0adaptive regression modeling · 0.0upper and lower bounds · 0.0counting argument · 0.0completeness proof · 0.0axiomatic approach · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2009 | Kennedy award: Laying the groundwork for success in the information ageabstractThe new Ken Kennedy Award recognizes substantial contributions to programmability and productivity in computing and substantial community service or mentoring contributions. The award honors the remarkable research, service, and mentoring contributions of the late Ken Kennedy. It includes a $5,000 honorarium, and the first presentation of this award will be at SC09. It is co-sponsored by ACM and IEEE Computer Society. Francine Berman |
SC | 1 |
| 2006 | Long term storage - 100 years of digital dataabstractThe 20th century brought about an "information revolution" which has forever altered the way we work, communicate, and live. In the 21st century, it is hard to imagine working without an increasingly broad array of supporting technologies and the digital data they provide.The care, management, and preservation of this tidal wave of data has become an increasingly important focus for technology, standards, and policy development. How will we be listening to our music in the next 100 years? How will we sustain our personal and federal records? In the next 100 years, storage technologies will advance tens of generations, and the digital collections preserved on up-to- date storage technologies will need to transition through each new generation, and many times over.This panel will discuss the major challenges of digital preservation, a technology and policy "killer app" for ours and the next generations. Francine Berman, Robert Chadduck, William G. LeFurgy, Daniel E. Atkins, Anthony J. G. Hey |
SC | 1 |
| 2006 | Pathway to petascale - The pathway to petascale scienceabstractPetascale computing is now a realizable goal that will impact all scientific and engineering applications. Reaching the full potential of petascale science demands that we tackle challenging problems of both hardware and software as we develop and deploy new computing systems and scale science and engineering applications to use them to their full advantage.Vendors, centers and labs that will tackle the deployment of emerging petascale systems, and researchers with applications that will need to reach the petascale are invited to discuss the technical challenges that surround building petascale systems, as well as the hurdles that will face the researchers who use them. Thom H. Dunning, Francine Berman, John R. Boisseau |
SC | 2 |
| 2003 | A decoupled scheduling approach for Grid application development environments
Holly Dail, Francine Berman, Henri Casanova |
J. Parallel Distributed Comput. | 2 |
| 2003 | Adaptive Computing on the Grid Using AppLeSabstractEnsembles of distributed, heterogeneous resources, also known as computational grids, have emerged as critical platforms for high-performance and resource-intensive applications. Such platforms provide the potential for applications to aggregate enormous bandwidth, computational power, memory, secondary storage, and other resources during a single execution. However, achieving this performance potential in dynamic, heterogeneous environments is challenging. Recent experience with distributed applications indicates that adaptivity is fundamental to achieving application performance in dynamic grid environments. The AppLeS (Application Level Scheduling) project provides a methodology, application software, and software environments for adaptively scheduling and deploying applications in heterogeneous, multiuser grid environments. We discuss the AppLeS project and outline our findings. Francine Berman, Richard Wolski, Henri Casanova, Walfredo Cirne, Holly Dail, Marcio Faerman, Silvia M. Figueira, Jim Hayes, Graziano Obertelli, Jennifer M. Schopf, Gary Shao, Shava Smallen, Neil Spring, Alan Su 0001, Dmitrii Zagorodnov |
IEEE Trans. Parallel Distributed Syst. | 1 |
| 2003 | When the Herd Is Smart: Aggregate Behavior in the Selection of Job RequestabstractIn most parallel supercomputers, submitting a job for execution involves specifying how many processors are to be allocated to the job. When the job is moldable (i.e., there is a choice on how many processors the job uses), an application scheduler called SA can significantly improve job performance by automatically selecting how many processors to use. Since most jobs are moldable, this result has great impact to the current state of practice in supercomputer scheduling. However, the widespread use of SA can change the nature of workload processed by supercomputers. When many SAs are scheduling jobs on one supercomputer, the decision made by one SA affects the state of the system, therefore impacting other instances of SA. In this case, the global behavior of the system comes from the aggregate behavior caused by all SAs. In particular, it is reasonable to expect the competition for resources to become tougher with multiple SAs, and this tough competition to decrease the performance improvement attained by each SA individually. This paper investigates this very issue. We found that the increased competition indeed makes it harder for each individual instance of SA to improve job performance. Nevertheless, there are two other aggregate behaviors that override increased competition when the system load is moderate to heavy. First, as load goes up, SA chooses smaller requests, which increases efficiency, which effectively decreases the offered load, which mitigates long wait times. Second, better job packing and fewer jobs in the system make it easier for incoming jobs to fit in the supercomputer schedule, thus reducing wait times further. As a result, in moderate to heavy load conditions, a single instance of SA benefits from the fact that other jobs are also using SA. Walfredo Cirne, Francine Berman |
IEEE Trans. Parallel Distributed Syst. | 2 |
| 2002 | A decoupled scheduling approach for the GrADS program development environmentabstractProgram development environments are instrumental in providing users with easy and efficient access to parallel computing platforms. While a number of such environments have been widely accepted and used for traditional HPC systems, there are currently no widely used environments for Grid programming. The goal of the Grid Application Development Software (GrADS) project is to develop a coordinated set of tools, libraries and run-time execution facilities for Grid program development. In this paper, we describe a Grid scheduler component that is integrated as part of the GrADS software system. Traditionally, application-level schedulers (e.g. AppLeS) have been tightly integrated with the application itself and were not easily applied to other applications. Our design is generic: we decouple the scheduler core (the search procedure) from the application-specific (e.g. application performance models) and platform-specific (e.g. collection of resource information) components used by the search procedure. We provide experimental validation of our approach for two representative regular, iterative parallel programs in a variety of real-world Grid testbeds. Our scheduler consistently outperforms static and user-driven scheduling methods. Holly Dail, Henri Casanova, Francine Berman |
SC | 3 |
| 2002 | Using Moldability to Improve the Performance of Supercomputer Jobs
Walfredo Cirne, Francine Berman |
J. Parallel Distributed Comput. | 2 |
| 2002 | Middleware for the use of storage in communication
Micah D. Beck, Dorian C. Arnold, Alessandro Bassi, Francine Berman, Henri Casanova, Jack J. Dongarra, Terry Moore, Graziano Obertelli, James S. Plank, D. Martin Swany, Sathish S. Vadhiyar, Richard Wolski |
Parallel Comput. | 4 |
| 2001 | A Study of Deadline Scheduling for Client-Server Systems on the Computational GridabstractThe Computational Grid is a promising platform for the deployment of various high-performance computing applications. A number of projects have addressed the idea of software as a service on the network. These systems usually implement client-server architectures with many servers running on distributed Grid resources and have commonly been referred to as network-enabled servers (NES). An important question is that of scheduling in this multi-client multi-server scenario. Note that in this context most requests are computationally intensive as they are generated by high-performance computing applications. The Bricks simulation framework has been developed and extensively used to evaluate scheduling strategies for NES systems. The authors first present recent developments and extensions to the Bricks simulation models. They discuss a deadline scheduling strategy that is appropriate for the multi-client multi-server case, and augment it with "Load Correction" and "Fallback" mechanisms which could improve the performance of the algorithm. We then give Bricks simulation results. The results show that future NES systems should use deadline scheduling with multiple fallbacks and it is possible to allow users to make a trade-off between failure-rate and cost by adjusting the level of conservatism of deadline scheduling algorithms. Atsuko Takefusa, Satoshi Matsuoka, Henri Casanova, Francine Berman |
HPDC | 4 |
| 2001 | A Model for Moldable Supercomputer JobsabstractThe performance of supercomputer schedulers is influenced by the workloads that serve as their input. Realistic workloads are therefore critical to evaluate how supercomputer schedulers perform in practice. There has been much written in the literature about rigid parallel jobs, i.e. jobs that require partitions of a fixed size to run. However the majority of the parallel jobs in production today are moldable, i.e. jobs that can execute on a variety of partition sizes. In this paper we describe a workload model for moldable jobs, which is based on a user survey and good analytical models. Our model can serve as the basis for the development of performance-efficient strategies for selection of the job partition size, as well as the basis for enhancing supercomputer schedulers to directly accept moldable request. Walfredo Cirne, Francine Berman |
IPDPS | 2 |
| 2001 | Applying scheduling and tuning to on-line parallel tomographyabstractTomography is a popular technique to reconstruct the three-dimensional structure of an object from a series of two-dimensional projections. Tomography is resource-intensive and deployment of a parallel implementation onto Computational Grid platforms has been studied in previous work. In this work, we address on-line execution of the application where computation is performed as data is collected from an on-line instrument. The goal is to compute incremental 3-D reconstructions that provide quasi-real-time feedback to the user.We model on-line parallel tomography as a tunable application: trade-offs between resolution of the reconstruction and frequency of feedback can be used to accommodate various resource availabilities. We demonstrate that application scheduling/tuning can be framed as multiple constrained optimization problems and evaluate our methodology in simulation. Our results show that prediction of dynamic network performance is key to efficient scheduling and that tunability allows for production runs of on-line parallel tomography in Computational Grid environments. Shava Smallen, Henri Casanova, Francine Berman |
SC | 3 |
| 2001 | A Slowdown Model for Applications Executing on Time-Shared Clusters of WorkstationsabstractDistributed applications executing on clustered environments typically share resources (computers and network links) with other applications. In such systems, application execution may be retarded by the competition for these shared resources. In this paper, we define a model that calculates the slowdown imposed on applications in time-shared multi-user clusters. Our model focuses on three kinds of slowdown: local slowdown, which synthesizes the effect of contention for CPU in a single workstation; communication slowdown, which synthesizes the effect of contention for the workstations and network links on communication costs; and aggregate slowdown, which determines the effect of contention on a parallel task caused by other applications executing on the entire cluster, i.e., on the nodes used by the parallel application. We verify empirically that this model provides an accurate estimate of application performance for a set of compute-intensive parallel applications on different clusters with a variety of emulated loads. Silvia M. Figueira, Francine Berman |
IEEE Trans. Parallel Distributed Syst. | 2 |
| 2000 | Adaptive Selection of Partition Size for Supercomputer Requests
Walfredo Cirne, Francine Berman |
JSSPP | 2 |
| 2000 | The AppLeS Parameter Sweep Template: User-Level Middleware for the GridabstractThe Computational Grid is a promising platform for the efficient execution of parameter sweep applications over large parameter spaces. To achieve performance on the Grid, such applications must be scheduled so that shared data files are strategically placed to maximize reuse, and so that the application execution can adapt to the deliverable performance potential of target heterogeneous, distributed and shared resources. Parameter sweep applications are an important class of applications and would greatly benefit from the development of Grid middleware that embeds a scheduler for performance and targets Grid resources transparently. In this paper we describe a user-level Grid middleware project, the AppLeS Parameter Sweep Template (APST), that uses application-level scheduling techniques [1] and various Grid technologies to allow the efficient deployment of parameter sweep applications over the Grid. We discuss several possible scheduling algorithms and detail our software design. We then describe our current implementation of APST using systems like Globus [2], NetSolve [3] and the Network Weather Service [4], and present experimental results. Henri Casanova, Graziano Obertelli, Francine Berman, Richard Wolski |
SC | 3 |
| 1999 | Adaptive Performance Prediction for Distributed Data-Intensive ApplicationsabstractThe computational grid is becoming the platform of choice for large-scale distributed data-intensive applications. Accurately predicting the transfer times of remote data les, a fundamental component of such applications, is critical to achieving application performance. In this paper, we introduce a performance prediction method, ARM (Adaptive Regression Modeling), to determine data transfer times for network-bound distributed dataintensive applications. We demonstrate the eectiveness of the ARM method on two distributed data applications, SARA (Synthetic Aperture Radar Atlas) and SRB (Storage Resource Broker) , and discuss how it can be used for application scheduling. Our experiments demonstrate that applying the ARM method to these applications predicted data transfer times in wide-area multi-user grid environments with accuracy of 88% or better. 1 Introduction Ensembles of distributed computational, storage, and other resources, also known as computational grids [12, 14], are... Marcio Faerman, Alan Su 0001, Richard Wolski, Francine Berman |
SC | 4 |
| 1999 | Stochastic SchedulingabstractThere is a current need for scheduling policies that can leverage the performance variability of resources on multiuser clusters. We develop one solution to this problem called stochastic scheduling that utilizes a distribution of application execution performance on the target resources to determine a performance-efficient schedule. In this paper, we define a stochastic scheduling policy based on time-balancing for data parallel applications whose execution behavior can be represented as a normal distribution. Using three distributed applications on two contended platforms, we demonstrate that a stochastic scheduling policy can achieve good and predictable performance for the application as evaluated by several performance measures. Jennifer M. Schopf, Francine Berman |
SC | 2 |
| 1999 | Logistical quality of service in NetSolve
Micah D. Beck, Henri Casanova, Jack J. Dongarra, Terry Moore, James S. Plank, Francine Berman, Richard Wolski |
Comput. Commun. | 6 |
| 1997 | Predicting Slowdown for Networked WorkstationsabstractMost applications share the resources of networked workstations with other applications. Since system load can vary dramatically, allocation strategies that assume that resources have a constant availability and/or capability are unlikely to promote performance-efficient allocations in practice. In order to best allocate application tasks to machines, it is critical to provide a realistic model of the effects of contention on application performance. In this paper, we present a model that provides an estimate of the slowdown imposed by competing load on applications targeted to high-performance clusters and networks of workstations. The model provides a basis for predicting realistic communication and computation costs and is shown to achieve good accuracy for a set of scientific benchmarks commonly found in high-performance applications. Silvia M. Figueira, Francine Berman |
HPDC | 2 |
| 1996 | Scheduling from the Perspective of the ApplicationabstractMetacomputing is the aggregation of distributed and high-performance resources on coordinated networks. With careful scheduling, resource-intensive applications can be implemented efficiently on metacomputing systems at the sizes of interest to developers and users. In this paper, we focus on the problem of scheduling applications on metacomputing systems. We introduce the concept of application-centric scheduling in which everything about the system is evaluated in terms of its impact on the application. Application-centric scheduling is used by virtually all metacomputer programmers to achieve performance on metacomputing systems. We describe two successful metacomputing applications to illustrate this approach, and describe AppLeS (Application-Level Scheduling) agents which generalize the application-centric scheduling approach. Finally, we show preliminary results which compare AppLeS-derived schedules with conventional strip and blocked schedules for a 2D Jacobi code. Francine Berman, Richard Wolski |
HPDC | 1 |
| 1996 | Modeling the Effects of Contention on the Performance of Heterogeneous ApplicationsabstractFast networks have made it possible to coordinate distributed heterogeneous CPU, memory and storage resources to provide a powerful platform for executing high-performance applications. However, the performance of these applications on such systems is highly dependent on the allocation and efficient coordination of application tasks. A key component for a performance-efficient allocation strategy is a predictive model which provides a realistic estimate of application performance under varying resource loads. In this paper, we present a model for predicting the effects of contention on application behavior in heterogeneous systems. In particular, our model calculates the slowdown imposed on communication and computation for non-dedicated two-machine heterogeneous platforms. We describe the model for the Sun/CM2 and Sun/Paragon coupled heterogeneous systems. We present experiments on production systems with emulated contention which show the predicted communication and computation costs to be within 15% on average of the actual costs. Silvia M. Figueira, Francine Berman |
HPDC | 2 |
| 1996 | Application-Level Scheduling on Distributed Heterogeneous NetworksabstractHeterogeneous networks are increasingly being used as platforms for resource-intensive distributed parallel applications. A critical contributor to the performance of such applications is the scheduling of constituent application tasks on the network. Since often the distributed resources cannot be brought under the control of a single global scheduler, the application must be scheduled by the user. To obtain the best performance, the user must take into account both application-specific and dynamic system information in developing a schedule which meets his or her performance criteria. In this paper, we define a set of principles underlying application-level scheduling and describe our work-in-progress building AppLeS (application-level scheduling) agents. We illustrate the application-level scheduling approach with a detailed description and results for a distributed 2D Jacobi application on two production heterogeneous platforms. Francine Berman, Richard Wolski, Silvia M. Figueira, Jennifer M. Schopf, Gary Shao |
SC | 1 |
| 1996 | Retargetability and Extensibility in a Parallel Debugger
John May, Francine Berman |
J. Parallel Distributed Comput. | 2 |
| 1994 | Program Speedup in a Heterogeneous Computing Network
Val Donaldson, Francine Berman, Ramamohan Paturi |
J. Parallel Distributed Comput. | 2 |
| 1993 | The heterogeneous computing challenge (Mini symposium)abstractArticle Free Access Share on The heterogeneous computing challenge (Mini symposium) Chairmen: F. Berman Department of Computer Science and Engineering, University of California at San Diego Department of Computer Science and Engineering, University of California at San DiegoView Profile , T. Kitchens Office of Scientific Computing, U. S. Department of Energy Office of Scientific Computing, U. S. Department of EnergyView Profile Authors Info & Claims Supercomputing '93: Proceedings of the 1993 ACM/IEEE conference on SupercomputingDecember 1993 Pages 616–621https://doi.org/10.1145/169627.169810Online:01 December 1993Publication History 0citation185DownloadsMetricsTotal Citations0Total Downloads185Last 12 Months3Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF Francine Berman, Tom Kitchens |
SC | 1 |
| 1993 | Assessing partitioning/ scheduling/storage trade-offs for regular iterative algorithms
Francine Berman |
Integr. | 2 |
| 1993 | Representing graph families with edge grammars
Francine Berman, Gregory E. Shannon |
Inf. Sci. | 1 |
| 1993 | Performance of the Efficient Data-Driven Evaluation Scheme
David S. Johnson 0001, Francine Berman |
J. Parallel Distributed Comput. | 2 |
| 1990 | Architectural Support for the Efficient Data-Driven Evaluation SchemeabstractIn the worst care, useless computations which are infinite may tie up machine resources and prevent program termination [CuI85, Harrick M. Vin, Francine Berman |
SPAA | 2 |
| 1990 | Efficient Data-Driven Evaluation: Theory and Implementation
Harrick M. Vin, Francine Berman, James S. Mattson Jr. |
J. Parallel Distributed Comput. | 2 |
| 1987 | Removing Useless Tokens from a Dataflow Computation
Francine Berman |
ICPP | 2 |
| 1987 | Mapping with External I/O : A Case Study
Daniel Rose, Francine Berman |
ICPP | 2 |
| 1987 | On Mapping Parallel Algorithms into Parallel Architectures
Francine Berman, Lawrence Snyder 0001 |
J. Parallel Distributed Comput. | 1 |
| 1986 | Collections of Functions for Perfect HashingabstractHashing techniques for accessing a table without searching it are usually designed to perform efficiently on the average over all possible contents of the table. If the table contents are known in advance, we might be able to choose a hashing function with guaranteed efficient (worst-case) performance. Such a technique has been called “perfect hashing” by Sprugnoli and others. In this paper, we address the question of whether perfect hashing is feasible in principle as a general technique, or whether it must rely on special qualities of the table contents. We approach the question by counting the number of functions which must be searched to be sure of finding a perfect hashing function. We present upper and lower bounds on the size of this search space, with attention to the tradeoff between the size of the search space and the size of the hash table. Francine Berman, Mary Ellen Bock, Eric Dittert, Michael J. O'Donnell, Darrell Plank |
SIAM J. Comput. | 1 |
| 1985 | Prep-P: A Mapping Preprocessor for CHiP Architectures
Francine Berman, Michael A. Goodrich, Charles Koelbel, W. J. Robison III, Karen Showell |
ICPP | 1 |
| 1982 | Semantics of Looping Programs in Propositional Dynamic Logic
Francine Berman |
Math. Syst. Theory | 1 |
| 1981 | Propositional Dynamic Logic is Weaker without Tests
Francine Berman, Mike Paterson |
Theor. Comput. Sci. | 1 |
| 1979 | A Completeness Technique for D-Axiomatizable SemanticsabstractIn this paper, we show that by dropping the restrictions on interpretations of arbitrary programs and requiring only that very natural deductive systems are sound, we get classes of semantics which give good representations of program behavior and are more well-suited for applications involving an axiomatic approach (for example program verification). In addition, by tying the restrictions on the behavior of arbitrary programs or specified axiom schema, we get both a powerful formal tool and properties more widely used specifications lack such as compactness and completeness. Francine Berman |
STOC | 1 |