1888 search results - page 165 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
124
click to vote
HOTDEP
2008
15 years 6 months ago
2008
Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers...
147
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
Data flow and FSMs are used intensively to specify real-time systems in the field of mechatronics. Their implementation in FPGAs is discussed against the background of dynamic rec...
125
click to vote
APLAS
2006
ACM
15 years 9 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
112
click to vote
COOTS
1996
15 years 5 months ago
1996
During the development of Beyond-Sniff, a distributed multi-user development platform, we were confronted with various, apparently unrelated problems: data, control, and user inte...
240
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
An ad hoc data source is any semistructured data source for which useful data analysis and transformation tools are not readily available. Such data must be queried, transformed a...