Sciweavers

11214 search results - page 234 / 2243
» Programming Multi-agent Systems
Sort
View
CASES
2004
ACM
16 years 23 hour ago
Causality analysis of synchronous programs with delayed actions
Klaus Schneider, Jens Brandt, Tobias Schüle
IFIP
2004
Springer
15 years 12 months ago
Controller Synthesis for Probabilistic Systems
Christel Baier, Marcus Größer, Martin L...
IFIP
1992
Springer
15 years 10 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