Sciweavers

3179 search results - page 81 / 636
» Applications of PCF Theory
Sort
View
CONCUR
2003
Springer
14 years 2 months ago
A Compositional Semantic Theory for Synchronous Component-based Design
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
Barry Norton, Gerald Lüttgen, Michael Mendler
KI
2001
Springer
14 years 1 months ago
Theory and Practice of Time-Space Trade-Offs in Memory Limited Search
Having to cope with memory limitations is an ubiquitous issue in heuristic search. We present theoretical and practical results on new variants for exploring state-space with respe...
Stefan Edelkamp, Ulrich Meyer
WDAG
2001
Springer
122views Algorithms» more  WDAG 2001»
14 years 1 months ago
Computation Slicing: Techniques and Theory
We generalize the notion of slice introduced in our earlier paper [6]. A slice of a distributed computation with respect to a global predicate is the smallest computation that cont...
Neeraj Mittal, Vijay K. Garg
SIGCSE
1996
ACM
163views Education» more  SIGCSE 1996»
14 years 29 days ago
Database theory in practice: learning from cooperative group projects
lhis paper describes the use of cooperative group learning concepts in support of an undergraduate database mrtnagement course that emphasizes the theoretical and practical aspect...
Suzanne W. Dietrich, Susan Darling Urban
CIA
2006
Springer
14 years 17 days ago
Egalitarian Allocations of Indivisible Resources: Theory and Computation
We present a mechanism for collaboration and coordination amongst agents in multi-agent societies seeking social equity. This mechanism allows to compute egalitarian allocations of...
Paul-Amaury Matt, Francesca Toni