1960 search results - page 270 / 392 » The Logic of Large Enough |
179
click to vote
SSDBM
2006
IEEE
16 years 11 days 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...
146
click to vote
TIME
2005
IEEE
15 years 12 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...
159
click to vote
HT
2005
ACM
15 years 12 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...
168
click to vote
FPGA
2005
ACM
15 years 12 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 ...
142
click to vote
FPGA
2004
ACM
15 years 11 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 ...