1051 search results - page 69 / 211 » Toward Team-Oriented Programming |
ICFP
2003
ACM
14 years 8 months ago
2003
ACM
Under the widely believed conjecture P=NP, NP-complete problems cannot be solved exactly using efficient polynomial time algorithms. Furthermore, any instance of a NP-complete pro...
ESOP
2005
Springer
14 years 1 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
ASPLOS
2012
ACM
12 years 3 months ago
2012
ACM
The rise of multi-core processors has shifted performance efforts towards parallel programs. However, single-threaded code, whether from legacy programs or ones difficult to para...
ISW
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. While code obfuscation attempts to hide certain characteristics of a program independently of an application, white-box cryptography (WBC) specifically focuses on softwa...
PETRA
2009
ACM
14 years 2 months ago
2009
ACM
Due to the increasing elderly population, healthcare systems able to promote independent living are regarded as an emerging market. Despite the significant advances aiming to supp...