13277 search results - page 2244 / 2656 » An Approach to Clustering Abstracts |
221
click to vote
ESTIMEDIA
2005
Springer
16 years 1 months ago
2005
Springer
Designing Application-Specific Instruction-set Processors (ASIPs) usually requires designing a custom datapath, and modifying instruction-set, instruction decoder, and compiler. A...
138
click to vote
EUC
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Pyroelectric sensors can detect changes of infrared rays. Usually, typical pyroelectric sensors are the digital output type, used for lighting switches and security syste...
214
click to vote
EUC
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Embedded systems have strict timing and code size requirements. Retiming is one of the most important optimization techniques to improve the execution time of loops by in...
201
click to vote
EUROPKI
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Transformations of signed documents raise questions of technical and organisational nature which render the legal security of the transformed document doubtful. In partic...
221
click to vote
FASE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...