2016 search results - page 13 / 404 » Megamaps: Construction and Examples |
WSC
2000
13 years 9 months ago
2000
This paper discusses Simphony as an integrated environment for building special purpose simulation tools for modeling construction systems. Simphony provides various services that...
WSC
1996
13 years 9 months ago
1996
Construction operations are often repetitive not only in terms of time (the same tasks are performed over and over) but also in terms of space (the same tasks are repeated at seve...
ENTCS
2008
13 years 8 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Nested codes have been employed in a large number of communication applications as a specific case of superposition codes, for example to implement binning schemes in the presence ...
HICSS
1994
IEEE
14 years 17 days ago
1994
IEEE
The messiahs project is investigating mechanisms that support task placement in heterogeneous, distributed, autonomous systems. messiahs provides a substrate on which scheduling a...