458 search results - page 42 / 92 » A Dependently Typed Assembly Language |
IEEEPACT
1998
IEEE
13 years 12 months ago
1998
IEEE
In order to achieve practical efficient execution on a parallel architecture, a knowledge of the data dependencies related to the application appears as the key point for building...
WADT
2004
Springer
14 years 1 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
SACMAT
2003
ACM
14 years 27 days ago
2003
ACM
A Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBAC...
AC
1999
Springer
13 years 12 months ago
1999
Springer
The FlexiNet Platform is a Java middleware platform that features a component based ‘white-box’ approach with strong emphasis placed on reflection and introspection at all lev...
LRE
2010
13 years 2 months ago
2010
In this article we want to demonstrate that annotation of multiword expressions in the Prague Dependency Treebank is a well defined task, that it is useful as well as feasible, an...