2433 search results - page 313 / 487 » Power laws in software |
176
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
183
click to vote
ASAP
2006
IEEE
15 years 10 months ago
2006
IEEE
Early FPGA researchers understood that FPGAs made possible the creation of a new, flexible, and powerful class of machine -- the configurable computing machine (CCM). The earliest...
177
click to vote
BSN
2006
IEEE
15 years 10 months ago
2006
IEEE
The eWatch is a wearable sensing, notification, and computing platform built into a wrist watch form factor making it highly available, instantly viewable, ideally located for sen...
174
click to vote
DELTA
2004
IEEE
15 years 10 months ago
2004
IEEE
Systems-on-Chip (SoCs) are heterogeneous by nature as they may integrate digital, analog, RF hardware as well as software components or non electrical parts such as sensors or act...
162
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...