Sciweavers

14704 search results - page 2636 / 2941
» computer 2007
Sort
View
PPDP
2007
Springer
16 years 1 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
PSIVT
2007
Springer
170views Multimedia» more  PSIVT 2007»
16 years 1 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...
PVM
2007
Springer
16 years 1 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
16 years 1 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
16 years 1 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 »