1536 search results - page 243 / 308 » The Underlying Logic of Hoare Logic |
180
click to vote
ISLPED
2005
ACM
15 years 11 months ago
2005
ACM
This work first presents an analytical repeater insertion method which optimizes power under delay constraint for a single net. This method finds the optimal repeater insertion ...
138
click to vote
MINENET
2005
ACM
15 years 11 months ago
2005
ACM
Faults in an IP network have various causes such as the failure of one or more routers at the IP layer, fiber-cuts, failure of physical elements at the optical layer, or extraneo...
137
click to vote
ASIAN
2005
Springer
15 years 11 months ago
2005
Springer
Replication on geographically distributed, unreliable, P2P interconnecting nodes can offer high data availability and low network latency for replica access. The challenge is how ...
168
click to vote
CIKM
2005
Springer
15 years 11 months ago
2005
Springer
Faced with growing knowledge management needs, enterprises are increasingly realizing the importance of seamlessly integrating critical business information distributed across bot...
169
click to vote
GPCE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...