1403 search results - page 22 / 281 » Quantitative Interprocedural Analysis |
109
Voted
ASP
2005
Springer
15 years 4 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...
88
Voted
ACSAC
2004
IEEE
15 years 2 months 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...
108
click to vote
GECCO
2007
Springer
15 years 19 days 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...
83
Voted
EVOW
2008
Springer
15 years 18 days 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...
81
Voted
USENIX
1994
15 years 5 days 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...