Sciweavers

2781 search results - page 22 / 557
» System Modules
Sort
View
81
Voted
ICFP
2006
ACM
16 years 19 days ago
From structures and functors to modules and units
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
Scott Owens, Matthew Flatt
77
Voted
RANLP
2003
15 years 2 months ago
Near-synonym choice in natural language generation
We present Xenon, a natural language generation system capable of distinguishing between nearsynonyms. It integrates a near-synonym choice module with an existing sentence realiza...
Diana Zaiu Inkpen, Graeme Hirst
135
Voted
USENIX
2004
15 years 2 months ago
Trusted Path Execution for the Linux 2.6 Kernel as a Linux Security Module
The prevention of damage caused to a system via malicious executables is a significant issue in the current state of security on Linux operating systems. Several approaches are av...
Niki A. Rahimi
101
Voted
ICST
2008
IEEE
15 years 7 months ago
Scheduling Timed Modules for Correct Resource Sharing
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
Cristina Cerschi Seceleanu, Paul Pettersson, Hans ...
102
Voted
ICFP
2006
ACM
16 years 19 days ago
Recursive modules for programming
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...
Keiko Nakata, Jacques Garrigue