806 search results - page 150 / 162 » An Architecture and a Process for Implementing Distributed C... |
DAC
2006
ACM
14 years 10 months ago
2006
ACM
Scheduling plays a central role in the behavioral synthesis process, which automatically compiles high-level specifications into optimized hardware implementations. However, most ...
TAICPART
2006
IEEE
14 years 3 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
INFOCOM
2002
IEEE
14 years 1 months ago
2002
IEEE
— We consider the problem of distributing high-quality video signals over IP multicast in large Local Area Networks (LANs), under realtime delay constraints, and with software-on...
CPE
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Several tools have been developed for the estimation of software reliability. However, they are highly specialized in the approaches they implement and the particular pha...
ATAL
2007
Springer
13 years 10 months ago
2007
Springer
Referral networks are a kind of P2P system consisting of autonomous agents who seek, provide services, or refer other service providers. Key applications include service discovery...