2035 search results - page 156 / 407 » Working memory |
141
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
In the challenges faced by organisations in the area of knowledge management, there is clearly a role for information and communications technologies in supporting the exploitatio...
127
Voted
CAV
2003
Springer
15 years 8 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
101
Voted
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
We propose a new method to control memory resources by static analysis. For this, we introduce the notion of sup-interpretation which bounds from above the size of function outputs...
131
click to vote
ISLPED
1995
ACM
15 years 7 months ago
1995
ACM
In this paper we present a novel approach to model the search space for optimal set data types in network component realisations. The main objective is to arrive at power efficie...
221
Voted
JVM
2004
15 years 4 months ago
2004
We are working on scheduling of garbage collector as a concurrent thread for time-constrained applications in Common Language Infrastructure (CLI). We have implemented an increment...