10666 search results - page 1761 / 2134 » Quantum programming languages |
146
Voted
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Input validation refers to checking user inputs to a program to ensure that they conform to expectations of the program. Input validation is used to check the format of numbers and...
170
click to vote
ESWS
2006
Springer
15 years 8 months ago
2006
Springer
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism...
131
Voted
TIC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...
134
Voted
HPCN
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. We discuss the High Performance Fortran data parallel programming language as an aid to software engineering and as a tool for exploiting High Performance Computing syste...
147
Voted
WDAG
1995
Springer
15 years 8 months ago
1995
Springer
Larchant-RDOSS is a distributed shared memory that persists on reliable storage across process lifetimes. Memory management is automatic: including consistent caching of data and ...