Sciweavers

19 search results - page 3 / 4
» Toward the Specification and Design of Industrial Synthetic ...
Sort
View
TSD
2010
Springer
13 years 3 months ago
Embedded Speech Recognition in UPnP (DLNA) Environment
In the past decade great technological advances have been made in internet services, personal computers, telecommunications, media and entertainment. Many of these advances have be...
Jozef Ivanecký, Radek Hampl
ACMICEC
2004
ACM
149views ECommerce» more  ACMICEC 2004»
13 years 11 months ago
Emerging customer trends towards mobile music services
Elaborating on the rapid evolution of mobile entertainment services, this paper investigates customers’ preferences and attitudes towards mobile music services in Europe through...
Pavlos Vlachos, Adam P. Vrechopoulos
FAC
2006
122views more  FAC 2006»
13 years 5 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
HPCA
2008
IEEE
14 years 6 months ago
Automated microprocessor stressmark generation
Estimating the maximum power and thermal characteristics of a processor is essential for designing its power delivery system, packaging, cooling, and power/thermal management sche...
Ajay M. Joshi, Lieven Eeckhout, Lizy Kurian John, ...
EMSOFT
2008
Springer
13 years 7 months ago
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
Manoranjan Satpathy, Anand Yeolekar, S. Ramesh