Sciweavers

1361 search results - page 7 / 273
» Spaces of practice
Sort
View
PEPM
2007
ACM
14 years 4 months ago
Poly-controlled partial evaluation in practice
Poly-Controlled Partial Evaluation (PCPE) is a powerful approach to partial evaluation, which has recently been proposed. PCPE takes into account sets of control strategies instea...
Claudio Ochoa, Germán Puebla
POPL
1997
ACM
14 years 2 months ago
Pizza into Java: Translating Theory into Practice
Pizza is a strict superset of Java that incorporates three ideas from the academic community: parametric polymorphism, higher-order functions, and algebraic data types. Pizza is d...
Martin Odersky, Philip Wadler
FMICS
2008
Springer
13 years 11 months ago
Fighting State Space Explosion: Review and Evaluation
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different appr...
Radek Pelánek
CSCW
2004
ACM
13 years 9 months ago
Ordering Systems: Coordinative Practices and Artifacts in Architectural Design and Planning
In their cooperative effort, architects depend critically on elaborate coordinative practices and artifacts. The article presents, on the basis of an in-depth study of architectura...
Kjeld Schmidt, Ina Wagner
GLOBECOM
2008
IEEE
14 years 4 months ago
A Supervised Learning Approach to Adaptation in Practical MIMO-OFDM Wireless Systems
—MIMO-OFDM wireless systems require adaptive modulation and coding based on channel state information (CSI) to maximize throughput in changing wireless channels. Traditional adap...
Robert C. Daniels, Constantine Caramanis, Robert W...