4340 search results - page 384 / 868 » Formal Methods and Cryptography |
178
click to vote
ICCSA
2007
Springer
16 years 28 days ago
2007
Springer
Computational origami is the computer assisted study of origami as a branch of science of shapes. The origami construction is a countably finite sequence of fold steps, each consi...
160
click to vote
SAS
2007
Springer
16 years 27 days ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
229
click to vote
ADAEUROPE
2005
Springer
16 years 10 days ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
176
click to vote
TLDI
2003
ACM
16 years 1 days ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
195
click to vote
FM
2003
Springer
16 years 7 hour ago
2003
Springer
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...