10159 search results - page 1794 / 2032 » System Design Validation Using Formal Models |
229
click to vote
CAV
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
209
click to vote
EKAW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Dealing with heterogeneous ontologies by means of semantic mappings has become an important area of research and a number of systems for discovering mappings between onto...
152
click to vote
CPHYSICS
2008
15 years 6 months ago
2008
We present wannier90, a program for calculating maximally-localised Wannier functions (MLWF) from a set of Bloch energy bands that may or may not be attached to or mixed with othe...
193
click to vote
ISCA
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper explores the design space of MMU caches that accelerate virtual-to-physical address translation in processor architectures, such as x86-64, that use a radix tree page t...
180
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Cluster-based multi-tier systems provide a means for building scalable Internet services. Building adaptive Internet services that are able to apply appropriate system sizing and ...