26151 search results - page 78 / 5231 » Parameterized system design |
146
Voted
ISCAS
1999
IEEE
15 years 9 months ago
1999
IEEE
High-level power design presents a complex, multiobjective problem that involves the simultaneous optimisation of competing criteria such as speed, area and power. It is difficult...
144
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
CODES
1999
IEEE
15 years 9 months ago
1999
IEEE
146
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
We are exploring techniques for animation authoring and editing using a haptic force-feedback device. In our system, a family of animations is encoded by a bundle of trajectories....