50808 search results - page 181 / 10162 » A New |
DGCI
2006
Springer
14 years 22 days ago
2006
Springer
Critical kernels constitute a general framework settled in the of abstract complexes for the study of parallel thinning in any dimension. We take advantage of the properties of thi...
ECTEL
2006
Springer
14 years 21 days ago
2006
Springer
Considering that security education needs to train students to deal with security problems in real environments, we developed new media for teaching applied cryptography and networ...
EUROGP
2006
Springer
14 years 21 days ago
2006
Springer
This paper introduces a new representation for assemblies of small Lego -like elements: structures are indirectly encoded as construction plans. This representation shows some inte...
ASPDAC
2001
ACM
14 years 21 days ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
FPL
2000
Springer
14 years 19 days ago
2000
Springer
Following the simple Programmable Logic Device (SPLD) and Field Programmable Gate Array (FPGA) generations a third generation of programmable logic technologies is now reaching the...