1963 search results - page 297 / 393 » How is aliasing used in systems software |
SEFM
2006
IEEE
14 years 3 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
CGO
2006
IEEE
14 years 29 days ago
2006
IEEE
Modern computer systems are called on to deal with billions of events every second, whether they are instructions executed, memory locations accessed, or packets forwarded. This p...
MEMOCODE
2008
IEEE
14 years 3 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
TABLETOP
2007
IEEE
14 years 3 months ago
2007
IEEE
A number of studies have shown that paper holds several advantages over computers for reading tasks. However, these studies were carried out several years ago, and since that time...
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
Abstract. Recent advances in software and hardware for clustered computing have allowed scientists and computing specialists to take advantage of commodity processors in solving ch...