Sciweavers

10575 search results - page 1649 / 2115
» T2Script Programming Language
Sort
View
JDCTA
2008
87views more  JDCTA 2008»
15 years 6 months ago
M-Brochure
Tourism industry is one of the important sources of income in many countries. The appropriate and quick submission of primary information such as address of hotels to the tourists...
Mohammad Shirali-Shahreza
JFP
2006
90views more  JFP 2006»
15 years 6 months ago
Regular expression filters for XML
XML data are described by types involving regular expressions. This raises the question of what language feature is convenient for manipulating such data. Previously, we have give...
Haruo Hosaya
ENTCS
2007
128views more  ENTCS 2007»
15 years 6 months ago
Optimisation Validation
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
David Aspinall, Lennart Beringer, Alberto Momiglia...
JLP
2007
95views more  JLP 2007»
15 years 6 months ago
Model checking a cache coherence protocol of a Java DSM implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...
CLUSTER
2002
IEEE
15 years 6 months ago
CEJVM: "Cluster Enabled Java Virtual Machine"
CEJVM is a cluster enabled Java Virtual Machine, which executes in a distributed fashion among collaborating nodes of a dedicated cluster. It extends Java`s multithreading mechani...
Muhammad Umar Janjua, Mehboob Yasin, Ch. Falak She...
« Prev « First page 1649 / 2115 Last » Next »