2057 search results - page 309 / 412 » Scalable and Structured Scheduling |
113
click to vote
CCS
2004
ACM
15 years 8 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
131
Voted
MIDDLEWARE
2004
Springer
15 years 8 months ago
2004
Springer
Grid is an emerging infrastructure used to share resources among virtual organizations in a seamless manner and to provide breakthrough computing power at low cost. Nowadays there...
166
Voted
SAMOS
2004
Springer
15 years 8 months ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...
142
Voted
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
We present an innovative protocol processor component that combines wire-speed processing for low-level, and best effort processing for higher-level protocols. The component is a ...
112
Voted
ICSM
2003
IEEE
15 years 8 months ago
2003
IEEE
“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is comp...