4647 search results - page 606 / 930 » Analysis and design of OFDM-IDMA systems |
186
click to vote
ICFEM
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
190
click to vote
CASES
2003
ACM
16 years 2 days ago
2003
ACM
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the po...
178
click to vote
JUCS
2008
15 years 6 months ago
2008
: Market Surveillance plays important mechanism roles in constructing market models. From data analysis perspective, we view it valuable for smart trading in designing legal and pr...
188
click to vote
HYBRID
2003
Springer
16 years 20 hour ago
2003
Springer
s of Invited Presentations The Mathematics of Matter and the Mathematics of Mind . . . . . . . . . . . . . 1 David Berlinski A Grand Challenge: Full Reactive Modeling of a Multi-ce...
176
click to vote
EUROSYS
2008
ACM
16 years 3 months ago
2008
ACM
When computer systems are compromised by an attack, it is difficult to determine the precise extent of the damage caused by the attack because the state changes made by an attack...