1723 search results - page 166 / 345 » Generalized file system dependencies |
163
click to vote
NECO
2010
15 years 2 months ago
2010
Abstract: Reservoir Computing (RC) systems are powerful models for online computations on input sequences. They consist of a memoryless readout neuron which is trained on top of a ...
117
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
148
click to vote
CC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The register allocation in loops is generally performed after or during the software pipelining process. This is because doing a conventional register allocation at firs...
128
click to vote
DEBS
2008
ACM
15 years 6 months ago
2008
ACM
In event stream applications, events flow through a network of components that perform various types of operations, e.g., filtering, aggregation, transformation. When the operatio...
161
click to vote
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...