Sciweavers

873 search results - page 72 / 175
» E-voting: Dependability Requirements and Design for Dependab...
Sort
View
WWW
2006
ACM
16 years 6 months ago
GIO: a semantic web application using the information grid framework
It is well understood that the key for successful Semantic Web applications depends on the availability of machine understandable meta-data. We describe the Information Grid, a pr...
Omar Alonso, Sandeepan Banerjee, Mark Drake
ICSE
2003
IEEE-ACM
16 years 6 months ago
Sound Methods and Effective Tools for Engineering Modeling and Analysis
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
David Coppit, Kevin J. Sullivan
ICCD
2004
IEEE
149views Hardware» more  ICCD 2004»
16 years 3 months ago
Adaptive Selection of an Index in a Texture Cache
For a specified application, there is an opportunity to improve cache performance by smart choosing of index bits of a cache. A texture cache for texture mapping of 3D computer gr...
Chun-Ho Kim, Lee-Sup Kim
ICCAD
2007
IEEE
86views Hardware» more  ICCAD 2007»
16 years 3 months ago
Stimulus generation for constrained random simulation
Constrained random simulation is the main workhorse in today’s hardware verification flows. It requires the random generation of input stimuli that obey a set of declaratively...
Nathan Kitchen, Andreas Kuehlmann
CVPR
2010
IEEE
16 years 1 months ago
Geo-location estimation from two shadow trajectories
The position of a world point’s solar shadow depends on its geographical location, the geometrical relationship between the orientation of the sunshine and the ground plane wher...
Lin Wu, Xiaochun Cao