Sciweavers

294 search results - page 24 / 59
» Innovization: innovating design principles through optimizat...
Sort
View
SAS
2010
Springer
262views Formal Methods» more  SAS 2010»
13 years 6 months ago
Concurrent Separation Logic for Pipelined Parallelization
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
Christian J. Bell, Andrew W. Appel, David Walker
ACII
2007
Springer
14 years 14 days ago
Affective Text Variation and Animation for Dynamic Advertisement
Abstract. The largest part of the advertising market is already electronic. This means there is an opportunity for automatizing some of the production processes, such as producing ...
Carlo Strapparava, Alessandro Valitutti, Oliviero ...
ICPPW
2007
IEEE
14 years 2 months ago
Power Management of Multicore Multiple Voltage Embedded Systems by Task Scheduling
We study the role of task-level scheduling in power management on multicore multiple voltage embedded systems. Multicore on-achip, in particular DSP systems, can greatly improve p...
Gang Qu
CHI
2008
ACM
14 years 8 months ago
AutoCardSorter: designing the information architecture of a web site using latent semantic analysis
In this paper, we describe an innovative tool that supports the design and evaluation of the information architecture of a Web site. The tool uses Latent Semantic Analysis and hie...
Christos Katsanos, Nikolaos K. Tselios, Nikolaos M...
IJCSS
2006
67views more  IJCSS 2006»
13 years 8 months ago
Recursive Filter Design for Estimating Time Varying Multijoint Human Arm Viscoelasticity
The time varying human multijoint arm dynamics can be modeled by two factors, simplified musculoskeletal dynamics and the uncertainty factor consisting of measurement noises and m...
Mingcong Deng, Akira Inoue, Hiroaki Gomi, Yoichi H...