10271 search results - page 495 / 2055 » Computer Science |
146
click to vote
ITCC
2005
IEEE
15 years 12 months ago
2005
IEEE
New developments in the field of theoretical chemistry require the computation of numerous Molecular Potential Energy Surfaces (PESs) to generate adequate quantum force field pa...
142
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
168
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
147
Voted
ITICSE
2003
ACM
15 years 11 months ago
2003
ACM
The authors present observations from using two modes of teaching undergraduate computer architecture. Two sections were taught differently: one section was taught using a traditi...
180
click to vote
FPL
2009
Springer
15 years 11 months ago
2009
Springer
Reconfigurable systems are widely used nowadays to increase performance of computationally intensive applications. There exist a lot of synthesis tools that automatically generate...