5550 search results - page 944 / 1110 » Different Approaches to Proof Systems |
178
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
The processing power and memory capacity of independent and heterogeneous parallel machines can be combined to form a single parallel system that is more powerful than any of its ...
207
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
In today’s large and complex network scenario vulnerability scanners play a major role from security perspective by proactively identifying the known security problems or vulner...
213
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— In an effort to ease the burden of programming motor commands for humanoid robots, a computer vision technique is developed for converting a monocular video sequence of human p...
216
click to vote
ISQED
2007
IEEE
16 years 1 months ago
2007
IEEE
Due to the roaring power dissipation and gaining popularity of 3D integration, thermal dissipation has been a critical concern of modern VLSI design. The availability for chip-lev...
216
click to vote
RTAS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper discusses an approach for supporting soft realtime periodic tasks in Linux on performance asymmetric multicore platforms (AMPs). Such architectures consist of a large n...