16843 search results - page 2969 / 3369 » On Generalized Authorization Problems |
162
click to vote
EMSOFT
2007
Springer
16 years 29 days ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...
185
click to vote
EMSOFT
2007
Springer
16 years 29 days ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
192
click to vote
EMSOFT
2007
Springer
16 years 29 days ago
2007
Springer
The emergence of standards for programming real-time systems in Java has encouraged many developers to consider its use for systems previously only built using C, Ada, or assembly...
188
click to vote
ESA
2007
Springer
16 years 29 days ago
2007
Springer
We review recent progress in the study of arrangements in computational and combinatorial geometry, and discuss several open problems and areas for further research. In this talk I...
162
click to vote
FPGA
2007
ACM
16 years 28 days ago
2007
ACM
Boolean matching (BM) is a widely used technique in FPGA resynthesis and architecture evaluation. In this paper we present several improvements to the recently proposed SAT-based ...