6171 search results - page 136 / 1235 » The FrameNet Data and Software |
174
click to vote
CODES
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we present an approach to performance estimation for hard real-time systems. We consider architectures consisting of multiple processors. The scheduling policy is ba...
148
click to vote
UIST
2000
ACM
15 years 10 months ago
2000
ACM
We present a new kind of marking menu that was developed for use with a pen device on display surfaces such as large, high resolution, wall-mounted displays. It integrates capabil...
125
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Programs written in point-free form express computation purely in terms of functions. Such programs are especially amenable to local transformation. In this paper, we describe a pr...
206
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
217
click to vote
CIDR
2011
14 years 9 months ago
2011
Data state in a data management system such as a database is the result of the transactions performed on that data management system. Approaches such as single-message transaction...