Sciweavers

1538 search results - page 101 / 308
» Programming with Patterns
Sort
View
CISIS
2010
IEEE
15 years 5 months ago
Shared Data Grid Programming Improvements Using Specialized Objects
- The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid...
Dacian Tudor, Georgiana Macariu, Wolfgang Schreine...
93
Voted
PADL
2010
Springer
15 years 9 months ago
Conversion by Evaluation
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
Mathieu Boespflug
PDCAT
2004
Springer
15 years 6 months ago
View-Oriented Parallel Programming and View-Based Consistency
Abstract. This paper proposes a novel View-Oriented Parallel Programming style for parallel programming on cluster computers. ViewOriented Parallel Programming is based on Distribu...
Zhiyi Huang, Martin K. Purvis, Paul Werstein
105
Voted
ECOOP
2000
Springer
15 years 5 months ago
Towards a Unified Programming Language
The goal of research in programming languages should be to develop languages that integrates the best of concepts and constructs from the various programming paradigms. We do not a...
Ole Lehrmann Madsen
118
Voted
IJNSEC
2008
95views more  IJNSEC 2008»
15 years 22 days ago
Generalized Anomaly Detection Model for Windows-based Malicious Program Behavior
In this paper we demonstrate that it is possible in general to detect Windows-based malicious program behavior. Since S. Forrest et al. used the N-grams method to classify system ...
Xin Tang, Constantine N. Manikopoulos, Sotirios G....