Sciweavers

4079 search results - page 554 / 816
» Differential Testing for Software
Sort
View
144
Voted
JUCS
2007
122views more  JUCS 2007»
15 years 4 months ago
A New Architecture for Concurrent Lazy Cyclic Reference Counting on Multi-Processor Systems
: Multi-processor systems have become the standard in current computer architectures. Software developers have the possibility to take advantage of the additional computing power a...
Andrei de Araújo Formiga, Rafael Dueire Lin...
115
Voted
EOR
2002
66views more  EOR 2002»
15 years 4 months ago
Socio-cognitive engineering: A methodology for the design of human-centred technology
We describe a general methodology, socio-cognitive engineering, for the design of human-centred technology. It integrates software, task, knowledge and organizational engineering ...
Mike Sharples, N. Jeffery, Benedict du Boulay, Der...
CORR
2010
Springer
83views Education» more  CORR 2010»
15 years 4 months ago
A Platform for Implementing Secure Wireless Ad Hoc Networks
: We propose a new platform for implementing secure wireless ad hoc networks. Our proposal is based on a modular architecture, with the software stack constructed directly on the E...
Gyula Farkas, Béla Genge, Piroska Haller
ENTCS
2010
122views more  ENTCS 2010»
15 years 1 months ago
Efficient Earley Parsing with Regular Right-hand Sides
We present a new variant of the Earley parsing algorithm capable of efficiently supporting context-free grammars with regular right hand-sides. We present the core state-machine d...
Trevor Jim, Yitzhak Mandelbaum
JMLR
2011
93views more  JMLR 2011»
14 years 11 months ago
Time Series Analysis with the Causality Workbench
The Causality Workbench project is an environment to test causal discovery algorithms. Via a web portal (http://clopinet.com/causality), it provides a number of resources, includi...
Isabelle Guyon, Alexander Satnikov, Constantin F. ...