6796 search results - page 622 / 1360 » Java for Embedded Systems |
249
click to vote
ENTCS
2008
15 years 7 months ago
2008
Transformation systems such as Stratego/XT provide powerful analysis and transformation frameworks and concise languages for language processing, but instantiating them for every ...
225
click to vote
CC
2003
Springer
16 years 15 days ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
166
click to vote
IFM
1999
Springer
15 years 11 months ago
1999
Springer
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...
217
click to vote
CASES
2006
ACM
16 years 1 months ago
2006
ACM
Multiprocessor system-on-chip (MPSoC) is an integrated circuit containing multiple instruction-set processors on a single chip that implements most of the functionality of a compl...
208
Voted
MMSEC
2006
ACM
16 years 1 months ago
2006
ACM
In the watermark detection scenario, also known as zero-bit watermarking, a watermark, carrying no hidden message, is inserted in content. The watermark detector checks for the pr...