Sciweavers

1829 search results - page 68 / 366
» Towards Validation of Requirements Models
Sort
View
CGO
2010
IEEE
15 years 6 months ago
Towards program optimization through automated analysis of numerical precision
Reducing the arithmetic precision of a computation has real performance implications, including increased speed, decreased power consumption, and a smaller memory footprint. For s...
Michael D. Linderman, Matthew Ho, David L. Dill, T...
ECOWS
2006
Springer
15 years 3 months ago
The NExT Process Workbench: Towards the Support of Dynamic Semantic Web Processes
Traditional process support systems offer the promise of software assembled from service elements. The typical approach is a static composition of atomic processes to more powerfu...
Abraham Bernstein, Michael Dänzer
EUROPAR
2010
Springer
15 years 29 days ago
Toward Real-Time, Many-Task Applications on Large Distributed Systems
In the age of Grid, Cloud, volunteer computing, massively parallel applications are deployed over tens or hundreds of thousands of resources over short periods of times to complete...
Sangho Yi, Derrick Kondo, David P. Anderson
ICRA
2010
IEEE
147views Robotics» more  ICRA 2010»
14 years 10 months ago
Towards One Shot Learning by imitation for humanoid robots
— Teaching a robot to learn new knowledge is a repetitive and tedious process. In order to accelerate the process, we propose a novel template-based approach for robot arm moveme...
Yan Wu, Yiannis Demiris
ASPDAC
2010
ACM
137views Hardware» more  ASPDAC 2010»
14 years 10 months ago
Improved on-chip router analytical power and area modeling
Over the course of this decade, uniprocessor chips have given way to multi-core chips which have become the primary building blocks of today's computer systems. The presence o...
Andrew B. Kahng, Bill Lin, Kambiz Samadi