3330 search results - page 192 / 666 » software 2010 |
127
Voted
ENTCS
2002
15 years 2 months ago
2002
The need to model systems and their different aspects leads to research and development of models which support all views of a system. The growing complexity of the software impos...
131
Voted
IOT
2010
15 years 13 days ago
2010
Wireless Sensing and Radio Identification systems have undergone many innovations during the past years. This has led to short product lifetimes for both software and hardware comp...
127
Voted
APAL
2010
14 years 12 months ago
2010
The (effective) Suslin-Kleene Theorem is obtained as a corollary of a standard proof of the classical Suslin Theorem, by noticing that it is mostly constructive and applying to it...
138
click to vote
ENTCS
2010
14 years 12 months ago
2010
The cost of implementing syntactically distinct Domain Specific Languages (DSLs) can be reduced by homogeneously embedding them in a host language in cooperation with its compiler...
124
Voted
TCOM
2010
14 years 9 months ago
2010
The linear minimum-mean-square error (LMMSE) estimator is herein derived to estimate phase-noise of Levy statistics (including Wiener phase-noise) and of arbitrarily large magnitud...