7430 search results - page 329 / 1486 » Programming Applications in CIFF |
170
click to vote
SYNASC
2005
IEEE
16 years 7 days ago
2005
IEEE
In this paper we apply integer programming (IP) based techniques to the problem of delay balancing in wave-pipelined circuits. The proposed approach considers delays, as well as f...
148
click to vote
VRST
2005
ACM
16 years 7 days ago
2005
ACM
Inverse Kinematics (IK) is a popular technique for synthesizing motions of virtual characters. In this paper, we propose a Linear Programming based IK solver (LPIK) for interactiv...
263
click to vote
WCFLP
2005
ACM
16 years 7 days ago
2005
ACM
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...
180
click to vote
PVM
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper presents P2P-MPI, a middleware aimed at computational grids. From the programmer point of view, P2P-MPI provides a message-passing programming model which enab...
158
click to vote
ZUM
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...