Sciweavers

77016 search results - page 690 / 15404
» Modelling
Sort
View
ASPDAC
2006
ACM
133views Hardware» more  ASPDAC 2006»
16 years 1 months ago
An SPU reference model for simulation, random test generation and verification
– An instruction set level reference model was developed for the development of synergistic processing unit (SPU) , which is one of the key components of the cell processor [1][2...
Yukio Watanabe, Balazs Sallay, Brad W. Michael, Da...
ASPDAC
2006
ACM
113views Hardware» more  ASPDAC 2006»
16 years 1 months ago
Transition-based coverage estimation for symbolic model checking
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Take...
DOLAP
2006
ACM
16 years 1 months ago
Research in data warehouse modeling and design: dead or alive?
Multidimensional modeling requires specialized design techniques. Though a lot has been written about how a data warehouse should be designed, there is no consensus on a design me...
Stefano Rizzi, Alberto Abelló, Jens Lechten...
199
Voted
ACISICIS
2005
IEEE
16 years 1 months ago
Modeling Uncertainty in Context-Aware Computing
Uncertainty always exists as an unavoidable factor in any pervasive context-aware applications. This is mostly caused by the imperfectness and incompleteness of data. In this pape...
Binh An Truong, Young-Koo Lee, Sungyoung Lee
209
Voted
AICT
2005
IEEE
115views Communications» more  AICT 2005»
16 years 1 months ago
Models for the Supervision of Web Services Orchestration with Dynamic Changes
Programming on the Web enlights some classical problems encountered on large distributed applications with a particular emphasis on dynamic changes. In that context, we are intere...
Thomas Chatain, Claude Jard
« Prev « First page 690 / 15404 Last » Next »