Sciweavers

9485 search results - page 377 / 1897
» Research on Brain-Like Computer
Sort
View

Book
314views
17 years 4 months ago
Programming in Martin-Löf's Type Theory
"This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective. It is intended for resear...
Bengt Nordström, Kent Petersson, Jan M. Smith

Source Code
317views
16 years 7 months ago
Madagascar
Madagascar is an open-source software package for multidimensional data analysis and reproducible computational experiments. Its mission is to provide a convenient and powerful env...
POLICY
2007
Springer
16 years 25 days ago
Web Services Security: Challenges and Techniques
Web Services based computing is currently an important driver for the software industry. While several standards bodies (such as W3C and OASIS) are laying the foundation for Web S...
Anoop Singhal
IPPS
2005
IEEE
16 years 9 days ago
Possibilities to Solve the Clique Problem by Thread Parallelism using Task Pools
We construct parallel algorithms with implementations to solve the clique problem in practice and research their computing time compared with sequential algorithms. The parallel a...
Holger Blaar, Thomas Lange, Renate Winter, Marcel ...
HPCN
1997
Springer
15 years 11 months ago
A Distributed Algorithm for Optimal Concurrent Communication and Load Balancing in Parallel Systems
We present a distributed algorithm for determining optimal concurrent communication ow in arbitrary computer networks. Our scheme is applicable to a wide range of network ow applic...
Uwe Dralle, Alexander Reinefeld