481 search results - page 83 / 97 » Scalable Matching of Industry Models - a Case Study |
ICC
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper, we study the fundamental properties of broadcasting in multi-hop wireless networks. Previous studies have shown that, as long as broadcast capacity is concerned, asy...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
ive CLP® ABSTRACT Ali A. Milani Broadband speech enhancement and active noise control nvironment ABSTRACT Vanishree Gopalakrishna Real-Time Implementation of Signal Processing Str...
VLDB
2007
ACM
14 years 8 months ago
2007
ACM
Low-latency and high-throughput processing are key requirements of data stream management systems (DSMSs). Hence, multi-core processors that provide high aggregate processing capa...
SPLC
2010
13 years 6 months ago
2010
Product line engineering allows for the rapid development of variants of a domain specific application by using a common set of reusable assets often known as core assets. Variabil...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...