10072 search results - page 399 / 2015 » Composition of Model Programs |
174
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a Game Semantics where strategies are partial orders, and composition is a generalization of the merging of orders. Building on this, to bridge between Game Semantics ...
182
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Establishing robust communications in the presence of Doppler rate is a requirement for several waveforms such as SATCOM and HF. In this paper, we motivate the need to model Dop...
152
click to vote
IEEEPACT
2007
IEEE
16 years 1 months ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
207
click to vote
VMCAI
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...
156
click to vote
CONCUR
2004
Springer
16 years 6 days ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...