2582 search results - page 261 / 517 » Developing a Data Driven System for Computational Neuroscien... |
111
click to vote
USENIX
2000
15 years 2 months ago
2000
Benchmarks have historically played a key role in guiding the progress of computer science systems research and development, but have traditionally neglected the areas of availabi...
ACSC
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper describes an experimental alerting system under development by the Australian Bureau of Meteorology, initially targetted at (but not restricted to) the aviation sector....
143
click to vote
WOLLIC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...
112
click to vote
CCGRID
2006
IEEE
15 years 7 months ago
2006
IEEE
Service Oriented EXtensible Modeling and Simulation Supporting Environment Architecture (SO-XMSSEA) is presented based on XMSF thinking and the new technology development of web s...
117
click to vote
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper we present the architecture and framework for a benchmark suite that has been developed as part of the DeSiDeRaTa project. The proposed benchmark suite is representat...