Francine Berman

dblp:b/FBerman · also Fran Berman · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Distributed systems
grid computing
0.252003
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.142003
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.132003
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.122002
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.122006
Pathway to petascale - The pathway to petascale science · SC 2006
The heterogeneous computing challenge (Mini symposium) · SC 1993
Storage systems
digital preservation
0.112006
Long term storage - 100 years of digital data · SC 2006
High-performance computing › supercomputing
petascale computing
0.112006
Pathway to petascale - The pathway to petascale science · SC 2006
Storage systems
storage reliability
0.112006
Long term storage - 100 years of digital data · SC 2006
Parallel and multicore computing › scheduling algorithms
application scheduling
0.122001
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.122006
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.022001
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.022001
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.012003
Adaptive Computing on the Grid Using AppLeS · IEEE Trans. Parallel Distributed Syst. 2003
Cloud and datacenter computing
job scheduling
0.012003
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.012003
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.012003
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.012003
Adaptive Computing on the Grid Using AppLeS · IEEE Trans. Parallel Distributed Syst. 2003
Parallel and multicore computing
parallel programming runtimes
0.012002
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.021997
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.021997
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.012001
A Study of Deadline Scheduling for Client-Server Systems on the Computational Grid · HPDC 2001
Performance modeling and evaluation › performance prediction
slowdown modeling
0.012001
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.022001
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.011999
Stochastic Scheduling · SC 1999
Performance modeling and evaluation
scheduling policy
0.011999
Stochastic Scheduling · SC 1999
Storage systems
long-term storage
0.012006
Long term storage - 100 years of digital data · SC 2006
High-performance computing › distributed computing infrastructure
metacomputing
0.011996
Scheduling from the Perspective of the Application · HPDC 1996
Performance modeling and evaluation
application performance modeling
0.012002
A decoupled scheduling approach for the GrADS program development environment · SC 2002
Distributed systems › distributed system architecture
client-server systems
0.012001
A Study of Deadline Scheduling for Client-Server Systems on the Computational Grid · HPDC 2001
Mathematical optimization
constrained optimization
0.012001
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
YearPublicationVenuePosition
2009 Kennedy award: Laying the groundwork for success in the information age
abstract
The 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
SC1
2006 Long term storage - 100 years of digital data
abstract
The 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
SC1
2006 Pathway to petascale - The pathway to petascale science
abstract
Petascale 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
SC2
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 AppLeS
abstract
Ensembles 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 Request
abstract
In 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 environment
abstract
Program 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
SC3
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 Grid
abstract
The 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
HPDC4
2001 A Model for Moldable Supercomputer Jobs
abstract
The 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
IPDPS2
2001 Applying scheduling and tuning to on-line parallel tomography
abstract
Tomography 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
SC3
2001 A Slowdown Model for Applications Executing on Time-Shared Clusters of Workstations
abstract
Distributed 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
JSSPP2
2000 The AppLeS Parameter Sweep Template: User-Level Middleware for the Grid
abstract
The 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
SC3
1999 Adaptive Performance Prediction for Distributed Data-Intensive Applications
abstract
The 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
SC4
1999 Stochastic Scheduling
abstract
There 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
SC2
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 Workstations
abstract
Most 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
HPDC2
1996 Scheduling from the Perspective of the Application
abstract
Metacomputing 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
HPDC1
1996 Modeling the Effects of Contention on the Performance of Heterogeneous Applications
abstract
Fast 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
HPDC2
1996 Application-Level Scheduling on Distributed Heterogeneous Networks
abstract
Heterogeneous 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
SC1
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)
abstract
Article 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
SC1
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 Scheme
abstract
In the worst care, useless computations which are infinite may tie up machine resources and prevent program termination [CuI85,
Harrick M. Vin, Francine Berman
SPAA2
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
ICPP2
1987 Mapping with External I/O : A Case Study
Daniel Rose, Francine Berman
ICPP2
1987 On Mapping Parallel Algorithms into Parallel Architectures
Francine Berman, Lawrence Snyder 0001
J. Parallel Distributed Comput.1
1986 Collections of Functions for Perfect Hashing
abstract
Hashing 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
ICPP1
1982 Semantics of Looping Programs in Propositional Dynamic Logic
Francine Berman
Math. Syst. Theory1
1981 Propositional Dynamic Logic is Weaker without Tests
Francine Berman, Mike Paterson
Theor. Comput. Sci.1
1979 A Completeness Technique for D-Axiomatizable Semantics
abstract
In 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
STOC1