ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Formal methods in system design 13 (1998), S. 37-85 
    ISSN: 1572-8102
    Keywords: asynchronous circuits ; approximation-based formal verification ; hazard-freedom
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We introduce the notion of combinational equivalence to relate two speed-independent asynchronous (sequential) circuits: a “golden” hazard-free circuit C 1 and a “target” circuit C 2 that can be derived from C 1 through only combinational decomposition and extraction. Both circuits are assumed to be networks of single-output basic gates; multiple output gates such as arbiters, toggles, and dual-rail function blocks are not considered. We say that the circuits are combinationally equivalent if the decomposition and extraction preserves the essential functionality of the combinational blocks in the circuit and does not introduce hazards. The paper's focus is the bottleneck of the verification procedure, checking whether C 2 is hazard-free. We show that C 2 is hazard-free if and only if all of its signals are monotonic and acknowledged . We then show how cubes that approximate sets of reachable circuit states can be used to give sufficient conditions for monotonicity and acknowledgement. These sufficient conditions are used to develop a verification technique for combinational equivalence that can be exponentially faster than applying traditional, more general verification techniques. This result can be useful for verifying logic synthesis and technology mapping procedures.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Multimedia systems 2 (1994), S. 204-217 
    ISSN: 1432-1882
    Keywords: Image compression ; Lossy compression ; Transform ; DCT ; Discrete Cosine Transform ; IDCT ; Inverse Discrete Cosine Transform
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract The discrete cosine transform (DCT) is often applied to image compression to decorrelate picture data before quantization. This decorrelation results in many of the quantized transform coefficients equaling zero, hence the compression gain. At the decoder, very few nonzero quantized transform coefficients are received, so the input to the inverse DCT is sparse, greatly reducing the required computation. This paper describes different styles of implementations of fast inverse DCTs designed especially for sparse data and compares them on workstation processors.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    The journal of VLSI signal processing systems for signal, image, and video technology 1 (1990), S. 345-365 
    ISSN: 1573-109X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Electrical Engineering, Measurement and Control Technology
    Notes: Abstract As digital signal processing systems become larger and clock rates increase, the typical design approach using global clock synchronization will become increasingly difficult. The application of asynchronous clock-free designs to high-performance digital signal processing systems is one promising approach to alleviating this problem. To demonstrate this approach for a typical signal processing task, the system architecture and circuit design of a chip set for implementing high-rate adaptive lattice filters using the asynchronous design techniques is presented.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    Springer
    The journal of VLSI signal processing systems for signal, image, and video technology 13 (1996), S. 125-142 
    ISSN: 1573-109X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Electrical Engineering, Measurement and Control Technology
    Notes: Abstract This paper describes the design process of a chip set which performs real-time video decompression for wireless portable applications and concentrates on four critical aspects of the design: compression algorithm development, control complexity, programmability, and throughput. For each of these design areas, this paper evaluates the design trade-offs between low power, compression efficiency, and throughput, which are the three main requirements for wireless portable video. The chip set consists of a subband reconstruction chip and a pyramid vector quantization (PVQ) decoder chip and requires no external memory support or frame buffer. For portable applications with a resolution of 176 pixels wide, 240 lines, and 30 frames per second color video, the chip set, operating at a 1.35 V supply, dissipates less than 9 mW.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Electronic Resource
    Electronic Resource
    Springer
    The journal of VLSI signal processing systems for signal, image, and video technology 24 (2000), S. 59-65 
    ISSN: 1573-109X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Electrical Engineering, Measurement and Control Technology
    Notes: Abstract Shrinking feature sizes, combined with the need for low-power and lightweight components, fuel the desire to place large mixed-signal systems onto a single die. A major design issue in mixed-signal systems is the effect of digital switching noise coupled to sensitive analog circuits through the substrate. A method is presented for minimizing this effect by partitioning digital and analog processing into separate time blocks. The resulting trade-off between lost signal and increased energy consumption is explored. As an example, a GPS synchronizer design is analyzed with respect to modifications that can be made to increase performance, while minimizing any associated energy penalty. Application of the partitioning method to other communications systems is discussed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    Electronic Resource
    Electronic Resource
    Springer
    The journal of VLSI signal processing systems for signal, image, and video technology 7 (1994), S. 5-6 
    ISSN: 1573-109X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Electrical Engineering, Measurement and Control Technology
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Electronic Resource
    Electronic Resource
    Springer
    The journal of VLSI signal processing systems for signal, image, and video technology 9 (1995), S. 233-255 
    ISSN: 1573-109X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Electrical Engineering, Measurement and Control Technology
    Notes: Abstract Polygon rasterization is one of the most computational and memory intensive operations in computer graphics. In this paper, we present a low-power, real-time hardware design for this task. The system is resolution-independent by configuring different numbers of render engines in a 2-dimensional array. Using an array configuration of 16 render engines for a 512×512-pixel display, a peak performance of up to 3.4 million Gouraud-shaded polygons/sec is achievable. Total power consumption, depending on the polygon throughput, ranges between 17 mW to 133 mW at 1.5 V operation. A format for transmitting polygon information is proposed at a typical bandwidth of 4 Mbps, suitable for wireless transmission. This screen and format configurable design has potential application in portable, wireless head-mounted displays for virtual reality systems.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Electronic Resource
    Electronic Resource
    Springer
    The journal of VLSI signal processing systems for signal, image, and video technology 16 (1997), S. 9-23 
    ISSN: 1573-109X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Electrical Engineering, Measurement and Control Technology
    Notes: Abstract A real-time, low-power video encoder design for pyramid vector quantization (PVQ) has been presented. The quantizer is estimated to dissipate only 2.1 mW for real-time video compression of images of 256 × 256 pixels at 30 frames per second in standard 0.8-micronCMOS technology with a 1.5 V supply. Applying this quantizer to subband decomposed images, the quantizer performs better than JPEG on average. We achieve this high level of power efficiency with image quality exceeding that of variable rate codes through algorithmic and architectural reformulation. The PVQ encoder is well-suited for wireless, portable communication applications.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Electronic Resource
    Electronic Resource
    Springer
    The journal of VLSI signal processing systems for signal, image, and video technology 21 (1999), S. 195-207 
    ISSN: 1573-109X
    Source: Springer Online Journal Archives 1860-2000
    Topics: Electrical Engineering, Measurement and Control Technology
    Notes: Abstract A low-power, large-scale parallel video compression architecture for a single-chip digital CMOS camera is discussed in this paper. This architecture is designed for highly computationally intensive image and video processing tasks necessary to support video compression. Two designs of this architecture, an MPEG2 encoder and a DV encoder, are presented. At an image resolution of 640 × 480 pixels (MPEG2) and 720 × 576 (DV) and a frame rate of 25 to 30 frames per second, a computational throughput of up to 1.8 billion operations per second (BOPS) is required. This is supported in the proposed architecture using a 40 MHz clock and an array of 40 to 45 parallel processors implemented in a 0.2 μm CMOS technology and with a 1.5 V supply voltage. Power consumption is significantly reduced through the single-chip integration of the CMOS photo sensors, the embedded DRAM technology, and the proposed pipelined parallel processors. The parallel processors consume approximately 45 mW of power resulting a power efficiency of 40 BOPS/W.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Publication Date: 2017-02-23
    Description: Phosphatidylinositol 3-kinase δ blockade increases genomic instability in B cells Nature 542, 7642 (2017). doi:10.1038/nature21406 Authors: Mara Compagno, Qi Wang, Chiara Pighi, Taek-Chin Cheong, Fei-Long Meng, Teresa Poggio, Leng-Siew Yeap, Elif Karaca, Rafael B. Blasco, Fernanda Langellotto, Chiara Ambrogio, Claudia Voena, Adrian Wiestner, Siddha N. Kasar, Jennifer R. Brown, Jing Sun, Catherine J. Wu, Monica Gostissa, Frederick W. Alt & Roberto Chiarle Activation-induced cytidine deaminase (AID) is a B-cell-specific enzyme that targets immunoglobulin genes to initiate class switch recombination and somatic hypermutation. In addition, through off-target activity, AID has a much broader effect on genomic instability by initiating oncogenic chromosomal translocations and mutations involved in the development and progression of lymphoma. AID expression is tightly regulated in B cells and its overexpression leads to enhanced genomic instability and lymphoma formation. The phosphatidylinositol 3-kinase δ (PI3Kδ) pathway regulates AID by suppressing its expression in B cells. Drugs for leukaemia or lymphoma therapy such as idelalisib, duvelisib and ibrutinib block PI3Kδ activity directly or indirectly, potentially affecting AID expression and, consequently, genomic stability in B cells. Here we show that treatment of primary mouse B cells with idelalisib or duvelisib, and to a lesser extent ibrutinib, enhanced the expression of AID and increased somatic hypermutation and chromosomal translocation frequency to the Igh locus and to several AID off-target sites. Both of these effects were completely abrogated in AID-deficient B cells. PI3Kδ inhibitors or ibrutinib increased the formation of AID-dependent tumours in pristane-treated mice. Consistently, PI3Kδ inhibitors enhanced AID expression and translocation frequency to IGH and AID off-target sites in human chronic lymphocytic leukaemia and mantle cell lymphoma cell lines, and patients treated with idelalisib, but not ibrutinib, showed increased somatic hypermutation in AID off-targets. In summary, we show that PI3Kδ or Bruton’s tyrosine kinase inhibitors increase genomic instability in normal and neoplastic B cells by an AID-dependent mechanism. This effect should be carefully considered, as such inhibitors can be administered to patients for years.
    Print ISSN: 0028-0836
    Electronic ISSN: 1476-4687
    Topics: Biology , Chemistry and Pharmacology , Medicine , Natural Sciences in General , Physics
    Published by Springer Nature
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...