5550 search results - page 944 / 1110 » Different Approaches to Proof Systems |
159
click to vote
IPPS
2007
IEEE
16 years 27 days 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 ...
186
click to vote
IPPS
2007
IEEE
16 years 27 days 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...
186
click to vote
IROS
2007
IEEE
16 years 27 days 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...
193
click to vote
ISQED
2007
IEEE
16 years 27 days 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...
193
click to vote
RTAS
2007
IEEE
16 years 27 days 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...