3891 search results - page 742 / 779 » Toward nature-inspired computing |
165
click to vote
PLDI
2009
ACM
16 years 19 days ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
168
click to vote
RTAS
2009
IEEE
16 years 17 days ago
2009
IEEE
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...
166
click to vote
ICST
2009
IEEE
16 years 15 days ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
173
click to vote
INFOCOM
2009
IEEE
16 years 15 days ago
2009
IEEE
—Network coding is a method that promises to achieve the min-cut capacity in multicasts. However, pushing towards this gain in throughput comes with two sacrifices. Delay suffer...
181
click to vote
ISCA
2009
IEEE
16 years 15 days ago
2009
IEEE
With the shift towards chip multiprocessors (CMPs), exploiting and managing parallelism has become a central problem in computer systems. Many issues of parallelism management boi...