6171 search results - page 136 / 1235 » The FrameNet Data and Software |
CODES
2000
IEEE
14 years 1 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...
UIST
2000
ACM
14 years 1 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...
AMAST
2006
Springer
14 years 1 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...
AMAST
2006
Springer
14 years 1 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...
CIDR
2011
13 years 27 days 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...