7430 search results - page 329 / 1486 » Programming Applications in CIFF |
145
Voted
SYNASC
2005
IEEE
15 years 10 months 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...
120
click to vote
VRST
2005
ACM
15 years 10 months 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...
226
Voted
WCFLP
2005
ACM
15 years 10 months 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 ...
155
click to vote
PVM
2005
Springer
15 years 10 months 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...
134
click to vote
ZUM
2005
Springer
15 years 10 months 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...