7661 search results - page 1406 / 1533 » Languages and the Computing Profession |
149
click to vote
TCAD
2008
15 years 4 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
155
click to vote
TKDE
2008
15 years 4 months ago
2008
Today more and more security-relevant data is stored on computer systems; security-critical business processes are mapped to their digital counterparts. This situation applies to ...
116
click to vote
TOG
2008
15 years 4 months ago
2008
We present a discrete treatment of adapted framed curves, parallel transport, and holonomy, thus establishing the language for a discrete geometric model of thin flexible rods wit...
144
click to vote
JLP
2007
15 years 4 months ago
2007
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...
141
click to vote
JOT
2007
15 years 4 months ago
2007
We describe a prototype of a diffraction range finding camera implemented in, and simulated by, Java. This sensor is able to digitize objects in 3D using only a single video camer...