Sciweavers

6770 search results - page 121 / 1354
» How GPUs Work
Sort
View
SOCRATES
2008
112views Education» more  SOCRATES 2008»
13 years 11 months ago
Collaborative Strategies in On Line Communities of In-Service Teachers
The present paper analyzes a learning experience run at University of Macerata, during a post degree course for in service teachers and mature students. The course was delivered e...
Lorella Giannandrea, Teresa Magnaterra
CSFW
2012
IEEE
12 years 17 days ago
Verifying Privacy-Type Properties in a Modular Way
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
Myrto Arapinis, Vincent Cheval, Stéphanie D...
ICCAD
2006
IEEE
71views Hardware» more  ICCAD 2006»
14 years 7 months ago
Using CAD to shape experiments in molecular QCA
This paper examines how circuits and systems made from molecular QCA devices might function. Our design constraints are “chemically reasonable” in that we consider the charact...
Michael T. Niemier, Michael Crocker, Xiaobo Sharon...
CSMR
2009
IEEE
14 years 4 months ago
Visualizing Multivariate Attributes on Software Diagrams
Software architecture diagrams and metrics are wellknown and heavily used in many areas in software engineering. However, they are rarely combined in one (visual) representation. ...
Heorhiy Byelas, Alexandru Telea
COMPLEX
2009
Springer
14 years 4 months ago
Community Detection of Time-Varying Mobile Social Networks
In this paper, we present our ongoing work on developing a framework for detecting time-varying communities on human mobile networks. We define the term community in environments ...
ShuYan Chan, Pan Hui, Kuang Xu