SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "L773:3540281282 OR L773:9783540281283 "

Sökning: L773:3540281282 OR L773:9783540281283

  • Resultat 1-2 av 2
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Taha, Walid, 1971- (författare)
  • Resource-Aware Programming - Invited paper
  • 2004
  • Ingår i: Embedded software and systems. - Berlin : Springer Berlin/Heidelberg. - 3540281282 - 9783540281283 ; , s. 38-43
  • Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
    • Traditional wisdom in programming language design suggests that there is a trade-off between expressive power and static guarantees. We describe a novel schema for designing a class of languages that we call Resource-aware Programming (RAP) languages. By taking into account the natural distinction between the development platform and the deployment platform for embedded software, RAP languages can alleviate the need for drastic trade-offs between expressive power and static guarantees. We describe our preliminary experience designing and programming in a RAP language for hardware design, and give a brief overview of directions for future work.
  •  
2.
  • Kiselyov, Oleg, et al. (författare)
  • Relating FFTW and Split-Radix
  • 2004
  • Ingår i: Embedded Software and Systems. - Berlin : Springer Berlin/Heidelberg. - 9783540281283 - 9783540318231 ; , s. 488-493
  • Konferensbidrag (refereegranskat)abstract
    • Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analysis of the Fast Fourier Transform (FFT) for sizes 2n. While the quality of the generated code was promising, it used more floating-point operations than the well-known FFTW codelets and split-radix algorithm. This paper shows that staging and abstract interpretation can in fact be used to produce circuits with the same number of floating-point operations as each of split-radix and FFTW. In addition, choosing between two standard implementations of complex multiplication produces results that match each of the two algorithms. Thus, we provide a constructive method for deriving the two distinct algorithms. © Springer-Verlag Berlin Heidelberg 2005.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-2 av 2
Typ av publikation
konferensbidrag (2)
Typ av innehåll
övrigt vetenskapligt/konstnärligt (1)
refereegranskat (1)
Författare/redaktör
Taha, Walid, 1971- (2)
Kiselyov, Oleg (1)
Lärosäte
Högskolan i Halmstad (2)
Språk
Engelska (2)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (1)
Teknik (1)
År
2004 (2)

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy