Sciweavers

11214 search results - page 234 / 2243
» Programming Multi-agent Systems
Sort
View
CASES
2004
ACM
16 years 8 days ago
Causality analysis of synchronous programs with delayed actions
Klaus Schneider, Jens Brandt, Tobias Schüle
IFIP
2004
Springer
16 years 6 days ago
Controller Synthesis for Probabilistic Systems
Christel Baier, Marcus Größer, Martin L...
IFIP
1992
Springer
15 years 11 months ago
Implementations of IF-statements in the TODOS microarchitecture synthesis system
In microarchitecure synthesis, early algorithms considered only a single implementation technique for IF -statements. Focus was on scheduling and on maximum hardware sharing. In t...
Peter Marwedel
CORR
2011
Springer
150views Education» more  CORR 2011»
15 years 1 months ago
Program Optimization Based Pointer Analysis and Live Stack-Heap Analysis
In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap ana...
Mohamed A. El-Zawawy
ENTCS
2007
113views more  ENTCS 2007»
15 years 6 months ago
Quantum Programming With Mixed States
d abstract) Paolo Zuliani 1 Department of Computer Science Princeton University Princeton, NJ 08544, USA In this paper we offer a programming approach to quantum computation usin...
Paolo Zuliani