Sciweavers

14704 search results - page 2636 / 2941
» computing 2007
Sort
View
PPDP
2007
Springer
15 years 10 months ago
Putting declarative programming into the web: translating curry to javascript
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
Michael Hanus
125
Voted
PSIVT
2007
Springer
170views Multimedia» more  PSIVT 2007»
15 years 10 months ago
Markov Random Fields and Spatial Information to Improve Automatic Image Annotation
Content-based image retrieval (CBIR) is currently limited because of the lack of representational power of the low-level image features, which fail to properly represent the actual...
Carlos Hernández-Gracidas, Luis Enrique Suc...
146
Voted
PVM
2007
Springer
15 years 10 months ago
Revealing the Performance of MPI RMA Implementations
The MPI remote-memory access (RMA) operations provide a different programming model from the regular MPI-1 point-to-point operations. This model is particularly appropriate for ca...
William D. Gropp, Rajeev Thakur
PVM
2007
Springer
15 years 10 months ago
Practical Model-Checking Method for Verifying Correctness of MPI Programs
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
Salman Pervez, Ganesh Gopalakrishnan, Robert M. Ki...
RAID
2007
Springer
15 years 10 months ago
Emulation-Based Detection of Non-self-contained Polymorphic Shellcode
Network-level emulation has recently been proposed as a method for the accurate detection of previously unknown polymorphic code injection attacks. In this paper, we extend network...
Michalis Polychronakis, Kostas G. Anagnostakis, Ev...
« Prev « First page 2636 / 2941 Last » Next »