1960 search results - page 270 / 392 » The Logic of Large Enough |
SSDBM
2006
IEEE
14 years 4 months ago
2006
IEEE
With the recent progress of spatial information technologies and communication technologies, it has become easier to track positions of a large number of moving objects in real-ti...
TIME
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
HT
2005
ACM
14 years 3 months ago
2005
ACM
— Spatial hypertext was developed from studies of how humans deal with information overflow particularly in situations where data needed to be interpreted quickly. Intrusion det...
FPGA
2005
ACM
14 years 3 months ago
2005
ACM
Abstract—As the logic capacity of field-programmable gate arrays (FPGAs) increases, they are increasingly being used to implement large arithmetic-intensive applications, which ...
FPGA
2004
ACM
14 years 3 months ago
2004
ACM
FPGAs normally operate at whatever clock rate is appropriate for the loaded configuration. When FPGAs are used as computational devices in a larger system, however, it is better ...