Sciweavers

1995 search results - page 253 / 399
» Belief in Information Flow
Sort
View
99
Voted
CODES
2004
IEEE
15 years 4 months ago
Hardware synthesis from coarse-grained dataflow specification for fast HW/SW cosynthesis
This paper concerns automatic hardware synthesis from data flow graph (DFG) specification for fast HW/SW cosynthesis. A node in DFG represents a coarse grain block such as FIR and...
Hyunuk Jung, Soonhoi Ha
SIGCOMM
2000
ACM
15 years 4 months ago
Trajectory sampling for direct traffic observation
Traffic measurement is a critical component for the control and engineering of communication networks. We argue that traffic measurement should make it possible to obtain the spati...
Nick G. Duffield, Matthias Grossglauser
TIC
2000
Springer
110views System Software» more  TIC 2000»
15 years 4 months ago
Program Representation Size in an Intermediate Language with Intersection and Union Types
Abstract. The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both te...
Allyn Dimock, Ian Westmacott, Robert Muller, Frank...
81
Voted
USS
2008
15 years 3 months ago
Modeling the Trust Boundaries Created by Securable Objects
One of the most critical steps of any security review involves identifying the trust boundaries that an application is exposed to. While methodologies such as threat modeling can ...
Matt Miller
111
Voted
BIOSTEC
2008
192views Healthcare» more  BIOSTEC 2008»
15 years 2 months ago
Application of Process Mining in Healthcare - A Case Study in a Dutch Hospital
Abstract. To gain competitive advantage, hospitals try to streamline their processes. In order to do so, it is essential to have an accurate view of the "careflows" under...
R. S. Mans, Helen Schonenberg, Minseok Song, Wil M...