Sciweavers

4485 search results - page 586 / 897
» Equivalences on Observable Processes
Sort
View
ARC
2010
Springer
178views Hardware» more  ARC 2010»
15 years 11 months ago
An Analysis of Delay Based PUF Implementations on FPGA
Physical Unclonable Functions promise cheap, efficient, and secure identification and authentication of devices. In FPGA devices, PUFs may be instantiated directly from FPGA fabri...
Sergey Morozov, Abhranil Maiti, Patrick Schaumont
ASAP
2008
IEEE
82views Hardware» more  ASAP 2008»
15 years 11 months ago
Run-time thread sorting to expose data-level parallelism
We address the problem of data parallel processing for computational quantum chemistry (CQC). CQC is a computationally demanding tool to study the electronic structure of molecule...
Tirath Ramdas, Gregory K. Egan, David Abramson, Ki...
ASWEC
2008
IEEE
15 years 11 months ago
Situated Software Development: Work Practice and Infrastructure Are Mutually Constitutive
Software developers’ work is much more interesting and multifarious in practice than formal definitions of software development processes imply. Rational models of work are ofte...
Julia Prior, Toni Robertson, John Leaney
C5
2008
IEEE
15 years 11 months ago
Children as Active Partners: Strategies for Collaboration in Spatial Tasks through Virtual Worlds
This paper, referring to a work in progress, describes functional elements of the user interface of a Virtual World that may provide an important contribution to the process by wh...
Filipe Santos, Benjamim Fonseca, Leonel Morgado, P...
CDC
2008
IEEE
125views Control Systems» more  CDC 2008»
15 years 11 months ago
Continuous motion planning for information forecast
— This paper addresses planning of continuous paths for mobile sensors to improve long-term forecast performance. With the information gain defined by the mutual information bet...
Han-Lim Choi, Jonathan P. How