36320 search results - page 42 / 7264 » From Code to Models |
122
Voted
ISVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
Contemporary SoC design involves the proper selection of cores from a reference platform. Such selection implies the design exploration of alternative CPUs, which requires the gen...
222
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, t...
129
click to vote
NECO
2000
15 years 2 months ago
2000
Recent advances in the technology of multi-unit recordings make it possible to test Hebb's hypothesis that neurons do not function in isolation but are organized in assemblie...
112
click to vote
MODELS
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. A new trend in runtime system monitoring is to utilize MOFbased techniques in analyzing the runtime system data. Approaches and tools have been proposed to automatically ...
105
Voted
CSFW
2004
IEEE
15 years 6 months ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...