Sciweavers

2608 search results - page 255 / 522
» Subjects, Models, Languages, Transformations
Sort
View
DAC
2006
ACM
16 years 17 days ago
SystemC transaction level models and RTL verification
This paper describes how systems companies are adopting SystemC transaction level models for system on chip design and verification, and how these transaction level models are bei...
Stuart Swan
MIR
2003
ACM
130views Multimedia» more  MIR 2003»
15 years 12 months ago
Multimedia modeling using MPEG-7 for authoring multimedia integration
In this paper, we describe an approach to audiovisual data modeling for multimedia integration and synchronization. The approach chosen consists in using description tools from Mu...
Tran-Thuong Tien, Cécile Roisin
EICS
2009
ACM
15 years 10 months ago
Flexible and efficient platform modeling for distributed interactive systems
Distributed interactive systems often rely on platform information, used for example when migrating a user interface to a small-screen device, or when opportunistically recruiting...
Xiao Feng Qiu, T. C. Nicholas Graham
WWW
2011
ACM
15 years 1 months ago
Investigating topic models for social media user recommendation
This paper presents a user recommendation system that recommends to a user new friends having similar interests. We automatically discover users’ interests using Latent Dirichle...
Marco Pennacchiotti, Siva Gurumurthy
ICFP
2009
ACM
16 years 7 months ago
Parallel concurrent ML
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
John H. Reppy, Claudio V. Russo, Yingqi Xiao