2373 search results - page 244 / 475 » The Design of the Zinc Modelling Language |
156
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciļ...
189
click to vote
CONCURRENCY
1998
15 years 6 months ago
1998
Titanium is a language and system for high-performance parallel scientiļ¬c computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...
180
click to vote
EJC
2008
15 years 8 months ago
2008
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
163
click to vote
FCCM
2006
IEEE
16 years 19 days ago
2006
IEEE
Recently, platform FPGAs that integrate sequential processors with a spatial fabric have become prevalent. While these hybrid architectures ease the burden of integrating sequenti...
200
click to vote
ER
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Uniļ¬ed Modeli...