9455 search results - page 301 / 1891 » The Modelling Language Zinc |
200
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
A parallel extension to the Python language is introduced that is modeled after the Co-Array Fortran extensions to Fortran 95. A new Python module, CoArray, has been developed to p...
176
click to vote
PET
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
152
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
We present an approach to updateable XML views, which is based on the Stack-Based Approach to query languages. Its novelty consists in introducing procedures overloading generic up...
161
Voted
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents a methodology to retarget the technique of compiled simulation for Digital Signal Processors DSPs using the modeling language LISA. In the past, the principl...
168
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we describe modifications to a natural language grocery retrieval system, introduced in our earlier work. We also compare our system against an off-the-shelf retriev...