4255 search results - page 778 / 851 » Database: Models, Languages, Design |
138
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
141
click to vote
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
146
click to vote
CF
2006
ACM
15 years 8 months ago
2006
ACM
This paper presents our experience mapping OpenMP parallel programming model to the IBM Cyclops-64 (C64) architecture. The C64 employs a many-core-on-a-chip design that integrates...
144
click to vote
PLDI
1995
ACM
15 years 7 months ago
1995
ACM
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Contr...
163
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
The recent shift in the industry towards chip multiprocessor (CMP) designs has brought the need for multi-threaded applications to mainstream computing. As observed in several lim...