645 search results - page 27 / 129 » Pure patterns type systems |
APPML
2007
14 years 12 months ago
2007
There are two simple solutions to reaction-diffusion systems with limit-cycle reaction kinetics, producing oscillatory behaviour. The reaction parameter µ gives rise to a ‘spa...
IJCNN
2008
IEEE
15 years 6 months ago
2008
IEEE
— A major challenge in applying machine learning methods to Brain-Computer Interfaces (BCIs) is to overcome the on-line non-stationarity of the data blocks. An effective BCI syst...
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
113
click to vote
SCAM
2007
IEEE
15 years 6 months ago
2007
IEEE
Crosscutting concerns consist in software system features having the implementation spread across modules as tangled and scattered code. In many cases, these crosscutting concerns...
130
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
Operating systems engineers have developed tracing tools that log details about process execution at the kernel level. These tools make it easier to understand the actual executio...