9974 search results - page 1320 / 1995 » Software Interconnection Models |
169
click to vote
CGO
2009
IEEE
16 years 2 months ago
2009
IEEE
—Register allocation is an important component of every compiler and numerous studies have investigated ways to improve allocation quality or reduce allocation time. However, tec...
192
click to vote
ISPASS
2009
IEEE
16 years 2 months ago
2009
IEEE
Insights into branch predictor organization and operation can be used in architecture-aware compiler optimizations to improve program performance. Unfortunately, such details are ...
163
click to vote
FASE
2009
Springer
16 years 2 months ago
2009
Springer
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
186
click to vote
TASE
2009
IEEE
16 years 2 months ago
2009
IEEE
Retrenchment is a framework that allows relatively unrestricted system evolution steps to be described in a way that gives an evolution step some formal content — unlike model b...
188
click to vote
TASE
2009
IEEE
16 years 2 months ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...