4386 search results - page 676 / 878 » A Tamper-Resistant Programming Language System |
140
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
141
Voted
TCS
2008
15 years 3 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
121
click to vote
DAC
2004
ACM
16 years 4 months ago
2004
ACM
Architecture description languages (ADL) have been established to aid the design of application-specific instruction-set processors (ASIP). Their main contribution is the automati...
149
Voted
SIGCSE
2005
ACM
15 years 9 months ago
2005
ACM
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...
265
Voted
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
Although chip-multiprocessors have become the industry standard, developing parallel applications that target them remains a daunting task. Non-determinism, inherent in threaded a...