1027 search results - page 163 / 206 » Callgraph properties of executables |
146
click to vote
IADIS
2004
15 years 5 months ago
2004
Nowadays, wearable devices, such as mobile phones, PDAs, etc. gain widespread popularity for communication and data exchange. Consequently, several approaches investigate the prob...
143
click to vote
IJIT
2004
15 years 5 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
123
click to vote
FLAIRS
2003
15 years 5 months ago
2003
This paper presents the Incremental Breakout Algorithm with Variable Ordering (IncBA). This algorithm belongs to the class of local search algorithms for solving Constraint Satisf...
133
click to vote
OSDI
2000
ACM
15 years 5 months ago
2000
ACM
In current multiprogrammed multiprocessor systems, to take into account the performance of parallel applications is critical to decide an efficient processor allocation. In this pa...
142
click to vote
AAAI
2008
15 years 5 months ago
2008
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...