Sciweavers

2328 search results - page 182 / 466
» Component Frameworks - A Case Study
Sort
View
AFP
1995
Springer
128views Formal Methods» more  AFP 1995»
15 years 9 months ago
Monads for Functional Programming
Abstract. The use of monads to structure functional programs is described. Monads provide a convenient framework for simulating effects found in other languages, such as global st...
Philip Wadler
160
Voted
AAAI
2004
15 years 7 months ago
Collapsibility and Consistency in Quantified Constraint Satisfaction
The concept of consistency has pervaded studies of the constraint satisfaction problem. We introduce two concepts, which are inspired by consistency, for the more general framewor...
Hubie Chen
GLVLSI
2010
IEEE
296views VLSI» more  GLVLSI 2010»
15 years 6 months ago
AOP-based high-level power estimation in SystemC
The paper presents a novel high-level power modeling and estimation framework. The approach is based on a synergic integration of aspect-oriented programming(AOP) and SystemC. Mac...
Feng Liu, QingPing Tan, Xiaoyu Song, Naeem Abbasi
JSYML
2002
66views more  JSYML 2002»
15 years 5 months ago
Open Questions in The Theory of Spaces of Orderings
f orderings provide an abstract framework in which to study spaces of orderings of formally real fields. Spaces of orderings of finite chain length are well understood [9] [12]. Th...
Murray A. Marshall
WIOPT
2010
IEEE
15 years 4 months ago
Stochastic modeling of carrier sensing based cognitive radio networks
In this paper, we propose a comprehensive probabilistic framework which can be used to model and analyze cognitive radio (CR) network using carrier sensing (CS) based multiple acc...
Nguyen Tien Viet, François Baccelli