7430 search results - page 743 / 1486 » Programming Applications in CIFF |
182
click to vote
PACT
2005
Springer
16 years 1 months ago
2005
Springer
The paper is dedicated to an open T-system (OpenTS) — a programming system that supports automatic parallelization of computations for high-performance and distributed applicatio...
172
Voted
ITC
2003
IEEE
16 years 24 days ago
2003
IEEE
This paper describes an Addressable Shadow Protocol device that is capable of providing connectivity between a backplane resident IEEE 1149.1 test bus master and a plurality of 11...
229
click to vote
LICS
2003
IEEE
16 years 23 days ago
2003
IEEE
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...
161
click to vote
APLAS
2003
ACM
16 years 23 days ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
179
click to vote
EUROPAR
2003
Springer
16 years 22 days ago
2003
Springer
I propose a set of criteria which distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the int...