2550 search results - page 134 / 510 » Architecture as Language |
125
Voted
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
108
click to vote
FM
1999
Springer
15 years 6 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
88
Voted
ANLP
1997
15 years 3 months ago
1997
CommandTalk is a spoken-language interface to battlefield simulations that allows the use of ordinary spoken English to create forces and control measures, assign missions to forc...
157
click to vote
ENC
2004
IEEE
15 years 5 months ago
2004
IEEE
We present a hardware architecture for an Elliptic Curve Cryptography System performing the three basic cryptographic schemes: DH key generation, encryption and digital signature....
98
Voted
ASPLOS
2010
ACM
15 years 8 months ago
2010
ACM
As the number of devices available per chip continues to increase, the computational potential of future computer architectures grows likewise. While this is a clear benefit for f...