21430 search results - page 151 / 4286 » Abstract Effective Models |
164
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
161
click to vote
VTC
2008
IEEE
16 years 22 days ago
2008
IEEE
Abstract—This paper studies the effect of Multiple access interference (MAI) on the performance of coded FHSS systems. This is achieved by modelling the physical channel in these...
143
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
182
click to vote
JISE
2008
15 years 6 months ago
2008
abstract the state-based behavior of AOP program with the consideration of the interactions between the base modules and aspects. Based on the model, test cases can be derived so a...
180
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
ion of Assembler Programs for Symbolic Worst Case Execution Time Analysis Tobias Schuele Tobias.Schuele@informatik.uni-kl.de Klaus Schneider Klaus.Schneider@informatik.uni-kl.de Re...