7430 search results - page 329 / 1486 » Programming Applications in CIFF |
194
click to vote
SYNASC
2005
IEEE
16 years 27 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...
168
click to vote
VRST
2005
ACM
16 years 26 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...
290
click to vote
WCFLP
2005
ACM
16 years 26 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 ...
203
click to vote
PVM
2005
Springer
16 years 24 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...
172
click to vote
ZUM
2005
Springer
16 years 24 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...