7259 search results - page 1112 / 1452 » From Fields to Trees |
209
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
187
click to vote
POPL
1995
ACM
15 years 10 months ago
1995
ACM
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...
167
click to vote
SC
1991
ACM
15 years 10 months ago
1991
ACM
Two problems from the recently published “NAS Parallel Benchmarks” have been implemented on three advanced parallel computer systems. These two benchmarks are the following: (...
164
click to vote
CHI
2010
ACM
15 years 10 months ago
2010
ACM
Nonprofit organizations often need to excel in coordinating with other organizations and must do so in a variety of contexts and levels from the informal to the formal. Their abil...
183
click to vote
FPGA
2010
ACM
15 years 10 months ago
2010
ACM
Various multimedia communication systems based on 3DAudio algorithms have been proposed by researchers from the acoustic data processing domain. However, all systems reported in t...