Sciweavers

9370 search results - page 355 / 1874
» An Abstract Notion of Application
Sort
View
AFP
2004
Springer
128views Formal Methods» more  AFP 2004»
16 years 7 days ago
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...
ASWSD
2004
Springer
16 years 7 days ago
Validation of Component and Service Federations in Automotive Software Applications
Abstract The automotive domain is one of the most promising areas for component and service technologies in the near future. Vehicles are increasingly becoming integrated systems w...
Luciano Baresi, Carlo Ghezzi
PARA
2004
Springer
16 years 5 days ago
Automatic Derivation of Linear Algebra Algorithms with Application to Control Theory
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
Paolo Bientinesi, Sergey Kolos, Robert A. van de G...
PDCAT
2004
Springer
16 years 5 days ago
An In-Order SMT Architecture with Static Resource Partitioning for Consumer Applications
Abstract. This paper proposes a simplified simultaneous multithreading (SMT) architecture aiming at CPU cores of embedded SoCs for consumer applications. This architecture reduces...
Byung In Moon, Hongil Yoon, Ilgun Yun, Sungho Kang
TSD
2004
Springer
16 years 5 days ago
Slovak Speech Database for Experiments and Application Building in Unit-Selection Speech Synthesis
Abstract. After the years of hesitation the conservative Slovak telecommunication market seems to become conscious of the need of voice driven services. In the last year, all the t...
Milan Rusko, Marián Trnka, Sachia Darz&aacu...