183 search results - page 24 / 37 » A new method for compiling schizophrenic synchronous program... |
136
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
172
click to vote
IACR
2011
14 years 5 months ago
2011
Secure two-party computation protocol allows two players, Alice with secret input x and Bob with secret input y, to jointly execute an arbitrary program π(x, y) such that only th...
151
click to vote
ACSC
2004
IEEE
15 years 9 months ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
153
click to vote
CC
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a new method for computing the integer hull of a parameterized rational polyhedron by introducing the concept of periodic polyhedron. Besides concerning general...
171
click to vote
JOT
2008
15 years 5 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...