2451 search results - page 200 / 491 » The Octagon Abstract Domain |
205
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Benchmarking algorithms in structural bioinformatics often involves the construction of datasets of proteins with given sequence and structural properties. The SCOP da...
203
click to vote
MONET
2006
15 years 7 months ago
2006
Abstract This paper proposes efficient resource allocation techniques for a policy-based wireless/wireline interworking architecture, where quality of service (QoS) provisioning an...
194
click to vote
GPCE
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Domain-Specific Languages (DSLs) represent a proven approach to raising the abstraction level of programming. They offer highlevel constructs and notations dedicated to...
170
click to vote
DAC
2004
ACM
16 years 8 months ago
2004
ACM
Fast and accurate estimation is critical for exploration of any dece in general. As we move to higher levels of abstraction, on of complete system designs at each level of abstrac...
195
click to vote
MOBIHOC
2008
ACM
16 years 6 months ago
2008
ACM
ization of domain-specific programming abstractions for wireless sensor actor networks can greatly ease application development. A high level of abstraction from underlying system...