Sciweavers

2065 search results - page 291 / 413
» Using Architectural Models at Runtime: Research Challenges
Sort
View
159
Voted
WSC
2004
15 years 6 months ago
Resolving Mutually Exclusive Interactions in Agent Based Distributed Simulations
With the properties of autonomy, social ability, reactivity and pro-activeness, agents can be used to represent entities in distributed simulations, where fast and accurate decisi...
Lihua Wang, Stephen John Turner, Fang Wang
159
Voted
PDPTA
1996
15 years 6 months ago
Document Retrieval Performance on Parallel Systems
The problem of eciently retrieving and ranking documents from a huge collection according to their relevance to a research topic is addressed. A broad class of queries is de ned a...
David Hawking
DAC
2004
ACM
16 years 5 months ago
A SAT-based algorithm for reparameterization in symbolic simulation
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening
FGCN
2008
IEEE
144views Communications» more  FGCN 2008»
15 years 11 months ago
A Novel Approach for Infrastructure Deployment for VANET
In last decade intelligent transportation systems (ITS) and vehicular ad hoc network (VANET) became one of the most active and emerging fields of research. It is expected that thi...
Une Thoing Rosi, Chowdhury Sayeed Hyder, Tai-hoon ...
MONET
2008
123views more  MONET 2008»
15 years 4 months ago
Preserving Avatar Genuineness in Different Display Media
Our research focuses on enabling users to interact with others using 3D avatars with the same appearance and personality in different media such as the Internet, SMS or television ...
Maria del Puy Carretero, David Oyarzun, Amalia Ort...