5451 search results - page 735 / 1091 » Typed Operational Semantics |
170
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
191
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Graphics processor units are fast, inexpensive parallel computing devices. Recently there has been great interest in harnessing this power for various types of scientific comp...
167
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
—Evolutionary gradient search is a hybrid algorithm that exploits the complementary features of gradient search and evolutionary algorithm to achieve a level of efficiency and r...
186
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Compositional Scheduling Analysis couples local scheduling analysis via event streams. While local analysis has successfully been extended to include hierarchical scheduling strat...
232
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Game theory has been a useful tool for the analysis of random-access based wireless networks due to their decentralized operations. This paper studies one of the most widely use...