4722 search results - page 417 / 945 » Encoding Program Executions |
163
click to vote
FOAL
2008
ACM
15 years 8 months ago
2008
ACM
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
164
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
An algorithm M is described that solves any well-defined problem p as quickly as the fastest algorithm computing a solution to p, save for a factor of 5 and loworder additive term...
201
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
A product line is a family of programs where each program is defined by a unique combination of features. Product lines, like conventional programs, can be checked for safety prope...
269
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
The advent of Cloud computing platforms, and the growing pervasiveness of Multicore processor architectures have revealed the inadequateness of traditional programming models base...
197
click to vote
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...