Sciweavers

4139 search results - page 280 / 828
» Designing and Implementing Combinator Languages
Sort
View
MICRO
2009
IEEE
326views Hardware» more  MICRO 2009»
15 years 11 months ago
DDT: design and evaluation of a dynamic program analysis for optimizing data structure usage
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
Changhee Jung, Nathan Clark
PPAM
2005
Springer
15 years 10 months ago
Open MPI: A Flexible High Performance MPI
Abstract. A large number of MPI implementations are currently available, each of which emphasize different aspects of high-performance computing or are intended to solve a speci...
Richard L. Graham, Timothy S. Woodall, Jeffrey M. ...
PLDI
2006
ACM
15 years 11 months ago
A microkernel virtual machine: : building security with clear interfaces
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
Xiaoqi Lu, Scott F. Smith
AIIA
1991
Springer
15 years 8 months ago
Knowledge-Based Media Coordination in Intelligent User Interfaces
Multimodal interfaces combining, e.g., natural language and graphics take advantage of both the individual strength of each communication mode and the fact that several modes can ...
Wolfgang Wahlster, Elisabeth André, Winfrie...
HASKELL
2008
ACM
15 years 6 months ago
A library for light-weight information-flow security in haskell
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
Alejandro Russo, Koen Claessen, John Hughes