1403 search results - page 22 / 281 » Quantitative Interprocedural Analysis |
ASP
2005
Springer
14 years 2 months ago
2005
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
ACSAC
2004
IEEE
14 years 17 days ago
2004
IEEE
1 A number of recent applications have been built on distributed hash tables (DHTs) based overlay networks. Almost all DHT-based schemes employ a tight deterministic data placement...
GECCO
2007
Springer
13 years 10 months ago
2007
Springer
In autonomous agent systems, memory is an important element to handle agent behaviors appropriately. We present the analysis of memory requirements for robotic tasks including wal...
EVOW
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Many efforts have been involved in association study of quantitative phenotypes and expressed genes. The key issue is how to efficiently identify phenotype-associated gen...
USENIX
1994
13 years 10 months ago
1994
With the advent and subsequent popularity of portable computers, power management of system components has become an important issue. Current portable computers implement a number...