4385 search results - page 679 / 877 » Abstraction for Concurrent Objects |
90
Voted
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Reducing resource usage is one of the most important optimization objectives in behavioral synthesis due to its direct impact on power, performance and cost. The datapat...
112
click to vote
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
Abstract. Many parallel scienti c applications have dynamic and irregular computational structure. However, most such applications exhibit persistence of computational load and com...
101
Voted
COMPGEOM
2001
ACM
15 years 3 months ago
2001
ACM
This presentation illustrates examples of my geometric sculpture and outlines certain design techniques. I apply methods from the field of computational geometry to the creation o...
98
Voted
LICS
1991
IEEE
15 years 3 months ago
1991
IEEE
We present an elementary axiomatisation of synthetic domain theory and show that it is sufficient to deduce the fixed point property and solve domain equations. Models of these a...
78
Voted
SCA
2007
15 years 2 months ago
2007
We present a novel skinned skeletal animation system based on spline-aligned deformations for providing high quality and fully designable deformations in real-time. Our ambition i...