Sciweavers

CORR
2002
Springer
96views Education» more  CORR 2002»
13 years 4 months ago
Soft Concurrent Constraint Programming
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
CORR
2002
Springer
100views Education» more  CORR 2002»
13 years 4 months ago
Making Abstract Domains Condensing
Roberto Giacobazzi, Francesco Ranzato, Francesca S...
CORR
2002
Springer
104views Education» more  CORR 2002»
13 years 4 months ago
Design Patterns for Functional Strategic Programming
We believe that design patterns can be an effective means of consolidating and communicating program construction expertise for functional programming, just as they have proven to...
Ralf Lämmel, Joost Visser
CORR
2002
Springer
96views Education» more  CORR 2002»
13 years 4 months ago
The Sketch of a Polymorphic Symphony
In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific ...
Ralf Lämmel
CORR
2002
Springer
71views Education» more  CORR 2002»
13 years 4 months ago
Towards Generic Refactoring
Ralf Lämmel
CORR
2002
Springer
93views Education» more  CORR 2002»
13 years 4 months ago
Logic program specialisation through partial deduction: Control issues
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
Michael Leuschel, Maurice Bruynooghe
CORR
2002
Springer
91views Education» more  CORR 2002»
13 years 4 months ago
Minimum-Energy Mobile Wireless Networks Revisited
We propose a protocol that, given a communication network, computes a subnetwork such that, for every pair
Erran L. Li, Joseph Y. Halpern
CORR
2002
Springer
108views Education» more  CORR 2002»
13 years 4 months ago
Analysis of a Cone-Based Distributed Topology Control Algorithm for Wireless Multi-hop Networks
Erran L. Li, Joseph Y. Halpern, Paramvir Bahl, Yi-...
CORR
2002
Springer
98views Education» more  CORR 2002»
13 years 4 months ago
Fast optical layer mesh protection using pre-cross-connected trails
Conventional optical networks are based on SONET rings, but since rings are known to use bandwidth inefficiently, there has been much research into shared mesh protection, which pr...
Timothy Y. Chow, Fabián A. Chudak, Anthony ...