1396 search results - page 168 / 280 » DATES: Design Analysis Tool for Enterprise Systems |
170
click to vote
GLOBECOM
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract—In this contribution we present a numerical approach to evaluate the bit error rate and mutual information of OFDM links affected by transmitter nonlinearities, phase no...
149
click to vote
RE
1999
Springer
15 years 10 months ago
1999
Springer
Developing requirements for software components, and ensuring these requirements are met by component designs, is very challenging, as very often application domain and stakeholde...
166
click to vote
VLDB
1999
ACM
15 years 10 months ago
1999
ACM
stract This panel addresses a very important area that is often neglected or overlooked by database systems, database applications developers and data warehouse designers, namely s...
174
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
200
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...