1767 search results - page 175 / 354 » Open Source Ecology |
129
click to vote
WOMPAT
2004
Springer
15 years 10 months ago
2004
Springer
OpenMP allows programmers to specify nested parallelism in parallel applications. In the case of scientific applications, parallel loops are the most important source of paralleli...
155
click to vote
FMCO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
150
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
—We present a new technique for statistical static timing analysis (SSTA) based on Markov chain Monte Carlo (MCMC), that allows fast and accurate estimation of the right-hand tai...
174
click to vote
PAAMS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract This paper contributes to the design of intelligent buildings. A MultiAgents Home Automation System (MAHAS) is proposed which controls appliances and energy sources in bui...
156
click to vote
ACMDIS
2000
ACM
15 years 9 months ago
2000
ACM
One fundamental challenge for the design of the interactive systems of the future is to invent and design environments and cultures in which humans can express themselves and enga...