4488 search results - page 507 / 898 » Properties of NP-Complete Sets |
213
click to vote
IISWC
2009
IEEE
16 years 2 months ago
2009
IEEE
—In the era of multi-core, computer vision has emerged as an exciting application area which promises to continue to drive the demand for both more powerful and more energy effi...
239
click to vote
IMC
2006
ACM
16 years 1 months ago
2006
ACM
Understanding the characteristics of the Internet delay space (i.e., the all-pairs set of static round-trip propagation delays among edge networks in the Internet) is important fo...
209
click to vote
FOSSACS
2005
Springer
16 years 1 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
206
click to vote
VSTTE
2005
Springer
16 years 1 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
219
click to vote
MAS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is an important aspec...