Sciweavers

3228 search results - page 259 / 646
» Basics of Compiler Design
Sort
View
TGC
2005
Springer
16 years 7 days ago
Programming Cryptographic Protocols
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...
Joshua D. Guttman, Jonathan C. Herzog, John D. Ram...
CBSE
2004
Springer
16 years 5 days ago
Introducing a Component Technology for Safety Critical Embedded Real-Time Systems
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
Kristian Sandström, Johan Fredriksson, Mikael...
FPL
2004
Springer
89views Hardware» more  FPL 2004»
16 years 4 days ago
HW/SW Co-design by Automatic Embedding of Complex IP Cores
Complex SoC and platform-based designs require integration of configurable IP cores from multiple sources. Even automatic compilation flows from a high-level description to HW/SW s...
Holger Lange, Andreas Koch
PEPM
2004
ACM
16 years 3 days ago
Declarative specialization for object-oriented-program specialization
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....
Helle Markmann Andersen, Ulrik Pagh Schultz
IWSOC
2003
IEEE
99views Hardware» more  IWSOC 2003»
16 years 1 days ago
Template Generation and Selection Algorithms
The availability of high-level design entry tooling is crucial for the viability of any reconfigurable SoC architecture. This paper presents a template generation method to extra...
Yuanqing Guo, Gerard J. M. Smit, Hajo Broersma, Pa...