8766 search results - page 1502 / 1754 » Functional logic programming |
134
Voted
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existe...
122
click to vote
SENSYS
2005
ACM
15 years 9 months ago
2005
ACM
We consider configuration of wireless sensor networks, where certain functions must be automatically assigned to sensor nodes, such that the properties of a sensor node (e.g., rem...
114
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Overlay networks are an important kind of P2P infrastructures. The range of applications and requirements is broad. Consequently, our research objective are overlay netwo...
144
Voted
EDCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
112
Voted
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
A union-find data structure maintains a collection of disjoint sets under makeset, union and find operations. Kaplan, Shafrir and Tarjan [SODA 2002] designed data structures for ...