4940 search results - page 667 / 988 » On the Complexity of Universal Programs |
186
click to vote
ICSE
2007
IEEE-ACM
16 years 24 days ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
185
click to vote
ILP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Despite the considerable success of Inductive Logic Programming, deployed ILP systems still have efficiency problems when applied to complex problems. Several techniques ...
148
click to vote
ICSEA
2006
IEEE
16 years 20 days ago
2006
IEEE
The construction and maintenance of large and complex software systems depend on the existence of global principles describing the structure and the interaction among its various ...
162
Voted
KBSE
2006
IEEE
16 years 20 days ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
158
click to vote
MICRO
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper presents and studies a distributed L2 cache management approach through OS-level page allocation for future many-core processors. L2 cache management is a crucial multi...