3872 search results - page 293 / 775 » The Java memory model |
123
click to vote
PADL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
114
click to vote
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
We present the modeling of the high-level design of a next generation network switch from the perspective of a ComputerAided Design (CAD) team within the larger context of a desig...
132
click to vote
ICDCS
1996
IEEE
15 years 8 months ago
1996
IEEE
We introduce a shared memory software prototype system for executing programs with nested parallelism on a network of workstations. This programming model exhibits a very convenie...
139
click to vote
DAC
2008
ACM
16 years 4 months ago
2008
ACM
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
113
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Inference of phylogenetic trees using the maximum likelihood (ML) method is NP-hard. Furthermore, the computation of the likelihood function for huge trees of more than 1,000 orga...