460 search results - page 78 / 92 » RTL-Datapath Verification using Integer Linear Programming |
RTCSA
2008
IEEE
14 years 1 months ago
2008
IEEE
Real-time systems typically have to satisfy complex requirements, mapped to the task attributes, eventually guaranteed by the underlying scheduler. These systems consist of a mix ...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a methodology for generating optimized architectures for data bandwidth constrained extensible processors. We describe a scalable Integer Linear Programming (ILP) formu...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper addresses the problem of inter-domain QoS routing. We propose a solution based on virtual-trunk type aggregates corresponding to Service Level Agreements (SLA) for d...
ICESS
2007
Springer
14 years 27 days ago
2007
Springer
The performance of existing adders varies widely in their speed and area requirements, which in turn sometimes makes designers pay a high cost in area especially when the delay req...
MSN
2007
Springer
14 years 26 days ago
2007
Springer
Success of Wireless Sensor Networks largely depends whether the deployed network can provide desired coverage with acceptable network lifetime. This paper proposes a distributed pr...