1737 search results - page 267 / 348 » On Interpolation in Existence Logics |
141
click to vote
PPDP
2009
Springer
16 years 24 days ago
2009
Springer
Dividing the heap memory of programs into regions is the starting point of region-based memory management. In our existing work of enabling region-based memory management for Merc...
165
click to vote
RTA
2009
Springer
16 years 24 days ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
148
click to vote
KCAP
2009
ACM
16 years 23 days ago
2009
ACM
Ontologies are conceptual models of particular domains, and domains can be modeled differently, representing different opinions, beliefs or perspectives. In other terms, ontolog...
184
click to vote
ASAP
2008
IEEE
16 years 23 days ago
2008
IEEE
Process technology has reduced in size such that it is possible to implement complete applicationspecific architectures as Systems-on-Chip (SoCs) using both Application-Specific I...
166
click to vote
ETFA
2008
IEEE
16 years 22 days ago
2008
IEEE
Power consumption and thermal problems limit the single-core processors to be faster. Processor architects are therefore moving toward multi-core processors. Developers of embedde...