2875 search results - page 352 / 575 » Using separation of concerns for embedded systems design |
131
click to vote
CN
1999
15 years 4 months ago
1999
We describe Bro, a stand-alone system for detecting network intruders in real-time by passively monitoring a network link over which the intruder's traffic transits. We give ...
222
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
149
click to vote
HPDC
1993
IEEE
15 years 8 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
115
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
To supplement existing forms of communication such as telephone and e-mail, this research proposes a new method of communicating “awareness” between people who are separated b...
187
click to vote
IPPS
1995
IEEE
15 years 8 months ago
1995
IEEE
This paper describes improvements to the Mach microkernel’s support for efficient application startup across multiple nodes in a cluster or massively parallel processor. Signifi...