4151 search results - page 196 / 831 » Language Driven System Design |
160
click to vote
LCPC
1995
Springer
15 years 7 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
138
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
Partitioned Global Address Space (PGAS) languages provide a unique programming model that can span shared-memory multiprocessor (SMP) architectures, distributed memory machines, o...
127
Voted
COORDINATION
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
110
Voted
SACMAT
2006
ACM
15 years 9 months ago
2006
ACM
The growing importance of access control has led to the definition of numerous languages for specifying policies. Since these languages are based on different foundations, langua...
116
Voted
BNCOD
2004
15 years 4 months ago
2004
When storing data in heterogeneous databases, one of the top-down design issues concerns the usage of multiple query languages. A common language enables querying of database schem...