1054 search results - page 55 / 211 » Translation Validation of System Abstractions |
174
click to vote
JIDM
2010
15 years 4 months ago
2010
Preserving the privacy of individuals when data are shared for clustering is a complex problem. The challenge is how to protect the underlying data values subjected to clustering w...
296
click to vote
FDL
2004
IEEE
15 years 9 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
152
click to vote
RTSS
2007
IEEE
16 years 8 days ago
2007
IEEE
We study the problem of executing a collection of independently designed and validated task systems upon a common comprised of a preemptive processor and additional shared resourc...
157
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
173
click to vote
ISLPED
2005
ACM
15 years 11 months ago
2005
ACM
Due to difficulties in distributing a single global clock signal over increasingly large chip areas, a globally asynchronous, locally synchronous design is considered a promising ...