2416 search results - page 152 / 484 » The Language of Cortical Dynamics |
142
click to vote
FPL
1997
Springer
15 years 10 months ago
1997
Springer
: The paper first proposes requirements for an ideal platform for codesign research. A new board developed at Imperial College, the Riley-2, is shown to meet these requirements. It...
158
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
151
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...
147
click to vote
ESCIENCE
2006
IEEE
16 years 14 days ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
203
click to vote
PLILP
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...