Sciweavers

1855 search results - page 74 / 371
» A coding theorem for distributed computation
Sort
View
NPC
2010
Springer
14 years 11 months ago
Exposing Tunable Parameters in Multi-threaded Numerical Code
Achieving high performance on today’s architectures requires careful orchestration of many optimization parameters. In particular, the presence of shared-caches on multicore arch...
Apan Qasem, Jichi Guo, Faizur Rahman, Qing Yi
ICML
1999
IEEE
16 years 1 months ago
Simple DFA are Polynomially Probably Exactly Learnable from Simple Examples
E cient learning of DFA is a challenging research problem in grammatical inference. Both exact and approximate (in the PAC sense) identi ability of DFA from examples is known to b...
Rajesh Parekh, Vasant Honavar
ODP
1993
15 years 1 months ago
The Challenges of CSCW for Open Distributed Processing
The user-centred philosophy of Computer Supported Cooperative Work (CSCW) challenges the established principles of many existing technologies. In turn, the development of CSCW is ...
Gordon S. Blair, Tom Rodden
ICTAC
2010
Springer
14 years 11 months ago
Formal Modelling of Separation Kernel Components
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
Andrius Velykis, Leo Freitas
105
Voted
EWSN
2007
Springer
16 years 3 days ago
Energy Consumption of Minimum Energy Coding in CDMA Wireless Sensor Networks
Abstract. A theoretical framework is proposed for accurate performance analysis of minimum energy coding schemes in Coded Division Multiple Access (CDMA) wireless sensor networks. ...
Benigno Zurita Ares, Carlo Fischione, Karl Henrik ...