2370 search results - page 463 / 474 » On the Revival of Dynamic Languages |
71
Voted
FPGA
1997
ACM
15 years 5 months ago
1997
ACM
Logic emulation is a technique that uses dynamically reprogrammable systems for prototyping and design veri cation. Using an emulator, designers can realize designs through a soft...
132
Voted
COCO
1994
Springer
15 years 4 months ago
1994
Springer
A probabilistically checkable debate system (PCDS) for a language L consists of a probabilisticpolynomial-time veri er V and a debate between Player 1, who claims that the input x ...
111
click to vote
CCGRID
2009
IEEE
15 years 4 months ago
2009
IEEE
In recent years the power of Grid computing has grown exponentially through the development of advanced middleware systems. While usage has increased, the penetration of Grid compu...
131
click to vote
CCS
2007
ACM
15 years 4 months ago
2007
ACM
Remotely-launched software exploits are a common way for attackers to intrude into vulnerable computer systems. As detection techniques improve, remote exploitation techniques are...
125
Voted
CODES
2009
IEEE
15 years 4 months ago
2009
IEEE
Profilers play an important role in software/hardware design, optimization, and verification. Various approaches have been proposed to implement profilers. The most widespread app...