7430 search results - page 782 / 1486 » Programming Applications in CIFF |
177
click to vote
ICCD
2002
IEEE
16 years 4 months ago
2002
IEEE
We describe a hardware and software platform for developing streaming applications. Programmers write stream programs in high-level languages, and a set of software tools maps the...
204
click to vote
ICCAD
2007
IEEE
16 years 4 months ago
2007
IEEE
Abstract— Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, differe...
205
click to vote
SOFSEM
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Smart play-out is a method for executing declarative scenariobased specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping t...
197
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
In this paper, we propose a new shape decomposition method, called convex shape decomposition. We formalize the convex decomposition problem as an integer linear programming probl...
200
click to vote
FASE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Though there has been nearly three decades of work on program slicing, there has been comparatively little work on slicing for state machines. One of the primary challeng...