1635 search results - page 31 / 327 » DIPC: A System Software Solution for Distributed Programming |
157
click to vote
ACSAC
2010
IEEE
14 years 12 months ago
2010
IEEE
Despite the numerous prevention and protection mechanisms that have been introduced into modern operating systems, the exploitation of memory corruption vulnerabilities still repr...
123
Voted
EMSOFT
2010
Springer
14 years 12 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
111
Voted
CDC
2009
IEEE
14 years 11 months ago
2009
IEEE
We consider a network of control systems connected over a graph. Considering the graph structure as constraints on the set of permissible controllers, we show that such systems ar...
103
click to vote
HPDC
1993
IEEE
15 years 6 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
117
Voted
MSR
2006
ACM
15 years 7 months ago
2006
ACM
With the success of libre (free, open source) software, a new type of software compilation has become increasingly common. Such compilations, often referred to as ‘distributions...