Sciweavers

2546 search results - page 297 / 510
» Designing the Future
Sort
View
ASAP
2004
IEEE
140views Hardware» more  ASAP 2004»
15 years 11 months ago
Decimal Floating-Point Division Using Newton-Raphson Iteration
Decreasing feature sizes allow additional functionality to be added to future microprocessors to improve the performance of important application domains. As a result of rapid gro...
Liang-Kai Wang, Michael J. Schulte
DSRT
2004
IEEE
15 years 11 months ago
An Architecture for Web-Services Based Interest Management in Real Time Distributed Simulation
The Experimentation Command and Control Interface (XC2I) project has developed an architecture for a Webservice based viewer/controller for use with distributed simulations suppor...
Katherine L. Morse, Ryan Brunton, J. Mark Pullen, ...
CAV
2001
Springer
80views Hardware» more  CAV 2001»
15 years 11 months ago
Transformation-Based Verification Using Generalized Retiming
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
Andreas Kuehlmann, Jason Baumgartner
ACMIDC
2010
15 years 10 months ago
Digital Technologies and Marginalized Youth
Marginalization threatens basic issues of fairness and equal opportunity for a significant portion of children around the n this extended abstract, we frame the problem of margina...
Juan Pablo Hourcade, Natasha E. Bullock-Rest, Heid...
CHI
2010
ACM
15 years 10 months ago
Exploring affective technologies for the classroom with the subtle stone
Constructive emotional experiences are strongly related to effective learning. Yet, it is challenging for teachers, researchers and students alike to understand the emotions exper...
Madeline Balaam, Geraldine Fitzpatrick, Judith Goo...