Sciweavers

1327 search results - page 230 / 266
» Data Dependent Circuit Design: A Case Study
Sort
View
EMSOFT
2006
Springer
15 years 9 months ago
New approach to architectural synthesis: incorporating QoS constraint
Embedded applications like video decoding, video streaming and those in the network domain, typically have a Quality of Service (QoS) requirement which needs to be met. Apart from...
Harsh Dhand, Basant Kumar Dwivedi, M. Balakrishnan
SCP
2010
155views more  SCP 2010»
15 years 4 months ago
Type inference and strong static type checking for Promela
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
Alastair F. Donaldson, Simon J. Gay
CGF
2010
146views more  CGF 2010»
15 years 6 months ago
Pathline: A Tool For Comparative Functional Genomics
Biologists pioneering the new field of comparative functional genomics attempt to infer the mechanisms of gene regulation by looking for similarities and differences of gene activ...
Miriah D. Meyer, Bang Wong, Mark P. Styczynski, Ta...
ASUNAM
2011
IEEE
14 years 6 months ago
MultiAspectForensics: Pattern Mining on Large-Scale Heterogeneous Networks with Tensor Analysis
—Modern applications such as web knowledge base, network traffic monitoring and online social networks have made available an unprecedented amount of network data with rich type...
Koji Maruhashi, Fan Guo, Christos Faloutsos
KDD
2004
ACM
171views Data Mining» more  KDD 2004»
16 years 6 months ago
Integrating Web Conceptual Modeling and Web Usage Mining
We present a case study about the application of the inductive database approach to the analysis of Web logs. We consider rich XML Web logs ? called conceptual logs ? that are gen...
Rosa Meo, Pier Luca Lanzi, Maristella Matera, Robe...