Demo Data from VLDB 2026 / reviewers in the wild / expert
Safwat G. Zaky
dblp:z/SGZaky
· DBLP profile ↗
14ranked-venue papers
0as first author
0since 2021 · last 2010
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 9Software engineering, systems software and programming languages · 3Computer networks · 2Artificial intelligence and machine learning · 1Theory of computation · 1
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
7 papers |
Electronic design automation · 56% Performance modeling and evaluation · 15% Integrated circuit design · 15% | |
| Computer networks
2 papers |
Internet architecture and protocols · 98% Wireless networking · 2% |
Topics — the 18 heaviest of 19, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation
logic synthesis |
0.0 | 3 | 1993 | Goal-oriented decomposition of switching functions · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1993 Algorithmic Synthesis of MVL Functions for CCD Implementation · IEEE Trans. Computers 1991 Synthesis of Multivalued Multithreshold Functions for CCD Implementation · IEEE Trans. Computers 1986 |
Electronic design automation › logic synthesis
boolean function decomposition |
0.0 | 2 | 1993 | Goal-oriented decomposition of switching functions · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1993 Synthesis of Multivalued Multithreshold Functions for CCD Implementation · IEEE Trans. Computers 1986 |
Internet architecture and protocols › local area network
ring network |
0.0 | 2 | 1991 | A Hybrid Token/Insertion Ring LAN · INFOCOM 1991 TORNET: A local area network · SIGCOMM 1981 |
Internet architecture and protocols › link-layer protocols
local area network protocol |
0.0 | 1 | 1991 | A Hybrid Token/Insertion Ring LAN · INFOCOM 1991 |
Internet architecture and protocols › local area network › ring network
token ring |
0.0 | 1 | 1991 | A Hybrid Token/Insertion Ring LAN · INFOCOM 1991 |
Electronic design automation › logic synthesis
multivalued logic synthesis |
0.0 | 1 | 1991 | Algorithmic Synthesis of MVL Functions for CCD Implementation · IEEE Trans. Computers 1991 |
Integrated circuit design › analog and mixed-signal circuits › analog circuit design
charge-coupled device circuits |
0.0 | 2 | 1991 | Synthesis of Multivalued Multithreshold Functions for CCD Implementation · IEEE Trans. Computers 1986 Algorithmic Synthesis of MVL Functions for CCD Implementation · IEEE Trans. Computers 1991 |
Interconnection networks and networks-on-chip › bus-based interconnection
multiple bus network |
0.0 | 1 | 1988 | Communication performance in multiple-bus systems · IEEE Trans. Computers 1988 |
Performance modeling and evaluation
queueing models |
0.0 | 1 | 1988 | Communication performance in multiple-bus systems · IEEE Trans. Computers 1988 |
Integrated circuit design › digital circuit design
multivalued logic circuit |
0.0 | 1 | 1986 | Synthesis of Multivalued Multithreshold Functions for CCD Implementation · IEEE Trans. Computers 1986 |
Performance modeling and evaluation
network performance analysis |
0.0 | 1 | 1991 | A Hybrid Token/Insertion Ring LAN · INFOCOM 1991 |
Performance modeling and evaluation
simulation |
0.0 | 1 | 1991 | A Hybrid Token/Insertion Ring LAN · INFOCOM 1991 |
Internet architecture and protocols
local area network |
0.0 | 1 | 1981 | TORNET: A local area network · SIGCOMM 1981 |
Internet architecture and protocols › local area network
slotted ring |
0.0 | 1 | 1981 | TORNET: A local area network · SIGCOMM 1981 |
Memory systems › memory management › virtual memory
page fault handling |
0.0 | 1 | 1980 | A Microprocessor-Based Virtual Memory System · ISCA 1980 |
Memory systems › memory management
virtual memory |
0.0 | 1 | 1980 | A Microprocessor-Based Virtual Memory System · ISCA 1980 |
Performance modeling and evaluation
benchmarking |
0.0 | 1 | 1974 | On Relating Small Computer Performance to Design Parameters · ISCA 1974 |
Wireless networking
medium access control |
0.0 | 1 | 1981 | TORNET: A local area network · SIGCOMM 1981 |
Methods — techniques the papers use, named apart from their topics
simulation · 0.0queueing analysis · 0.0sum-of-products synthesis · 0.0function decomposition · 0.0queueing model · 0.0closed-form solution · 0.0threshold function decomposition · 0.0fixed-length packet format · 0.0dedicated processor for memory management · 0.0regression analysis · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2010 | Using variable clocking to reduce leakage in synchronous circuitsabstractThere is a growing demand for high-performance, low-power systems, particularly in portable devices. New approaches to design are needed in technologies with feature sizes of 90 nm and below to reduce leakage power and to deal with process variations, which force designers to use increasingly conservative delay estimations. This paper presents a variable clock generator for a conventionally-designed synchronous circuit core. The clock frequency adjusts automatically to inter-and intra-chip process, voltage and temperature variations, making it possible to design the circuit assuming typical rather than worst-case conditions. The resulting circuit uses much fewer high-speed, low-voltage-threshold cells, and consequently has significantly reduced leakage power. Post-layout test results on a 32-bit microprocessor implemented in 90-nm technology showed 10X less leakage and 19% less dynamic power when operating under typical conditions, compared to a conventional, fixed-frequency implementation. The system is functional under all PVT corners. Navid Toosizadeh, Safwat G. Zaky, Jianwen Zhu |
ICCD | 2 |
| 2009 | VariPipe: Low-overhead variable-clock synchronous pipelinesabstractSynchronous pipelines usually have a fixed clock frequency determined by the worst-case process-voltage-temperature (PVT) analysis of the most critical path. Higher operating frequencies are possible under typical PVT conditions, especially when the most critical path is not triggered. This paper introduces a design methodology that uses asynchronous design to generate the clock of a synchronous pipeline. The result is a variable clock period that changes cycle-by-cycle according to the current operations in the pipeline and the current PVT conditions. The paper also presents a simple design flow to implement variable-clock systems with standard cells using conventional synchronous design tools. The variable-clock pipeline technique has been tested on a 32-bit microprocessor in 90 nm technology. Post-layout simulations with three sets of benchmarks demonstrate that the variable-clock processor has a two-fold performance advantage over its fixed-clock counterpart. The overhead of the added clock generation circuit is merely 2.6% in area and 3% in energy consumption, compared to an earlier proposal that costs 100% overhead. Navid Toosizadeh, Safwat G. Zaky, Jianwen Zhu |
ICCD | 2 |
| 2009 | Application of Concurrency in the Asynchronous Design of Write-after-read OperationsabstractThis paper introduces enhancements to the synthesis of circuits that involve write-afterread (WAR) operations and use the four-phase handshake protocol. The paper demonstrates that the use of edge-triggering makes possible many useful trade-offs among speed, area and powerdelay product. Significant increases in speed are possible as a result of increased concurrency in the circuit's operation, which compensates for much of the penalty associated with the down phase of the four-phase protocol. It is also shown that concurrency can be increased by the judicious insertion of T-elements in the system's control structure. Simulation results for a 16-bit accumulator showed a speed increase of 50% and a reduction of 23% in the power-delay product. The speed of a radix-4 Booth multiplier increased by over 27% and its area and energy consumption were reduced by 5%. These results were derived using test circuits synthesized by Balsa and implemented in Synopsys using 180-nm technology. Navid Toosizadeh, Safwat G. Zaky |
Fundam. Informaticae | 2 |
| 1993 | Goal-oriented decomposition of switching functionsabstractA method for decomposing combinational functions for the purpose of obtaining a multilevel synthesis is proposed. A cascade of mapping stages is used to transform the function being synthesized into a simple one called the goal function. The goal function-usually a one-variable function-is selected at the outset and then used to guide the definition of the transformations to be implemented by the mapping stages. The resulting circuits are comparable in size to those derived from minimal prime-implicant covers. However, goal-oriented synthesis is faster, yields circuits that are easier to test, and offers more flexibility in the choice of gates.> Liliana Díaz-Olavarrieta, K. Illanko, Safwat G. Zaky |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 3 |
| 1991 | A Hybrid Token/Insertion Ring LANabstractA novel, hybrid protocol LAN called TORNET2 is proposed, and its performance is evaluated. TORNET2 is a ring intended for high-speed applications in the 100 Mb/s range. Short-packet, high-priority traffic is handled by the register insertion technique. Combining this protocol with the early-release token protocol for handling low-priority asynchronous traffic is the novel aspect of TORNET2. The hybrid protocol operates in such a way that high-priority packets may be embedded in low-priority packets. This results in the best possible transfer delay for the high-priority traffic. In fact, the high-priority traffic is unaffected by the presence of low-priority traffic. Low-priority traffic is not locked out by high-priority traffic, but its transfer delay performance degrades as the volume of high-priority traffic increases. An approximate performance analysis of the TORNET2 network along with simulation results to verify the analysis is presented.> Zvonko G. Vranesic, V. Carl Hamacher, A. K. Sanwalka, Safwat G. Zaky |
INFOCOM | 4 |
| 1991 | Algorithmic Synthesis of MVL Functions for CCD ImplementationabstractAlgorithms for synthesis of four-valued one- and two-variable functions for CCD (charge coupled device) implementation are proposed. One-variable synthesis is based on the observation that the cost of a realization of a function f(x) increases in the presence of breaks, or negative transitions, in the value of f as x increases. The function is decomposed to minimize the number of such transitions. Two-variable functions are synthesized as a sum of products of literals, taking advantage of literals that are easily implemented in CCD technology. It is concluded that the proposed algorithms perform better than those published previously.> Mostafa I. H. Abd-El-Barr, Zvonko G. Vranesic, Safwat G. Zaky |
IEEE Trans. Computers | 3 |
| 1988 | Direct synthesis of mapping circuitsabstractIn the context of mapping-based methods for multilevel circuit synthesis, the authors propose a method, called the direct implementation procedure (DIP), to synthesize combinational functions. An algebra is defined in which a set of mappings together with a parallel composition operation can produce arbitrary mappings. The resulting mappings can be easily implemented as macrocells. The DIP procedure is simpler than existing methods, and takes advantage of the property of mappings which produces fanout-free circuits. Thus, simple and easily testable combinational circuits can be synthesized using DIP and a mapping-based strategy such as the goal-oriented method.> Liliana Díaz-Olavarrieta, Safwat G. Zaky |
ICCD | 2 |
| 1988 | Communication performance in multiple-bus systemsabstractA simple queueing model is presented for studying the effect of multiple-bus interconnection networks on the performance of asynchronous multiprocessor systems. The proposed model is suitable for systems in which each processor has a local memory and is thus able to continue processing while waiting for a response from the global memory. An approximate, closed-form solution is given that is simple and easy to use for any number of processors, buses, or memory modules and for arbitrary memory block size. The model is used to study the access time of the global memory as a function of the number of buses for different local-memory/global-memory traffic rates.> Safwat G. Zaky |
IEEE Trans. Computers | 2 |
| 1986 | Fingerprint identification using graph matching
D. K. Isenor, Safwat G. Zaky |
Pattern Recognit. | 2 |
| 1986 | Synthesis of Multivalued Multithreshold Functions for CCD ImplementationabstractBasic multivalued building blocks constructed using CCD (charge-coupled devices) technology are presented. They are used to realize simple threshold functions. Existing techniques for decomposition of multivalued multithreshold functions into simpler subfunctions are reviewed. Usage of the CCD technology in implementation of these subfunctions is discussed. Two new decomposition techniques are proposed. Their aim is to obtain realizations that are better suited to CCD technology in terms of the maximum number of thresholds per element and the generation of negative weights. Synthesis techniques based on the proposed decompositions are presented and compared. Although 4-valued logic functions are stressed, the techniques are, in principle, applicable to functions of any radix. Mostafa I. H. Abd-El-Barr, Safwat G. Zaky, Zvonko G. Vranesic |
IEEE Trans. Computers | 2 |
| 1985 | SRE-A Syntax Recognizing EditorabstractAbstract This paper presents a syntax‐directed editor dubbed SRE, for syntax recognizing editor. Unlike other syntax‐directed editors, SRE enables the user to edit programs with nearly the same natural and unrestrictive ease as a conventional text editor. In addition, it helps identify syntax errors and many typing errors before leaving the editor and attempting to compile a program. Programs are also formatted during entry, thereby providing immediate visual feedback of the recognized structure. The editor replaces the scanner/parser pass of a conventional compiler and thus reduces compilation time substantially. Frank J. Dudinsky, Richard C. Holt, Safwat G. Zaky |
Softw. Pract. Exp. | 3 |
| 1981 | TORNET: A local area networkabstractTORNET is an experimental local area computer network presently being designed and built in the Computer Group Laboratory of the Department of Electrical Engineering at the University of Toronto. The network consists of a number of local rings, each attached to a central ring. The local rings employ a variation on the slotted-ring format that uses a limited insertion technique to achieve reasonable response times for character traffic among many devices and small computers. Two fixed-length packet formats (one byte or 128 bytes of data) are used on the local rings. Only the longer format is used on the central ring which generally provides record level access to shared specialized equipment. Zvonko G. Vranesic, V. Carl Hamacher, Wayne M. Loucks, Safwat G. Zaky |
SIGCOMM | 4 |
| 1980 | A Microprocessor-Based Virtual Memory SystemabstractThis paper presents a virtual memory system which may be connected to the memory bus of a host computer. The system is based on the use of a separate processor to interface to the backing store and perform all the processing related to managing the virtual memory. The proposed approach provides a virtual memory that is transparent to the host processor, with one exception. When a memory reference generated by the host results in a page fault, a long delay is encountered. This delay corresponds to the time taken by the virtual memory controller to carry out a page transfer. M. D. Ruggiero, Safwat G. Zaky |
ISCA | 2 |
| 1974 | On Relating Small Computer Performance to Design ParametersabstractThis paper presents a method for correlating performance measures of small computers to design parameters. An experiment is described in which execution times and memory space requirements are gathered for three small benchmark kernels when run on fifteen small computers. The benchmarks are drawn from three different application areas. All of them exercise only the CPU ↔ memory area of the machines, and I/0 operations are not involved.Using standard regression analysis techniques, this data is then used to calculate coefficients in empirical equations which relate the performance measures, time and space, to easily quantifiable design parameters of the machines. S. Rannem, V. Carl Hamacher, Safwat G. Zaky, P. Connolly |
ISCA | 3 |