Sciweavers

6395 search results - page 1110 / 1279
» Searching for Interacting Features
Sort
View
CHARME
2003
Springer
196views Hardware» more  CHARME 2003»
15 years 10 months ago
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, K...
DIGRA
2003
Springer
15 years 10 months ago
Player Character Design Facilitating Emotional Depth in MMORPGs
How can we create computer games facilitating emotional depth in the playing experience? When entering into a persistent virtual game world the player leaves the body behind. It i...
Mirjam Eladhari, Craig A. Lindley
125
Voted
GPCE
2003
Springer
15 years 10 months ago
A Case for Test-Code Generation in Model-Driven Systems
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
Matthew J. Rutherford, Alexander L. Wolf
ICMI
2003
Springer
99views Biometrics» more  ICMI 2003»
15 years 10 months ago
Selective perception policies for guiding sensing and computation in multimodal systems: a comparative analysis
Intensive computations required for sensing and processing perceptual information can impose significant burdens on personal computer systems. We explore several policies for sel...
Nuria Oliver, Eric Horvitz
DATE
2010
IEEE
153views Hardware» more  DATE 2010»
15 years 9 months ago
Taming the component timing: A CBD methodology for real-time embedded systems
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
Manoj G. Dixit, Pallab Dasgupta, S. Ramesh
« Prev « First page 1110 / 1279 Last » Next »