2560 search results - page 86 / 512 » Types for Dynamic Reconfiguration |
ERSA
2007
13 years 10 months ago
2007
”C to Gates” compilers for FPGAs have been a topic of investigation for nearly two decades. Some of these endeavors have reached a point of viability. Impulse C, for example, ...
CSFW
2006
IEEE
14 years 2 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
SIGIR
2012
ACM
11 years 11 months ago
2012
ACM
Content on the Internet is always changing. We explore the value of biasing search result snippets towards new webpage content. We present results from a user study comparing trad...
ECOOP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In our research we are studying how to combine modelling, metamodelling, and reflection to systematically generate middleware configurations that can be targeted at diffe...
EUC
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents an experimental evaluation of our scenario-based multithreading for real-time object-oriented models by the use of a case study of a Private Branch eXchange (PB...