26 search results - page 2 / 6 » Solution of separation-network synthesis problems by the P-g... |
FOSSACS
2009
Springer
14 years 2 days ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
ICCAD
2002
IEEE
14 years 2 months ago
2002
IEEE
As the scale of system integration continues to grow, the on-chip communication becomes the ultimate bottleneck of system performance and the primary determinant of system archite...
ISSS
1997
IEEE
13 years 9 months ago
1997
IEEE
Integer Linear Programming ILP is commonly used in high level and system level synthesis. It is an NP-Complete problem in general cases . There exists some tools that give an o...
ICRA
2008
IEEE
13 years 11 months ago
2008
IEEE
— Assume a swarm of mobile robots is in the act of transporting a large object in the plane, by applying unilateral forces to the perimeter of that object. We address the questio...
ASPDAC
2005
ACM
13 years 7 months ago
2005
ACM
- To date, most high-level synthesis systems do not automatically solve present design problems, such as those related to timing associated with the physical implementation of mult...